<div class="csl-bib-body">
<div class="csl-entry">Schupp, S., Leofante, F., Behr, L., Abraham, E., & Taccella, A. (2022). Robot Swarms as Hybrid Systems: Modelling and Verification. In <i>Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT</i> (pp. 61–77). https://doi.org/10.4204/EPTCS.361.7</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/219278
-
dc.description
https://arxiv.org/abs/2207.04391
-
dc.description.abstract
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.
en
dc.language.iso
en
-
dc.subject
Swarm Intelligence
en
dc.subject
Robotics
en
dc.subject
Hybrid Systems
en
dc.title
Robot Swarms as Hybrid Systems: Modelling and Verification
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
Imperial College London, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
RWTH Aachen University, Germany
-
dc.contributor.affiliation
RWTH Aachen University, Germany
-
dc.contributor.affiliation
University of Genoa, Italy
-
dc.description.startpage
61
-
dc.description.endpage
77
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
-
tuw.container.volume
361
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.4204/EPTCS.361.7
-
dc.description.numberOfPages
17
-
tuw.author.orcid
0000-0002-2055-7581
-
tuw.author.orcid
0000-0001-8245-9429
-
tuw.event.name
7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2021)
en
tuw.event.startdate
23-08-2021
-
tuw.event.enddate
23-08-2021
-
tuw.event.online
Online
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Virtual
-
tuw.event.country
unknown
-
tuw.event.presenter
Schupp, Stefan
-
tuw.presentation.online
Online
-
wb.sciencebranch
Elektrotechnik, Elektronik, Informationstechnik
-
wb.sciencebranch.oefos
2020
-
wb.sciencebranch.value
100
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
Imperial College London, United Kingdom of Great Britain and Northern Ireland (the)
