Abstract:Distributed, scalable, and safe control of large-scale multi-agent systems (MAS) is a challenging problem. In this paper, we design a distributed framework for safe multi-agent control in large-scale environments with obstacles, where a large number of agents are required to maintain safety using only local information and reach their goal locations. We introduce a new class of certificates, termed graph control barrier function (GCBF), which are based on the well-established control barrier function (CBF) theory for safety guarantees and utilize a graph structure for scalable and generalizable distributed control of MAS. We develop a novel theoretical framework to prove the safety of an arbitrary-sized MAS with a single GCBF. We propose a new training framework GCBF+ that uses graph neural networks (GNNs) to parameterize a candidate GCBF and a distributed control policy. The proposed framework is distributed and is capable of directly taking point clouds from LiDAR, instead of actual state information, for real-world robotic applications. We illustrate the efficacy of the proposed method through various hardware experiments on a swarm of drones with objectives ranging from exchanging positions to docking on a moving target without collision. Additionally, we perform extensive numerical experiments, where the number and density of agents, as well as the number of obstacles, increase. Empirical results show that in complex environments with nonlinear agents (e.g., Crazyflie drones) GCBF+ outperforms the handcrafted CBF-based method with the best performance by up to 20% for relatively small-scale MAS for up to 256 agents, and leading reinforcement learning (RL) methods by up to 40% for MAS with 1024 agents. Furthermore, the proposed method does not compromise on the performance, in terms of goal reaching, for achieving high safety rates, which is a common trade-off in RL-based methods.

Mean-Field Control Barrier Functions: A Framework for Real-Time Swarm Control

Safety-critical Containment Control for Multi-Agent Systems with Communication Delays

Safe Multi-Agent Interaction through Robust Control Barrier Functions with Learned Uncertainties

GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control

Safety Under Uncertainty: Tight Bounds with Risk-Aware Control Barrier Functions

Decentralized Robust Collision-Avoidance for Cooperative Multirobot Systems: A Gaussian Process-Based Control Barrier Function Approach

Advances in the Theory of Control Barrier Functions: Addressing Practical Challenges in Safe Control Synthesis for Autonomous and Robotic Systems

Robust satisficing cooperative control barrier functions for multirobots systems using information‐gap theory

Online Control Barrier Functions for Decentralized Multi-Agent Navigation

Safe and Stable Formation Control with Distributed Multi-Agents Using Adaptive Control and Control Barrier Functions

Learning Local Control Barrier Functions for Hybrid Systems

Safe Collective Control under Noisy Inputs and Competing Constraints via Non-Smooth Barrier Functions

State-action control barrier functions: Imposing safety on learning-based control with low online computational costs

On the Optimality, Stability, and Feasibility of Control Barrier Functions: An Adaptive Learning-Based Approach

Prediction-Based Control Barrier Functions for Input-Constrained Safety Critical Systems

BarrierNet: Differentiable Control Barrier Functions for Learning of Safe Robot Control

Resilient Estimator-based Control Barrier Functions for Dynamical Systems with Disturbances and Noise

Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints

Self-triggered Control for Safety Critical Systems Using Control Barrier Functions