Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks

Motivated by the recent interest in cyber-physical and interconnected autonomous systems, we study the problem of dynamically coupled multi-agent systems under conflicting local signal temporal logic (STL) tasks. Each agent is assigned a local STL task regardless of the tasks that the other agents are assigned to. Such a task may be dependent, i.e., the satisfaction of the task may depend on the behavior of more than one agent, so that the satisfaction of the conjunction of all local tasks may be conflicting. We propose a hybrid feedback control strategy using time-varying control barrier functions. Our control strategy finds least violating solutions in the aforementioned conflicting situations based on a suitable robustness notion and by initiating collaboration among agents.

[1]  Dimos V. Dimarogonas,et al.  Reconfiguration in motion planning of single- and multi-agent systems under infeasible local LTL specifications , 2013, 52nd IEEE Conference on Decision and Control.

[2]  Calin Belta,et al.  Formal Methods for Control Synthesis: An Optimization Perspective , 2019, Annu. Rev. Control. Robotics Auton. Syst..

[3]  Dimos V. Dimarogonas,et al.  Decentralized Robust Control of Coupled Multi-Agent Systems under Local Signal Temporal Logic Tasks , 2017, 2018 Annual American Control Conference (ACC).

[4]  Frank Allgöwer,et al.  CONSTRUCTIVE SAFETY USING CONTROL BARRIER FUNCTIONS , 2007 .

[5]  Alberto L. Sangiovanni-Vincentelli,et al.  Model predictive control with signal temporal logic specifications , 2014, 53rd IEEE Conference on Decision and Control.

[6]  Paulo Tabuada,et al.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems , 2016, IEEE Transactions on Automatic Control.

[7]  Aaron D. Ames,et al.  Input-to-State Safety With Control Barrier Functions , 2018, IEEE Control Systems Letters.

[8]  Magnus Egerstedt,et al.  Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[9]  Calin Belta,et al.  Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications , 2010, IEEE Transactions on Robotics.

[10]  Xiangru Xu,et al.  Constrained control of input-output linearizable systems using control sharing barrier functions , 2018, Autom..

[11]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[12]  Magnus Egerstedt,et al.  Nonsmooth Barrier Functions With Applications to Multi-Robot Systems , 2017, IEEE Control Systems Letters.

[13]  Aaron D. Ames,et al.  Safety Barrier Certificates for Collisions-Free Multirobot Systems , 2017, IEEE Transactions on Robotics.

[14]  Oded Maler,et al.  Robust Satisfaction of Temporal Logic over Real-Valued Signals , 2010, FORMATS.

[15]  Dimos V. Dimarogonas,et al.  Control Barrier Functions for Signal Temporal Logic Tasks , 2019, IEEE Control Systems Letters.

[16]  Hai Lin,et al.  Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[17]  Paulo Tabuada,et al.  Robustness of Control Barrier Functions for Safety Critical Control , 2016, ADHS.

[18]  George J. Pappas,et al.  Robustness of temporal logic specifications for continuous-time signals , 2009, Theor. Comput. Sci..

[19]  Dimos V. Dimarogonas,et al.  Multi-agent planning under local LTL specifications and event-based synchronization , 2016, Autom..

[20]  Dimos V. Dimarogonas,et al.  Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks , 2019, 2019 18th European Control Conference (ECC).

[21]  Magnus Egerstedt,et al.  Graph Theoretic Methods in Multiagent Networks , 2010, Princeton Series in Applied Mathematics.

[22]  Petter Nilsson,et al.  Provably-Correct Coordination of Large Collections of Agents with Counting Temporal Logic Constraints , 2017, 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).