Login / Signup
Automated generation of dynamics-based runtime certificates for high-level control.
Jonathan A. DeCastro
Rüdiger Ehlers
Matthias Rungger
Ayca Balkan
Hadas Kress-Gazit
Published in:
Discret. Event Dyn. Syst. (2017)
Keyphrases
</>
high level
low level
air fuel ratio
control system
semi automated
adaptive control
data sets
access control
neural network
human operators
robotic systems
higher level
control strategy
dynamical systems
process control
control problems
robot control
control theory
learning algorithm
wheel slip