A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |