Control synthesis for multiple mobile robot systems
This work continues our study on the control synthesis for multiple mobile robot systems (MMRS). We assume a hybrid approach that comprises the supervisory control level, based on a discrete event model of MMRS, and the robot control level, based on a continuous time model of the robot motion. Our objective is to further develop the control concept towards its implementation in a real-world application – a testbed for a fleet of six laboratory robots. In the first part of the paper, we develop a methodology of the supervisory control synthesis, that employs the Petri net formalism and formally ensures the required logics of MMRS operation, as well as propose a relevant architecture of the supervisor. The second part is focused on the low-level robot control and control procedures enabling modification of the robot motion according to the supervisor’s decisions. A simulation case is presented that illustrates the operation of the system.