Switching control of dynamical systems from metric temporal logic specifications.
Jun LiuPavithra PrabhakarPublished in: ICRA (2014)
Keyphrases
- dynamical systems
- control theory
- differential equations
- dynamic systems
- metric temporal logic
- nonlinear dynamics
- linear dynamical systems
- state space
- nonlinear dynamical systems
- control system
- phase space
- qualitative simulation
- partially observable
- linear systems
- linear quadratic
- control law
- spatio temporal
- partially observable markov decision processes
- predictive state representations
- dynamical behavior
- discrete dynamical systems
- neural network