Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X.
Timm LiebrenzPaula HerberSabine GlesnerPublished in: ICFEM (2018)
Keyphrases
- control system
- control algorithm
- fuzzy logic
- closed loop
- control strategy
- pid controller
- fuzzy control
- control scheme
- safety analysis
- object oriented
- hidden markov models
- model checking
- learning algorithm
- control method
- concurrent systems
- abductive inference
- matlab simulink
- industrial automation
- fault detection and isolation
- real time
- formal analysis
- hybrid learning
- control law
- evolutionary algorithm
- expert systems
- genetic algorithm
- real world