A Formal Modular Synthesis Approach for the Coordination of Multi-Agent Systems. Issue 28 (2022)

• Record Type: Journal Article
• Authors: Rosa, Marcelo; Cury, José E.R.; Baldissera, Fabio L.
• Is Part Of: IFAC-PapersOnLine. Volume 55:Issue 28(2022)
• Page Start: 150
• Page End: 157
• Publication Date: 2022
• Subjects: Multiple Agents -- Local Synthesis -- Supervisory Control Theory; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2022.10.337
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: In this paper, we deal with the problem of coordinating multiple agents to accomplish a global task. This problem consists of a set of homogeneous agents that interact with each other in order to autonomously complete a common global task. Our approach is based on the Supervisory Control Theory and it derives conditions that allow us to synthesize a local supervisor from models that represent a single agent, its local control specifications and the global task in such a way that, when this supervisor is replicated for the other agents, the global task can be completed by the coordinated action of all agents.