Fault-Tolerant Output-Feedback Path Planning with Temporal Logic Constraints.
Liren YangNecmiye OzayPublished in: CDC (2018)
Keyphrases
- path planning
- fault tolerant
- temporal logic
- fault tolerance
- model checking
- automata theoretic
- dynamic constraints
- mobile robot
- path planning algorithm
- distributed systems
- collision avoidance
- dynamic environments
- load balancing
- modal logic
- obstacle avoidance
- multi robot
- path finding
- potential field
- robot path planning
- motion planning
- linear temporal logic
- dynamic and uncertain environments
- optimal path
- dead ends
- computation tree logic
- verification method
- path planner
- mazurkiewicz traces
- multiple robots
- transition systems
- aerial vehicles
- autonomous vehicles
- configuration space
- degrees of freedom
- response time
- reactive systems
- knowledge base
- video sequences