Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914012077228032 |
|---|---|
| author | Cignarale, Giorgio Felber, Stephan Goubault, Eric Flores, Bernardo Hummes Galeana, Hugo Rincon |
| author_facet | Cignarale, Giorgio Felber, Stephan Goubault, Eric Flores, Bernardo Hummes Galeana, Hugo Rincon |
| contents | In this paper, we provide a framework integrating distributed multi-robot systems and temporal epistemic logic. We show that continuous-discrete hybrid systems are compatible with logical models of knowledge already used in distributed computing, and demonstrate its usefulness by deriving sufficient epistemic conditions for exploration and gathering robot tasks to be solvable. We provide a separation of the physical and computational aspects of a robotic system, allowing us to decouple the problems related to each and directly use methods from control theory and distributed computing, fields that are traditionally distant in the literature. Finally, we demonstrate a novel approach for reasoning about the knowledge in multi-robot systems through a principled method of converting a switched hybrid dynamical system into a temporal-epistemic logic model, passing through an abstract state machine representation. This creates space for methods and results to be exchanged across the fields of control theory, distributed computing and temporal-epistemic logic, while reasoning about multi-robot systems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_18309 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Knowledge in multi-robot systems: an interplay of dynamics, computation and communication Cignarale, Giorgio Felber, Stephan Goubault, Eric Flores, Bernardo Hummes Galeana, Hugo Rincon Logic in Computer Science Distributed, Parallel, and Cluster Computing Robotics In this paper, we provide a framework integrating distributed multi-robot systems and temporal epistemic logic. We show that continuous-discrete hybrid systems are compatible with logical models of knowledge already used in distributed computing, and demonstrate its usefulness by deriving sufficient epistemic conditions for exploration and gathering robot tasks to be solvable. We provide a separation of the physical and computational aspects of a robotic system, allowing us to decouple the problems related to each and directly use methods from control theory and distributed computing, fields that are traditionally distant in the literature. Finally, we demonstrate a novel approach for reasoning about the knowledge in multi-robot systems through a principled method of converting a switched hybrid dynamical system into a temporal-epistemic logic model, passing through an abstract state machine representation. This creates space for methods and results to be exchanged across the fields of control theory, distributed computing and temporal-epistemic logic, while reasoning about multi-robot systems. |
| title | Knowledge in multi-robot systems: an interplay of dynamics, computation and communication |
| topic | Logic in Computer Science Distributed, Parallel, and Cluster Computing Robotics |
| url | https://arxiv.org/abs/2501.18309 |