Bounded Model Checking of Hybrid Dynamical Systems.

Nicolò Giorgetti George J. Pappas Alberto Bemporad

Published 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