A Caltech Library Service

Barrier Functions for Multiagent-POMDPs with DTL Specifications

Ahmadi, Mohamadreza and Singletary, Andrew and Burdick, Joel W. and Ames, Aaron D. (2020) Barrier Functions for Multiagent-POMDPs with DTL Specifications. In: 2020 59th IEEE Conference on Decision and Control (CDC). IEEE , Piscataway, NJ, pp. 1380-1385. ISBN 978-1-7281-7447-1.

[img] PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


Multi-agent partially observable Markov decision processes (MPOMDPs) provide a framework to represent heterogeneous autonomous agents subject to uncertainty and partial observation. In this paper, given a nominal policy provided by a human operator or a conventional planning method, we propose a technique based on barrier functions to design a minimally interfering safety-shield ensuring satisfaction of high-level specifications in terms of linear distribution temporal logic (LDTL). To this end, we use sufficient and necessary conditions for the invariance of a given set based on discrete-time barrier functions (DTBFs) and formulate sufficient conditions for finite time DTBF to study finite time convergence to a set. We then show that different LDTL mission/safety specifications can be cast as a set of invariance or finite time reachability problems. We demonstrate that the proposed method for safety-shield synthesis can be implemented online by a sequence of one-step greedy algorithms. We demonstrate the efficacy of the proposed method using experiments involving a team of robots.

Item Type:Book Section
Related URLs:
URLURL TypeDescription Paper
Ahmadi, Mohamadreza0000-0003-1447-3012
Singletary, Andrew0000-0001-6635-4256
Ames, Aaron D.0000-0003-0848-3177
Additional Information:© 2020 IEEE. This work was supported by DARPA Subterranean Challenge and Raytheon Technologies.
Funding AgencyGrant Number
Defense Advanced Research Projects Agency (DARPA)UNSPECIFIED
Raytheon CompanyUNSPECIFIED
Record Number:CaltechAUTHORS:20200527-080649931
Persistent URL:
Official Citation:M. Ahmadi, A. Singletary, J. W. Burdick and A. D. Ames, "Barrier Functions for Multiagent-POMDPs with DTL Specifications," 2020 59th IEEE Conference on Decision and Control (CDC), Jeju Island, Korea (South), 2020, pp. 1380-1385, doi: 10.1109/CDC42340.2020.9304266
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:103485
Deposited By: Tony Diaz
Deposited On:27 May 2020 15:53
Last Modified:16 Nov 2021 18:21

Repository Staff Only: item control page