On the reachability and observability of path and cycle graphs

In this paper we investigate the reachability and observability properties of a network system, running a Laplacian based average consensus algorithm, when the communication graph is a path or a cycle. More in detail, we provide necessary and sufficient conditions, based on simple algebraic rules from number theory, to characterize all and only the nodes from which the network system is reachable (respectively observable). Interesting immediate corollaries of our results are: (i) a path graph is reachable (observable) from any single node if and only if the number of nodes of the graph is a power of two, $n=2^i, i\in \natural$, and (ii) a cycle is reachable (observable) from any pair of nodes if and only if $n$ is a prime number. For any set of control (observation) nodes, we provide a closed form expression for the (unreachable) unobservable eigenvalues and for the eigenvectors of the (unreachable) unobservable subsystem

Leader localization in multi-agent systems subject to failure: A graph-theoretic approach

In this paper, structural controllability of a leader–follower multi-agent system with multiple leaders is studied. A graphical condition for structural controllability based on the information flow graph of the system is provided. The notions of p-link and q-agent controllability in a multi-leader setting are then introduced, which provide quantitative measures for the controllability of a system subject to failure in the agents and communication links. The problem of leader localization is introduced, which is concerned with finding the minimum number of agents whose selection as leaders results in a p-link or q-agent controllable network. Polynomial-time algorithms are subsequently presented to solve the problem for both cases of undirected and directed information flow graphs

Structural controllability of multi-agent networks: Robustness against simultaneous failures

In this paper, structural controllability of a leader-follower multi-agent system with multiple leaders is studied from a graph-theoretic point of view. The problem of preservation of structural controllability under simultaneous failures in both the communication links and the agents is investigated. The effects of the loss of agents and communication links on the controllability of an information flow graph are previously studied. In this work, the corresponding results are exploited to introduce some useful indices and importance measures that help characterize and quantify the role of individual links and agents in the controllability of the overall network. Existing results are then extended by considering the effects of losses in both links and agents at the same time. To this end, the concepts of joint (r,s)-controllability and joint t-controllability are introduced as quantitative measures of reliability for a multi-agent system, and their important properties are investigated. Lastly, the class of jointly critical digraphs is introduced, and it is stated that if a digraph is jointly critical, then joint t-controllability is a necessary and sufficient condition for remaining controllable following the failure of any set of links and agents, with cardinality less than t. Various examples are exploited throughout the paper to elaborate on the analytical findings. © 2013 Elsevier Ltd. All rights reserved