Login / Signup
Generation of simulink monitors for control applications from formal requirements.
Alessio Balsini
Marco Di Natale
Marco Celia
Vassilios A. Tsachouridis
Published in:
SIES (2017)
Keyphrases
</>
control system
optimal control
learning algorithm
fuzzy logic
control strategy
control algorithm
formal model
control theory
functional requirements
process control
control strategies
control method
robotic systems
real time
mathematical model
mobile robot
machine learning