Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification.
Jan MurrayFrieder StolzenburgToshiaki AraiPublished in: Künstliche Intell. (2006)
Keyphrases
- state machines
- multi robot
- petri net
- state machine
- path planning
- mobile robot
- multi robot systems
- finite state machines
- sequence diagrams
- search and rescue
- multi robot exploration
- recurrent networks
- uncertain environments
- multiple robots
- potential field
- reactive systems
- robotic systems
- fault tolerant
- robot soccer
- dynamic environments
- coalitional game theory
- real time
- robot teams
- temporal logic
- test set