A Caltech Library Service

Safety Barrier Certificates for Collisions-Free Multirobot Systems

Wang, Li and Ames, Aaron D. and Egerstedt, Magnus (2017) Safety Barrier Certificates for Collisions-Free Multirobot Systems. IEEE Transactions on Robotics, 33 (3). pp. 661-674. ISSN 1552-3098. doi:10.1109/TRO.2017.2659727.

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item:


This paper presents safety barrier certificates that ensure scalable and provably collision-free behaviors in multirobot systems by modifying the nominal controllers to formally satisfy safety constraints. This is achieved by minimizing the difference between the actual and the nominal controllers subject to safety constraints. The resulting computation of the safety controllers is done through a quadratic programming problem that can be solved in real-time and in this paper, we describe a series of problems of increasing complexity. Starting with a centralized formulation, where the safety controller is computed across all agents simultaneously, we show how one can achieve a natural decentralization whereby individual robots only have to remain safe relative to nearby robots. Conservativeness and existence of solutions as well as deadlock-avoidance are then addressed using a mixture of relaxed control barrier functions, hybrid braking controllers, and consistent perturbations. The resulting control strategy is verified experimentally on a collection of wheeled mobile robots whose nominal controllers are explicitly designed to make the robots collide.

Item Type:Article
Related URLs:
URLURL TypeDescription
Ames, Aaron D.0000-0003-0848-3177
Additional Information:© 2017 IEEE. Manuscript received April 5, 2016; revised October 28, 2016; accepted January 11, 2017. This paper was recommended for publication by Associate Editor H. Kress-Gazit and Editor T. Murphey upon evaluation of the reviewers’ comments. The work of L. Wang and M. Egerstedt was supported by the U.S. National Science Foundation under Grant 1544332 and the work of A. D. Ames was supported by the U.S. National Science Foundation under Grant 1239055.
Funding AgencyGrant Number
Subject Keywords:Barrier certificates, collision avoidance, control barrier function, multirobot systems
Issue or Number:3
Record Number:CaltechAUTHORS:20170215-165434009
Persistent URL:
Official Citation:L. Wang, A. D. Ames and M. Egerstedt, "Safety Barrier Certificates for Collisions-Free Multirobot Systems," in IEEE Transactions on Robotics, vol. 33, no. 3, pp. 661-674, June 2017. doi: 10.1109/TRO.2017.2659727
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:74353
Deposited On:16 Feb 2017 01:08
Last Modified:11 Nov 2021 05:26

Repository Staff Only: item control page