Timed-automata abstraction of switched dynamical systems using control invariants.
Patricia BouyerNicolas MarkeyNicolas PerrinPhilipp Schlehuber-CaissierPublished in: Real Time Syst. (2017)
Keyphrases
- dynamical systems
- control theory
- timed automata
- dynamic systems
- differential equations
- qualitative simulation
- nonlinear dynamics
- state space
- nonlinear dynamical systems
- linear systems
- model checking
- reachability analysis
- optimal solution
- agent environment
- phase space
- dynamical behavior
- partially observable
- control law
- theorem prover
- real time systems
- control method
- linear dynamical systems
- optimal control
- linear quadratic
- search space
- knowledge base
- real time