Synthesis of Minimum-Cost Shields for Multi-agent Systems

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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
Original languageEnglish
Title of host publication2019 American Control Conference (ACC)
PublisherACM/IEEE
Pages1048-1055
Number of pages8
ISBN (Print)978-1-5386-7926-5
Publication statusPublished - 10 Jul 2019
Event2019 American Control Conference - Philadelphia, United States
Duration: 10 Jul 201912 Jul 2019

Conference

Conference2019 American Control Conference
Abbreviated titleACC 2019
CountryUnited States
CityPhiladelphia
Period10/07/1912/07/19

Fingerprint Dive into the research topics of 'Synthesis of Minimum-Cost Shields for Multi-agent Systems'. Together they form a unique fingerprint.

Cite this