Path planning for robotic teams based on LTL specifications and Petri net models.
Marius KloetzerCristian MahuleaPublished in: Discret. Event Dyn. Syst. (2020)
Keyphrases
- path planning
- petri net
- mobile robot
- reactive systems
- embedded real time systems
- stochastic petri net
- multi robot
- path planning algorithm
- collision avoidance
- process model
- multiple robots
- aerial vehicles
- dynamic environments
- motion planning
- obstacle avoidance
- ims ld
- potential field
- robot path planning
- autonomous robots
- optimal path
- petri net model
- dynamic and uncertain environments
- concurrent systems
- manufacturing systems
- control system
- multi agent
- search and rescue
- autonomous systems
- bounded model checking
- degrees of freedom
- model checking
- knowledge base