Online Motion Planning With Soft Metric Interval Temporal Logic in Unknown Dynamic Environment.
Zhiliang LiMingyu CaiShaoping XiaoZhen KanPublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- temporal logic
- dynamic environments
- motion planning
- path planning
- mobile robot
- trajectory planning
- model checking
- potential field
- robotic tasks
- modal logic
- collision free
- degrees of freedom
- obstacle avoidance
- multi robot
- verification method
- belief space
- mazurkiewicz traces
- collision avoidance
- configuration space
- robotic arm
- linear temporal logic
- optimal path
- path finding
- autonomous robots
- changing environment
- humanoid robot
- control law
- computation tree logic
- transition systems
- real time
- formal specification language
- climbing robot
- belief revision
- mechanical systems
- simultaneous localization and mapping
- finite state
- robot navigation