A Supervisory Control Algorithm Based on Property-Directed Reachability.
Koen ClaessenJonatan KilhamnLaura KovácsBengt LennartsonPublished in: CoRR (2017)
Keyphrases
- control algorithm
- control system
- control strategy
- control method
- control law
- adaptive fuzzy
- closed loop
- temperature control
- fuzzy controller
- pid control
- mathematical model
- wheeled mobile robot
- process control
- optimal control
- design procedure
- control scheme
- fuzzy logic controller
- controller design
- fuzzy logic
- single neuron
- pid controller
- inverted pendulum
- state space
- pi controller
- mobile robot
- real time