Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Usama, S. Stoller, R. Grosu, S. Smolka:
"Collision-Free 3D Flocking Using the Distributed Simplex Architecture";
Vortrag: Formal Methods in Outer Space,
Rhodes, Greece;
25.10.2021
- 31.10.2021; in: "Formal Methods in Outer Space",
Springer,
13063
(2021),
ISBN: 978-3-030-87347-9;
S. 147
- 156.
Kurzfassung deutsch:
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)
Kurzfassung englisch:
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.
Schlagworte:
Simplex, Architecture, Distributed computation
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.