Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods.
Olivier BouissouAlexandre ChapoutotAdel DjoudiPublished in: NASA Formal Methods (2013)
Keyphrases
- temporal evolution
- dynamical systems
- numerical methods
- differential equations
- dynamic systems
- non stationary
- numerical solution
- temporal information
- linear systems
- qualitative simulation
- phase space
- partial differential equations
- ordinary differential equations
- state space
- nonlinear dynamical systems
- finite difference method
- agent environment
- predictive state representations
- linear dynamical systems
- level set method
- higher order