Supervisory control for multiple mobile robots in 2D space

Proposes a control architecture for a multiple mobile robot system, and within this framework concentrates on the robot motion coordination problem. A DES-based supervisory control is developed that formally ensures collision and deadlock avoidance between a group of robots concurrently accomplishing their missions in a common 2D space.