<div class="csl-bib-body">
<div class="csl-entry">Mehmood, U., Stoller, S. D., Grosu, R., & Smolka, S. A. (2021). Collision-Free 3D Flocking Using the Distributed Simplex Architecture. In <i>Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday</i> (pp. 147–156). Springer. https://doi.org/10.1007/978-3-030-87348-6_9</div>
</div>
-
dc.identifier.isbn
978-3-030-87347-9
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/58661
-
dc.description.abstract
Die verteilte Simplex-Architektur (DSA) erweitert die Simplex-Kontrollarchitektur
Simplex-Architektur von Sha et al., um Laufzeit-Sicherheitsgarantien für Multi-Agenten
Systeme unter verteilter Kontrolle zu gewährleisten. In diesem Papier zeigen wir, wie DSA verwendet werden kann, um kollisionsfreies 3D-Schwarmverhalten zu gewährleisten, so dass Agenten Kollisionen mit miteinander und mit quaderförmigen Hindernissen vermeiden. Übersetzt mit www.DeepL.com/Translator (kostenlose Version)
de
dc.description.abstract
The Distributed Simplex Architecture (DSA) extends the Simplex control
architecture of Sha et al. to provide runtime safety assurance for multi-agent
systems under distributed control. In this paper, we show how DSA can be used to
ensure collision-free 3D flocking behavior, such that agents avoid colliding with
each other and with cuboid-shaped obstacles.
en
dc.language.iso
en
-
dc.publisher
Springer
-
dc.subject
Architecture
-
dc.subject
Simplex
-
dc.subject
Distributed computation
-
dc.title
Collision-Free 3D Flocking Using the Distributed Simplex Architecture
en
dc.type
Buchbeitrag
de
dc.type
Book Contribution
en
dc.contributor.affiliation
Stony Brook University, United States of America (the)
-
dc.contributor.affiliation
Stony Brook University, United States of America (the)
-
dc.contributor.affiliation
Stony Brook University, United States of America (the)
-
dc.relation.isbn
978-3-030-87347-9
-
dc.description.startpage
147
-
dc.description.endpage
156
-
dc.type.category
Edited Volume Contribution
-
dc.publisher.place
13063
-
tuw.booktitle
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
I3
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Automation and Robotics
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
40
-
tuw.researchTopic.value
60
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/978-3-030-87348-6_9
-
dc.description.numberOfPages
10
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
item.languageiso639-1
en
-
item.openairetype
book part
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_3248
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
