Reachability and optimal control for linear hybrid automata: a quantifier elimination approach.
Y. PangMichael P. SpathopoulosHao XiaPublished in: Int. J. Control (2007)
Keyphrases
- optimal control
- quantifier elimination
- hybrid automata
- constraint query languages
- linear quadratic
- dynamic programming
- constraint databases
- presburger arithmetic
- transitive closure
- functional programming
- first order logic
- control strategy
- optimal control problems
- state space
- constraint propagation
- cardinality constraints
- reinforcement learning
- finite state automata
- constraint satisfaction
- expressive power
- real time
- temporal reasoning