|
|
Digital
Library of the European Council for Modelling and Simulation |
|
Title: |
Engineering Controllers
For Swarm Robotics Via Reachability Analysis In
Hybrid Systems |
|
Authors: |
Francesco
Leofante, Stefan Schupp,
Erika Abraham, Armando Tacchella |
|
Published in:
|
(2019). ECMS 2019
Proceedings Edited by: Mauro Iacono, Francesco Palmieri, Marco Gribaudo,
Massimo Ficco, European Council for Modeling and
Simulation. DOI: http://doi.org/10.7148/2019 ISSN:
2522-2422 (ONLINE) ISSN:
2522-2414 (PRINT) ISSN:
2522-2430 (CD-ROM) 33rd International ECMS European Conference on
Modelling and Simulation, Caserta, Italy, June 11th
– June 14th, 2019 |
|
Citation
format: |
Francesco Leofante, Stefan Schupp, Erika Abraham, Armando Tacchella (2019). Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems, ECMS 2019 Proceedings Edited by: Mauro Iacono, Francesco Palmieri, Marco Gribaudo, Massimo Ficco European Council for Modeling and Simulation. doi: 10.7148/2019-0407 |
|
DOI: |
https://doi.org/10.7148/2019-0407 |
|
Abstract: |
In this paper
we propose hybrid systems and reach-ability analysis to verify properties in
swarm robotics systems, i.e., teams of robots performing cooperative tasks
without any centralized coordination. We discuss the challenges that are to
be faced and we report on the experience gained from applying hybrid
formalisms to the verification of swarm robotics
systems. |
|
Full
text: |
|
