Model Checking for Closed-Loop Robot Reactive Planning.
Christopher ChandlerBernd PorrAlice MillerGiulia LafrattaPublished in: CoRR (2023)
Keyphrases
- closed loop
- model checking
- reactive planning
- trajectory tracking
- force control
- temporal logic
- open loop
- control law
- control scheme
- control system
- model checker
- mobile robot
- feedback control
- reference trajectory
- visual servoing
- temporal properties
- automated verification
- robot manipulators
- position control
- formal verification
- formal specification
- control structure
- verification method
- symbolic model checking
- computation tree logic
- bounded model checking
- autonomous robots
- epistemic logic
- multi robot
- path planning
- robot arm
- real time
- formal methods
- humanoid robot
- artificial intelligence
- physical constraints
- end effector
- nonlinear systems
- robotic systems
- desired trajectory
- modal logic
- image processing
- knowledge base
- alternating time temporal logic