Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
Alessandro AbateIury BessaDario CattaruzzaLucas C. CordeiroCristina DavidPascal KesseliDaniel KroeningElizabeth PolgreenPublished in: CoRR (2017)
Keyphrases
- state space
- reinforcement learning
- heuristic search
- dynamical systems
- markov decision processes
- neural network
- optimal policy
- fully automated
- dynamic programming
- search space
- automated analysis
- reinforcement learning algorithms
- planning problems
- formal model
- state variables
- semi automated
- control system
- program synthesis
- digital content
- physical world
- controller synthesis
- computer aided
- real time
- domain independent
- particle filter