LTL-based decentralized supervisory control of multi-robot tasks modelled as Petri nets.
Bruno LacerdaPedro U. LimaPublished in: IROS (2011)
Keyphrases
- petri net
- multi robot
- multi robot systems
- supervisory control
- multiple robots
- multi robot coordination
- robotic systems
- mobile robot
- path planning
- multi robot exploration
- autonomous robots
- data acquisition
- temporal logic
- model checking
- colored petri nets
- multi agent
- fuzzy petri net
- human operators
- control architecture
- discrete event
- concurrent systems
- computer vision
- distributed systems
- fault detection and diagnosis
- decision making
- workflow process
- multi agent systems
- wireless sensor networks