Mehmood, U., Stoller, S. D., Grosu, R., & Smolka, S. A. (2021). Collision-Free 3D Flocking Using the Distributed Simplex Architecture. In Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (pp. 147–156). Springer. https://doi.org/10.1007/978-3-030-87348-6_9
E191-01 - Forschungsbereich Cyber-Physical Systems
-
Published in:
Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
-
ISBN:
978-3-030-87347-9
-
Date (published):
2021
-
Number of Pages:
10
-
Publisher:
Springer, Cham
-
Peer reviewed:
Yes
-
Keywords:
Architecture; Simplex; Distributed computation
-
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
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
Research Areas:
Automation and Robotics: 40% Logic and Computation: 60%
