Fixed-Time Convergent Higher Order Control Barrier Functions for Leader-Follower Multi-Agent Systems under STL Tasks

This paper presents a control strategy based on time-varying fixed-time convergent higher order control barrier functions for a class of leader-follower multi-agent systems under signal temporal logic (STL) tasks. Each agent is assigned a local STL task which may be dependent on the behavior of agents involved in other tasks. In each local task, one agent called the leader has knowledge on the associated tasks and controls the performance of the subgroup involved agents. Our approach finds a robust solution to guarantee the fixedtime satisfaction of STL tasks in a least violating way and independent of the agents’ initial conditions. In particular, the robust performance of the task satisfaction is based on the knowledge of the leader from the followers and can be adjusted in a user-specified way.

[1]  George A. Rovithakis,et al.  Output feedback leader-follower with prescribed performance guarantees for a class of unknown nonlinear multi-agent systems , 2016, 2016 24th Mediterranean Conference on Control and Automation (MED).

[2]  Naomi Ehrich Leonard,et al.  Optimal leader selection for controllability and robustness in multi-agent networks , 2016, 2016 European Control Conference (ECC).

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

[4]  Construction of control barrier function and C2 reference trajectory for constrained attitude maneuvers , 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

[5]  Dimos V. Dimarogonas,et al.  Fixed-Time Convergent Control Barrier Functions for Coupled Multi-Agent Systems Under STL Tasks , 2021, 2021 European Control Conference (ECC).

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

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

[8]  Dimitra Panagou,et al.  A Quadratic Program based Control Synthesis under Spatiotemporal Constraints and Non-vanishing Disturbances , 2020, 2020 59th 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]  Aaron D. Ames,et al.  Input-to-State Safety With Control Barrier Functions , 2018, IEEE Control Systems Letters.

[11]  Calin Belta,et al.  Control Barrier Functions for Systems with High Relative Degree , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

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

[13]  Fei Chen,et al.  Leader–Follower Formation Control With Prescribed Performance Guarantees , 2021, IEEE Transactions on Control of Network Systems.

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

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

[16]  Dimos V. Dimarogonas,et al.  Barrier Function Based Collaborative Control of Multiple Robots Under Signal Temporal Logic Tasks , 2020, IEEE Transactions on Control of Network Systems.