Login / Signup
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
Alessandro Abate
Iury Bessa
Dario Cattaruzza
Lucas C. Cordeiro
Cristina David
Pascal Kesseli
Daniel Kroening
Published in:
HSCC (2017)
Keyphrases
</>
controller synthesis
control system
semi automated
reinforcement learning
fully automated
data driven
human operators
neural network
three dimensional
semi automatic
digital content
automated analysis
digital curves
controller design
iterative learning control
functional programs