Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
Alessandro AbateIury BessaDario CattaruzzaLucas C. CordeiroCristina DavidPascal KesseliDaniel KroeningPublished in: CoRR (2016)
Keyphrases
- controller synthesis
- semi automated
- digital media
- reinforcement learning
- control system
- automated analysis
- human operators
- data driven
- computer aided
- fully automated
- closed loop
- program synthesis
- discrete space
- control law
- geometric properties
- database
- mobile robot
- evolutionary algorithm
- multi agent
- case study
- neural network