A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots
Robotics
2025-12-19 v1 Formal Languages and Automata Theory
Multiagent Systems
Systems and Control
Systems and Control
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
Keywords
Cite
@article{arxiv.2512.16555,
title = {A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots},
author = {Marcelo Rosa and José E. R. Cury and Fabio L. Baldissera},
journal= {arXiv preprint arXiv:2512.16555},
year = {2025}
}