Robust Temporal Logic Motion Control via Disturbance Observers.
Cheng-Qian ZhouJun YangShihua LiWen-Hua ChenPublished in: IEEE Trans. Ind. Electron. (2023)
Keyphrases
- temporal logic
- motion control
- model checking
- modal logic
- mobile robot
- satisfiability problem
- physical constraints
- autonomous robots
- control system
- concurrent systems
- computation tree logic
- robot control
- autonomous navigation
- belief revision
- verification method
- linear temporal logic
- machine learning
- real robot
- formal verification
- control algorithm
- epistemic logic
- temporal knowledge
- dynamic environments
- transition systems