Modeling and synthesis of controllers for Multi-Robot Systems using game structures

This paper approaches the coordination problem in Multi-Robot Systems (MRS) and presents a framework based on game structures to modeling and synthesizing controllers in multi-robot applications. The proposed coordination structures for MRS are centralized or distributed and operate in dynamic environments. An example of MRS modeling using the proposed framework is also provided.