Hybrid motion control for multiple mobile robot systems

This article presents a hybrid control system for a group of mobile robots. The components of this system are the supervisory controller(s), employing a discrete, event-driven model of concurrent robot processes, and robot motion controllers, employing a continuous time model with event-switched modes. The missions of the robots are specified by a sequence of to-be visited points, and the developed methodology ensures in a formal way their correct accomplishment.