A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems.
Alberto BemporadNicolò GiorgettiPublished in: HSCC (2004)
Keyphrases
- optimal control
- hybrid systems
- constraint solver
- black box
- control problems
- dynamic programming
- intelligent systems
- soft computing
- meta learning
- control strategy
- reinforcement learning
- artificial intelligence
- discrete event
- neural network
- optimal control problems
- infinite horizon
- computational intelligence
- sat solvers
- constraint satisfaction problems
- fuzzy logic
- expert systems
- decision trees