Abstract

Formation control of multi-agent systems has emerged as a topic of major interest during the last decade, and has been studied from various perspectives using different approaches. This work considers the structural controllability of multi-agent systems with leader-follower architecture. To this end, graphical conditions are first obtained based on the information flow graph of the system. Then, the notions of p-link, q-agent, and joint-(p,q) controllability are introduced as quantitative measures for the controllability of the system subject to failure in communication links or/and agents. Necessary and sufficient conditions for the system to remain structurally controllable in the case of the failure of some of the communication links
or/and loss of some agents are derived in terms of the topology of the information flow graph. Moreover, a polynomial-time algorithm for determining the maximum number of failed communication links under which the system remains structurally controllable is presented. The proposed algorithm is analogously extended to the case of loss of agents, using the node-duplication technique. The above results are subsequently extended to the multiple-leader case, i.e., when more than one agent can act as the leader. Then, leader localization problem is investigated, where it is desired to achieve p-link or q-agent controllability in a multi-agent system. This problem is concerned with finding a minimal set of agents whose selection as leaders results in a p-link or q-agent controllable system. Polynomial-time algorithms to find such minimal sets for both undirected and directed information flow graphs are presented.