A Supervisory Control Algorithm Based on Property-Directed Reachability.
Koen ClaessenJonatan KilhamnLaura KovácsBengt LennartsonPublished in: Haifa Verification Conference (2017)
Keyphrases
- control algorithm
- control system
- control strategy
- control method
- adaptive fuzzy
- control law
- process control
- temperature control
- matlab simulink
- mathematical model
- design procedure
- control scheme
- fuzzy logic controller
- intelligent control
- pid control
- state space
- fuzzy controller
- pid controller
- closed loop
- wheeled mobile robot
- inverted pendulum
- single neuron
- fuzzy logic
- grey prediction
- sliding mode control
- single phase
- artificial neural networks
- input output