Deductive Verification of Continuous Dynamical Systems.
Ankur TalyAshish TiwariPublished in: FSTTCS (2009)
Keyphrases
- dynamical systems
- differential equations
- dynamic systems
- nonlinear dynamical systems
- control theory
- phase space
- qualitative simulation
- linear systems
- state space
- model checking
- partially observable
- nonlinear dynamics
- agent environment
- discrete dynamical systems
- evaluation function
- dynamical models
- search algorithm
- predictive state representations
- dynamical behavior