Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels.
Patricia BouyerNicolas MarkeyNicolas PerrinPhilipp Schlehuber-CaissierPublished in: FORMATS (2015)
Keyphrases
- dynamical systems
- control theory
- timed automata
- differential equations
- nonlinear dynamical systems
- nonlinear dynamics
- dynamic systems
- linear systems
- model checking
- state space
- qualitative simulation
- reachability analysis
- phase space
- linear quadratic
- optimal control
- control law
- dynamical behavior
- control method
- partially observable
- adaptive control
- real time
- first order logic
- bayesian networks
- theorem prover
- control strategy
- monte carlo
- random variables
- control system