Citation

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 -

Contact us

Artificial Intelligence Network
South Kensington Campus
Imperial College London
SW7 2AZ

To reach the elected speaker of the network, Dr Rossella Arcucci, please contact:

ai-speaker@imperial.ac.uk

To reach the network manager, Diana O'Malley - including to join the network - please contact:

ai-net-manager@imperial.ac.uk