BibTex format
@inproceedings{Schupp:2022:10.4204/eptcs.361.7,
author = {Schupp, S and Leofante, F and Behr, L and Ábrahám, E and Taccella, A},
doi = {10.4204/eptcs.361.7},
pages = {61--77},
publisher = {Open Publishing Association},
title = {Robot swarms as hybrid systems: modelling and verification},
url = {http://dx.doi.org/10.4204/eptcs.361.7},
year = {2022}
}
RIS format (EndNote, RefMan)
TY - CPAPER
AB - A swarm robotic system consists of a team of robots performing cooperative tasks without any centralized coordination. In principle, swarms enable flexible and scalable solutions; however, designing individual control algorithms that can guarantee a required global behavior is difficult. Formal methods have been suggested by several researchers as a mean to increase confidence in the behavior of the swarm. In this work, we propose to model swarms as hybrid systems and use reachability analysis to verify their properties. We discuss challenges and report on the experience gained from applying hybrid formalisms to the verification of a swarm robotic system.
AU - Schupp,S
AU - Leofante,F
AU - Behr,L
AU - Ábrahám,E
AU - Taccella,A
DO - 10.4204/eptcs.361.7
EP - 77
PB - Open Publishing Association
PY - 2022///
SN - 2075-2180
SP - 61
TI - Robot swarms as hybrid systems: modelling and verification
UR - http://dx.doi.org/10.4204/eptcs.361.7
UR - https://doi.org/10.4204/EPTCS.361.7
UR - http://hdl.handle.net/10044/1/98489
ER -