Theory of reals for verification and synthesis of hybrid dynamical systems.
Ashish TiwariPublished in: ISSAC (2010)
Keyphrases
- dynamical systems
- nonlinear dynamical systems
- control theory
- qualitative simulation
- differential equations
- dynamical behavior
- dynamic systems
- state space
- phase space
- linear systems
- partially observable
- difference equations
- discrete dynamical systems
- nonlinear dynamics
- large deviations
- model checking
- machine learning