A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917154197078016 |
|---|---|
| author | Rosa, Marcelo Cury, José E. R. Baldissera, Fabio L. |
| author_facet | Rosa, Marcelo Cury, José E. R. Baldissera, Fabio L. |
| contents | 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 |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_16555 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots Rosa, Marcelo Cury, José E. R. Baldissera, Fabio L. Robotics Formal Languages and Automata Theory Multiagent Systems Systems and Control 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 |
| title | A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots |
| topic | Robotics Formal Languages and Automata Theory Multiagent Systems Systems and Control |
| url | https://arxiv.org/abs/2512.16555 |