Formal verification of a gain scheduling control scheme.
Pablo OrdóñezAndrew R. MillsTony J. DoddJun LiuPublished in: MED (2017)
Keyphrases
- control scheme
- formal verification
- model checking
- closed loop
- control system
- control strategy
- dynamic model
- automated verification
- control law
- controller design
- bounded model checking
- symbolic model checking
- predictive control
- control loop
- robot manipulators
- neural model
- model checker
- pid controller
- neural network controller
- robotic manipulator
- fuzzy controller
- induction motor
- temporal logic
- sliding mode control
- control algorithm
- mathematical model