Title:
Multi-robot coordination and safe learning using barrier certificates

Thumbnail Image
Author(s)
Wang, Li
Authors
Advisor(s)
Egerstedt, Magnus B.
Advisor(s)
Editor(s)
Associated Organization(s)
Series
Supplementary to
Abstract
The objective of this research is to develop a formal safety framework for collision-free and connectivity sustained motion in multi-robot coordination and learning based control. This safety framework is designed with barrier certificates, which provably guarantee the safety of dynamical systems based on the set invariance principle. The barrier certificates are enforced on the system using an online optimization-based controller such that minimal changes to the existing control strategies are required to guarantee safety. The proposed safety barrier certificates are validated on real multi-robot systems consisting of multiple Khepera robots, Magellan Pro robot, GRITS-Bots, and Crazyflie quadrotors.
Sponsor
Date Issued
2018-04-03
Extent
Resource Type
Text
Resource Subtype
Dissertation
Rights Statement
Rights URI