Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
Alessandro AbateIury BessaDario CattaruzzaLucas C. CordeiroCristina DavidPascal KesseliDaniel KroeningElizabeth PolgreenPublished in: CAV (1) (2017)
Keyphrases
- state space
- reinforcement learning
- controller synthesis
- dynamical systems
- semi automated
- markov decision processes
- computer aided
- heuristic search
- state variables
- formal model
- dynamic programming
- human operators
- planning problems
- control system
- search space
- formal representation
- control strategy
- adaptive control
- digital media
- markov decision process
- digital curves
- program synthesis
- real world