Design of Motion Planning System for Dual-arm Robot with Gantry Based on Temporal Logic Specifications and Predictive Control.
Shaoying HeDewei LiYugeng XiPublished in: ICCA (2018)
Keyphrases
- temporal logic
- predictive control
- model checking
- concurrent systems
- formal specification language
- transition systems
- verification method
- model checker
- neural network
- formal verification
- reactive systems
- mobile robot
- bounded model checking
- formal specification
- vision system
- real time
- motion planning
- robotic arm
- humanoid robot
- neuro fuzzy