Receding Horizon Control Based Online Motion Planning with Partially Infeasible LTL Specifications.
Mingyu CaiHao PengZhijun LiHongbo GaoZhen KanPublished in: CoRR (2020)
Keyphrases
- motion planning
- receding horizon
- formation control
- multi robot
- mobile robot
- air traffic control
- path planning
- robotic arm
- optimal linear
- degrees of freedom
- mechanical systems
- unmanned aerial vehicles
- trajectory planning
- bounded model checking
- obstacle avoidance
- humanoid robot
- control law
- control theory
- robotic tasks
- configuration space
- multi robot systems
- control system
- real time
- autonomous robots
- control method
- robotic systems
- model checking
- pose estimation
- multi modal