Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks

Motivated by the recent interest in cyber-physical and autonomous robotic systems, we study the problem of dynamically coupled multiagent systems under a set of signal temporal logic tasks. In particular, the satisfaction of each of these signal temporal logic tasks depends on the behavior of a distinct set of agents. Instead of abstracting the agent dynamics and the temporal logic tasks into a discrete domain and solving the problem therein or using optimization-based methods, we derive collaborative feedback control laws.These control laws are based on a decentralized control barrier function condition that results in discontinuous control laws, as opposed to a centralized condition resembling the single-agent case. The benefits of our approach are inherent robustness properties typically present in feedback control as well as satisfaction guarantees for continuous-time multiagent systems. More specifically, time-varying control barrier functions are used that account for the semantics of the signal temporal logic tasks at hand. For a certain fragment of signal temporal logic tasks, we further propose a systematic way to construct such control barrier functions. Finally, we show the efficacy and robustness of our framework in an experiment, including a group of three omnidirectional robots.

[1]  Dusan M. Stipanovic,et al.  Formation Control and Collision Avoidance for Multi-agent Non-holonomic Systems: Theory and Experiments , 2008, Int. J. Robotics Res..

[2]  Michael M. Zavlanos,et al.  Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks , 2017, IEEE Transactions on Automatic Control.

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

[4]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[5]  George J. Pappas,et al.  A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.

[6]  Shankar Sastry,et al.  A calculus for computing Filippov's differential inclusion with application to the variable structure control of robot manipulators , 1986, 1986 25th IEEE Conference on Decision and Control.

[7]  Stephen P. Boyd,et al.  CVXGEN: a code generator for embedded convex optimization , 2011, Optimization and Engineering.

[8]  Dennis S. Bernstein,et al.  Finite-Time Stability of Continuous Autonomous Systems , 2000, SIAM J. Control. Optim..

[9]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

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

[11]  Zdzisław Denkowski,et al.  Set-Valued Analysis , 2021 .

[12]  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).

[13]  Aaron D. Ames,et al.  Towards a Framework for Realizable Safety Critical Control through Active Set Invariance , 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).

[14]  George J. Pappas,et al.  Stable flocking of mobile agents, part I: fixed topology , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

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

[16]  Rupak Majumdar,et al.  Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications , 2017, 2017 American Control Conference (ACC).

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

[18]  K.J. Kyriakopoulos,et al.  Automatic synthesis of multi-agent motion tasks based on LTL specifications , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

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

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

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

[22]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.

[23]  George J. Pappas,et al.  Distributed connectivity control of mobile networks , 2007, 2007 46th IEEE Conference on Decision and Control.

[24]  Magnus Egerstedt,et al.  Hybrid Nonsmooth Barrier Functions With Applications to Provably Safe and Composable Collision Avoidance for Robotic Systems , 2019, IEEE Robotics and Automation Letters.

[25]  J. Cortés.  Discontinuous dynamical systems , 2008, IEEE Control Systems.

[26]  Kyriakos G. Vamvoudakis,et al.  Enforcing Signal Temporal Logic Specifications in Multi-Agent Adversarial Environments: A Deep Q-Learning Approach , 2018, 2018 IEEE Conference on Decision and Control (CDC).

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

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

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

[30]  Calin Belta,et al.  Q-Learning for robust satisfaction of signal temporal logic specifications , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[31]  Dimos V. Dimarogonas,et al.  Multi-agent plan reconfiguration under local LTL specifications , 2015, Int. J. Robotics Res..

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

[33]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

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

[35]  Houssam Abbas,et al.  Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives , 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).

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

[37]  Charles R. Johnson,et al.  Matrix Analysis, 2nd Ed , 2012 .

[38]  J. Leth,et al.  On formalism and stability of switched systems , 2012, Journal of Control Theory and Applications.

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

[40]  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).

[41]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[42]  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).

[43]  Dimos V. Dimarogonas,et al.  Control Barrier Functions for Multi-Agent Systems Under Conflicting Local Signal Temporal Logic Tasks , 2019, IEEE Control Systems Letters.

[44]  B. Paden,et al.  Lyapunov stability theory of nonsmooth systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[45]  Dimos V. Dimarogonas,et al.  Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks , 2019, Autom..

[46]  Randal W. Beard,et al.  Consensus seeking in multiagent systems under dynamically changing interaction topologies , 2005, IEEE Transactions on Automatic Control.

[47]  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).