SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems.
Alberto BemporadNicolò GiorgettiPublished in: CPAIOR (2004)
Keyphrases
- dynamical systems
- optimal control
- branch bound
- linear quadratic
- dynamic programming
- control problems
- dynamic systems
- state space
- infinite horizon
- differential equations
- control theory
- reinforcement learning
- partially observable
- control strategy
- nonlinear dynamical systems
- linear systems
- control law
- partially observable markov decision processes
- predictive state representations
- machine learning
- planning problems
- maximum likelihood