I. Introduction
Multi-robot systems have been increasingly employed in research and industrial environments in recent years. As an important research direction of multi-robot system, formation control can be applied in multiple scenarios, such as searching or surveilling an area, maintaining communication network, collaboratively handling an object [1]. Many methods of formation control have been proposed, including behavior based control [2], artificial potential field based control [3] [4], virtual structure approach [5], distributed consensus algorithms [6], leader and follower approach [7], and graph based formation control [8]. However, most of these studies consider an obstacle-free environment, whose focus is mainly on preventing collisions between robots.