Bounded Model Checking of Hybrid Dynamical Systems.
Nicolò GiorgettiGeorge J. PappasAlberto BemporadPublished in: CDC/ECC (2005)
Keyphrases
- dynamical systems
- bounded model checking
- model checking
- formal verification
- differential equations
- dynamic systems
- nonlinear dynamical systems
- state space
- temporal logic
- control theory
- linear systems
- phase space
- dynamical models
- linear temporal logic
- qualitative simulation
- predictive state representations
- multi agent systems
- agent environment
- nonlinear dynamics
- dynamical behavior
- linear quadratic
- partially observable
- machine learning
- discrete dynamical systems