Safety Barrier Certificates for Heterogeneous Multi-Robot Systems
arXiv:1609.00651 · doi:10.1109/ACC.2016.7526486
Abstract
This paper presents a formal framework for collision avoidance in multi-robot systems, wherein an existing controller is modified in a minimally invasive fashion to ensure safety. We build this framework through the use of control barrier functions (CBFs) which guarantee forward invariance of a safe set; these yield safety barrier certificates in the context of heterogeneous robot dynamics subject to acceleration bounds. Moreover, safety barrier certificates are extended to a distributed control framework, wherein neighboring agent dynamics are unknown, through local parameter identification. The end result is an optimization-based controller that formally guarantees collision free behavior in heterogeneous multi-agent systems by minimally modifying the desired controller via safety barrier constraints. This formal result is verified in simulation on a multi-robot system consisting of both cumbersome and agile robots, is demonstrated experimentally on a system with a Magellan Pro robot and three Khepera III robots.
8 pages version of 2016ACC conference paper, experimental results added
Cited by in corpus (8)
- Control Barrier Function based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria
- Safe Multi-Agent Interaction through Robust Control Barrier Functions with Learned Uncertainties
- Individuality in Swarm Robots with the Case Study of Kilobots: Noise, Bug, or Feature?
- Barrier States Theory for Safety-Critical Multi-Objective Control
- Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
- Continuous-time Signal Temporal Logic Planning with Control Barrier Function
- Non-uniform Sampled Motion Planning for Continuous-time STL
- Combining Control Barrier Functions and Behavior Trees for Multi-Agent Underwater Coverage Missions