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
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 language | English |
|---|---|
| Title of host publication | 2019 American Control Conference (ACC) |
| Publisher | ACM/IEEE |
| Pages | 1048-1055 |
| Number of pages | 8 |
| ISBN (Print) | 978-1-5386-7926-5 |
| Publication status | Published - 10 Jul 2019 |
| Event | 2019 American Control Conference - Philadelphia, United States Duration: 10 Jul 2019 → 12 Jul 2019 |
Conference
| Conference | 2019 American Control Conference |
|---|---|
| Abbreviated title | ACC 2019 |
| Country/Territory | United States |
| City | Philadelphia |
| Period | 10/07/19 → 12/07/19 |