Synthesis of Minimum-Cost Shields for Multi-agent Systems

Suda Bharadwaj , Roderick Bloem, Rayna Dimitrova , Bettina Könighofer, Ufuk Topcu

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung


In this paper, we propose a general approach
to derive runtime enforcement implementations for multiagent systems, called shields, from temporal logical specifications. Each agent of the multi-agent system is monitored,
and if needed corrected, by the shield, such that a global
specification is always satisfied. The different ways of how
a shield can interfere with each agent in the system in case
of an error introduces the need for quantitative objectives.
This work is the first to discuss the shield synthesis
problem with quantitative objectives. We provide several
cost functions that are utilized in the multi-agent setting
and provide methods for the synthesis of cost-optimal
shields and fair shields, under the given assumptions on
the multi-agent system. We demonstrate the applicability
of our approach via a detailed case study on UAV mission planning for warehouse logistics and simulating the
shielded multi-agent system on ROS/Gazebo
Titel2019 American Control Conference (ACC)
Herausgeber (Verlag)ACM/IEEE
ISBN (Print)978-1-5386-7926-5
PublikationsstatusVeröffentlicht - 10 Jul 2019
Veranstaltung2019 American Control Conference - Philadelphia, USA / Vereinigte Staaten
Dauer: 10 Jul 201912 Jul 2019


Konferenz2019 American Control Conference
KurztitelACC 2019
Land/GebietUSA / Vereinigte Staaten


Untersuchen Sie die Forschungsthemen von „Synthesis of Minimum-Cost Shields for Multi-agent Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren