[Back]

M. Usama, S. Stoller, R. Grosu, S. Smolka:
"Collision-Free 3D Flocking Using the Distributed Simplex Architecture";
Talk: Formal Methods in Outer Space, Rhodes, Greece; 2021-10-25 - 2021-10-31; in: "Formal Methods in Outer Space", Springer, 13063 (2021), ISBN: 978-3-030-87347-9; 147 - 156.

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.

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)

Simplex, Architecture, Distributed computation