Abstraction, discretization, and robustness in temporal logic control of dynamical systems.
Jun LiuNecmiye OzayPublished in: HSCC (2014)
Keyphrases
- dynamical systems
- temporal logic
- control theory
- qualitative differential equations
- model checking
- differential equations
- satisfiability problem
- bounded model checking
- dynamic systems
- linear systems
- qualitative reasoning
- modal logic
- nonlinear dynamical systems
- qualitative simulation
- phase space
- mazurkiewicz traces
- concurrent systems
- linear temporal logic
- nonlinear dynamics
- reactive systems
- verification method
- belief revision
- computation tree logic
- formal specification language
- planning under uncertainty
- dynamic constraints
- agent environment
- partially observable
- state space
- linear quadratic
- automata theoretic
- control system
- formal verification