Automated formal synthesis of provably safe digital controllers for continuous plants.
Alessandro AbateIury BessaLucas C. CordeiroCristina DavidPascal KesseliDaniel KroeningElizabeth PolgreenPublished in: Acta Informatica (2020)
Keyphrases
- fully automated
- controller synthesis
- control system
- formal model
- artificial intelligence
- neural network
- semi automated
- digital content
- continuous variables
- digital media
- human operators
- worst case
- computer aided
- reinforcement learning
- real time
- optimal control
- multimedia
- automated analysis
- program synthesis
- learning algorithm