Receding horizon temporal logic planning for dynamical systems.
Tichakorn WongpiromsarnUfuk TopcuRichard M. MurrayPublished in: CDC (2009)
Keyphrases
- dynamical systems
- temporal logic
- receding horizon
- temporally extended goals
- predictive state representations
- model checking
- qualitative differential equations
- partially observable
- temporally extended
- qualitative simulation
- differential equations
- state space
- planning under uncertainty
- partially observable markov decision processes
- air traffic control
- optimal linear
- control theory
- nonlinear dynamical systems
- linear systems
- dynamic systems
- planning problems
- formation control
- verification method
- symbolic model checking
- computation tree logic
- belief revision
- heuristic search
- decision support
- qualitative reasoning
- planning domains
- control law
- path finding
- unmanned aerial vehicles
- classical planning
- machine learning
- reinforcement learning
- learning algorithm