Correct-by-construction control synthesis for multi-robot mixing.
Yancy Diaz-MercadoAustin JonesCalin BeltaMagnus EgerstedtPublished in: CDC (2015)
Keyphrases
- multi robot
- robot teams
- path planning
- robotic systems
- mobile robot
- formation control
- multi robot systems
- control system
- multi robot exploration
- motion planning
- dynamic task allocation
- potential field
- search and rescue
- uncertain environments
- real robot
- robot soccer
- initially unknown
- surveillance system
- resource allocation
- multi class
- multi robot cooperative
- genetic algorithm