Formal verification of a gain scheduling control scheme.

Pablo Ordóñez Andrew R. Mills Tony J. Dodd Jun Liu

Published 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