{"ID":2827572,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2512.16555","arxiv_id":"2512.16555","title":"A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots","abstract":"In this paper, we deal with the problem of coordinating multiple robots to build 3-D structures. This problem consists of a set of mobile robots that interact with each other in order to autonomously build a predefined 3-D structure. Our approach is based on Supervisory Control Theory, and it allows us to synthesize from models that represent a single robot and the target structure a correct-by-construction reactive controller, called supervisor. When this supervisor is replicated for the other robots, then the target structure can be completed by all robots","short_abstract":"In this paper, we deal with the problem of coordinating multiple robots to build 3-D structures. This problem consists of a set of mobile robots that interact with each other in order to autonomously build a predefined 3-D structure. Our approach is based on Supervisory Control Theory, and it allows us to synthesize fr...","url_abs":"https://arxiv.org/abs/2512.16555","url_pdf":"https://arxiv.org/pdf/2512.16555v1","authors":"[\"Marcelo Rosa\",\"José E. R. Cury\",\"Fabio L. Baldissera\"]","published":"2025-12-18T13:58:17Z","proceeding":"cs.RO","tasks":"[\"cs.RO\",\"cs.FL\",\"cs.MA\",\"eess.SY\"]","methods":"[]","has_code":false}