Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems.
Shin'ichi OishiPublished in: J. Univers. Comput. Sci. (1998)
Keyphrases
- dynamical systems
- verification method
- model checking
- temporal logic
- differential equations
- phase space
- dynamic systems
- control theory
- qualitative simulation
- state space
- dynamical behavior
- linear systems
- nonlinear dynamical systems
- solving partial differential equations
- agent environment
- partially observable
- predictive state representations
- discrete data