I. Introduction
In recent years, due to the rapid development of commu-nication and network technologies, the researches on multi-robot systems have received a great deal of interest. Among all the popular research topics of multi-robot systems, the formation control of multiple unmanned mobile robot systems have attracted extensive attentions due to its wide applications in civilian, military fields, et al [1]. Stability and safety are the two essential requirements for formation control. Therefore, it is necessary to investigate control framework that renders stable formation performance while guaranteeing the safety of multi-robot systems.