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 Konferenzband

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
Originalspracheenglisch
Titel2019 American Control Conference (ACC)
Herausgeber (Verlag)ACM/IEEE
Seiten1048-1055
Seitenumfang8
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

Konferenz

Konferenz2019 American Control Conference
KurztitelACC 2019
LandUSA / Vereinigte Staaten
OrtPhiladelphia
Zeitraum10/07/1912/07/19

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

Dieses zitieren