A Distributed Simplex Architecture for Multi-Agent Systems

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 t...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2020-12
Main Authors: Mehmood, Usama, Stoller, Scott D, Grosu, Radu, Roy, Shouvik, Damare, Amol, Smolka, Scott A
Format: Article
Language:English
Subjects:
Collision avoidance
Distributed generation
Multiagent systems
Safety
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Mehmood, Usama
Stoller, Scott D
Grosu, Radu
Roy, Shouvik
Damare, Amol
Smolka, Scott A
description 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.
format article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2471581223</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2471581223</sourcerecordid><originalsourceid>FETCH-proquest_journals_24715812233</originalsourceid><addsrcrecordid>eNpjYuA0MjY21LUwMTLiYOAtLs4yMDAwMjM3MjU15mSwclRwySwuKcpMKi1JTVEIzswtyEmtUHAsSs7ILElNLiktSlVIyy9S8C3NKcnUdUxPzStRCK4sLknNLeZhYE1LzClO5YXS3AzKbq4hzh66BUX5haWpxSXxWfmlRXlAqXgjE3NDUwtDI6BDiFMFALCJNrQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2471581223</pqid></control><display><type>article</type><title>A Distributed Simplex Architecture for Multi-Agent Systems</title><source>Publicly Available Content (ProQuest)</source><creator>Mehmood, Usama ; Stoller, Scott D ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol ; Smolka, Scott A</creator><creatorcontrib>Mehmood, Usama ; Stoller, Scott D ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol ; Smolka, Scott A</creatorcontrib><description>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.</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Collision avoidance ; Distributed generation ; Multiagent systems ; Safety</subject><ispartof>arXiv.org, 2020-12</ispartof><rights>2020. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/2471581223?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml><link.rule.ids>776,780,25731,36989,44566</link.rule.ids></links><search><creatorcontrib>Mehmood, Usama</creatorcontrib><creatorcontrib>Stoller, Scott D</creatorcontrib><creatorcontrib>Grosu, Radu</creatorcontrib><creatorcontrib>Roy, Shouvik</creatorcontrib><creatorcontrib>Damare, Amol</creatorcontrib><creatorcontrib>Smolka, Scott A</creatorcontrib><title>A Distributed Simplex Architecture for Multi-Agent Systems</title><title>arXiv.org</title><description>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.</description><subject>Collision avoidance</subject><subject>Distributed generation</subject><subject>Multiagent systems</subject><subject>Safety</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><recordid>eNpjYuA0MjY21LUwMTLiYOAtLs4yMDAwMjM3MjU15mSwclRwySwuKcpMKi1JTVEIzswtyEmtUHAsSs7ILElNLiktSlVIyy9S8C3NKcnUdUxPzStRCK4sLknNLeZhYE1LzClO5YXS3AzKbq4hzh66BUX5haWpxSXxWfmlRXlAqXgjE3NDUwtDI6BDiFMFALCJNrQ</recordid><startdate>20201218</startdate><enddate>20201218</enddate><creator>Mehmood, Usama</creator><creator>Stoller, Scott D</creator><creator>Grosu, Radu</creator><creator>Roy, Shouvik</creator><creator>Damare, Amol</creator><creator>Smolka, Scott A</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PHGZM</scope><scope>PHGZT</scope><scope>PIMPY</scope><scope>PKEHL</scope><scope>PQEST</scope><scope>PQGLB</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20201218</creationdate><title>A Distributed Simplex Architecture for Multi-Agent Systems</title><author>Mehmood, Usama ; Stoller, Scott D ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol ; Smolka, Scott A</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_24715812233</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Collision avoidance</topic><topic>Distributed generation</topic><topic>Multiagent systems</topic><topic>Safety</topic><toplevel>online_resources</toplevel><creatorcontrib>Mehmood, Usama</creatorcontrib><creatorcontrib>Stoller, Scott D</creatorcontrib><creatorcontrib>Grosu, Radu</creatorcontrib><creatorcontrib>Roy, Shouvik</creatorcontrib><creatorcontrib>Damare, Amol</creatorcontrib><creatorcontrib>Smolka, Scott A</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection (ProQuest)</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>SciTech Premium Collection (Proquest) (PQ_SDU_P3)</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>ProQuest Central (New)</collection><collection>ProQuest One Academic (New)</collection><collection>Publicly Available Content (ProQuest)</collection><collection>ProQuest One Academic Middle East (New)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Applied &amp; Life Sciences</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Mehmood, Usama</au><au>Stoller, Scott D</au><au>Grosu, Radu</au><au>Roy, Shouvik</au><au>Damare, Amol</au><au>Smolka, Scott A</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>A Distributed Simplex Architecture for Multi-Agent Systems</atitle><jtitle>arXiv.org</jtitle><date>2020-12-18</date><risdate>2020</risdate><eissn>2331-8422</eissn><abstract>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.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2020-12
issn 2331-8422
language eng
recordid cdi_proquest_journals_2471581223
source Publicly Available Content (ProQuest)
subjects Collision avoidance
Distributed generation
Multiagent systems
Safety
title A Distributed Simplex Architecture for Multi-Agent Systems
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-23T08%3A54%3A18IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=A%20Distributed%20Simplex%20Architecture%20for%20Multi-Agent%20Systems&rft.jtitle=arXiv.org&rft.au=Mehmood,%20Usama&rft.date=2020-12-18&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E2471581223%3C/proquest%3E%3Cgrp_id%3Ecdi_FETCH-proquest_journals_24715812233%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2471581223&rft_id=info:pmid/&rfr_iscdi=true