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.Comment: 8 pages version of 2016ACC conference paper, experimental results
adde