A Distributed Simplex Architecture for Multi-agent Systems

Autor:	Scott A. Smolka, Scott D. Stoller, Radu Grosu, Amol Damare, Usama Mehmood, Shouvik Roy
Rok vydání:	2021
Předmět:	Scheme (programming language) Simplex Scope (project management) Computer science Multi-agent system Distributed computing Microgrid Architecture Flocking (texture) computer Collision avoidance computer.programming_language
Zdroj:	Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783030912642 SETTA
DOI:	10.1007/978-3-030-91265-9_13
Popis:	We present Distributed Simplex Architecture (DSA), a new runtime assurance technique that provides safety guarantees for multi-agent systems (MASs). DSA is inspired by the Simplex control architecture of Sha et al., but with some significant differences. The traditional Simplex approach is limited to single-agent systems or a MAS with a centralized control scheme. DSA addresses this limitation by extending the scope of Simplex to include MASs under distributed control. In DSA, each agent has a local instance of traditional Simplex such that the preservation of safety in the local instances implies safety for the entire MAS. We provide a proof of safety for DSA, and present experimental results for several case studies, including flocking with collision avoidance, safe navigation of ground rovers through way-points, and the safe operation of a microgrid.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fa1b18cd500670c72660a2a5f46467c3 https://doi.org/10.1007/978-3-030-91265-9_13 Zobrazit plný text záznamu