Optimal receding horizon control for finite deterministic systems with temporal logic constraints.
María SvorenováIvana CernáCalin BeltaPublished in: ACC (2013)
Keyphrases
- temporal logic
- receding horizon
- dynamic constraints
- optimal linear
- model checking
- linear temporal logic
- control system
- modal logic
- formation control
- satisfiability problem
- multi robot
- distributed systems
- optimal control
- automata theoretic
- transition systems
- air traffic control
- verification method
- belief revision
- dynamic programming