Control of Networked Systems with Engineering ApplicationsView this Special Issue
Research Article | Open Access
Algorithm for Identifying Minimum Driver Nodes Based on Structural Controllability
Existing methods on structural controllability of networked systems are based on critical assumptions such as nodal dynamics with infinite time constants and availability of input signals to all nodes. In this paper, we relax these assumptions and examine the structural controllability for practical model of networked systems. We explore the relationship between structural controllability and graph reachability. Consequently, a simple graph-based algorithm is presented to obtain the minimum driver nodes. Finally, simulation results are presented to illustrate the performance of the proposed algorithm in dealing with large-scale networked systems.
Advances in communications technology have opened up new challenges in the area of networked systems. Controllability of multiagent networked systems as a fundamental concept in this field has received considerable attention. The pioneer work in analysing controllability of multiagent systems with leader-follower architecture had been carried out by Tanner , where controllability conditions were provided for multiagent systems with undirected graph topology based on eigenvectors of the Laplacian matrix. In further development, some algebraic conditions for controllability of multiagent systems are presented in [2, 3]. Ji and Egerstedt  introduced network equitable partitions to present a necessary condition for the controllability of leader-follower multiagent systems. Inspired by , Rahmani et al.  proposed the controllability of multiagent systems with multiple leaders. Liu et al.  derived a simple controllability condition for discrete-time single-leader switching networks, which was further extended to continuous-time single-leader switching networks . Ji et al.  derived a necessary and sufficient condition for the controllability of leader-follower multiagent systems, by dividing the overall system into several connected components. The other related topics in this area are leader-follower consensus [9, 10], leader-follower formation control [11–13], containment control [14, 15], and pinning-controllability of networked systems [16, 17].
The concept of structural controllability has been studied extensively since the classical work by Lin . In , structural controllability of SISO linear systems was explored by introducing a notion of structured matrix whose elements are either fixed zeros or independent free parameters. Shields and Pearson  extended the results of  to structural controllability of multiinput linear systems. Since then various works have been carried out on the structural controllability of linear systems [20–22]. Recently, structural controllability of networked systems has emerged as a major interest in the network sciences. A notable work in this area is carried out by Liu et al.  which addressed the structural controllability of complex networks. Jafari et al.  studied structural controllability of a leader-follower multiagent system with multiple leaders. Sundaram and Hadjicostis  developed a graph-theoretic characterization of controllability and observability of linear systems over finite fields. Haghighi and Cheah  employed the concept of structural observability to examine the weight-balanceability of networked systems.
For large-scale networked systems, it is infeasible to apply input signals to all network nodes due to the high control cost and the difficulty of practical implementations. In this case, a fundamental problem is to identify a certain amount of nodes to be driven externally to bring the whole network under control. This problem was addressed in , where a theoretical framework was developed to solve the minimum input problem based on Lin’s structural controllability theorem . As pointed out in , the results in  are based on the assumption that each node has an infinite time constant, which do not generally represent the dynamics of the physical and biological systems.
Despite the model in , Cowan et al.  considered internal dynamics for all nodes of the network. Cowan’s result states that structural controllability does not depend on degree distribution. Hence, the structural controllability can always be conferred with a single independent control input. However, the result in  suffers from a drawback that each independent input is connected to all nodes in the network, which is practically infeasible.
In this paper, we examined the structural controllability in networked systems by relaxing the critical assumptions in previous results. Consequently, we provide a graph-theoretic method to identify driver nodes. We present an algorithm to determine minimum driver nodes in networked systems. The contribution of this paper is twofold: (i) we relaxed the assumptions in existing methods, such as infinite time constant for each node, and having direct access to input signals by all nodes, on structural controllability of networked systems. (ii) We provide a simple algorithm to obtain minimum driver nodes in networked systems.
The paper is organized as follows. Section 2 presents some preliminaries in graph theory and controllability. Section 3 presents the model of the networked systems. Section 4 addresses the structural controllability in networked systems and presents the linkage between the structural controllability and the graph reachability in networked systems. An algorithm for identifying minimum driver nodes in networked systems is proposed in Section 5. Section 6 presents the simulation results and Section 7 concludes this paper.
The communication between nodes can be expressed by a weighted directed graph , such that represents the set of nodes, is the edge set, and is the weighted adjacency matrix where if and otherwise. A graph is said to be a subgraph of a graph if and .
A directed path in a digraph is an ordered sequence of nodes so that any two consecutive nodes in the sequence are an edge of the digraph. An undirected graph is a tree if and only if, for any two nodes, there is a unique path connecting them. A directed spanning tree or arborescence is a digraph such that there is a unique directed path from a designated root node to every other node.
Definition 1. A digraph is called an arborescence diverging from node , if there is only one directed path between root and any other node of . If is an arborescence diverging from , then its reverse digraph (i.e., all edges of are reversed) is called an arborescence converging to .
If there is an arborescence subdigraph diverging from an arbitrary node , then is called a globally reachable node.
Definition 2. Driver nodes are nodes in a network that have to be controlled in order to completely control the entire network.
Definition 3. A matrix is said to be a structured matrix if its elements are either fixed zeros or independent free parameters .
Definition 4. Two dynamical systems are called structurally equivalent, if their interconnection structures are identical. Hence, we can say has the same structure as , if for every fixed zero entry of the matrix , the corresponding entry of the matrix is fixed zero and vice versa.
Definition 5. The structural rank (srank) of a matrix is the maximum rank of all structurally equivalent matrices .
Theorem 6 (controllability test ). is controllable if and only if there is no left eigenvector of that is orthogonal to ; that is,
Theorem 7 (Popov-Belevitch-Hautus controllability test ). is controllable if and only ifwhere is an eigenvalue of .
3. Model of Interconnected Networks
We consider each node in the network corresponding to a dynamical system, governed by the following equation:where denotes the state of node , is the total number of nodes, and denotes an external input.
Interconnected system (3) can be represented in matrix formwhere , , is input matrix, and is defined as , where is the adjacency matrix and .
4. Controllability and Graph Reachability
According to classical control theory, a dynamical system is controllable if for any initial state there exists an input that can drive the system to any final state in a finite time. It is well known that the system () is controllable if and only if the following controllability matrix:has full rank. Even though a system with a pair of might be uncontrollable, it can be controllable for another structurally equivalent pair .
Definition 8. A dynamical system is structurally controllable if there exists a structurally equivalent system that is controllable .
In what follows, we first consider network with single driver node and present the relation between graph reachability and controllability.
4.1. Controllability of Networks with Single Driver Node
Consider a network of nodes with single driver node, , which is expressed as follows:where . To examine the controllability, we form the following zero-state response:The term refers to the th column of the matrix multiplied by . Using Cayley-Hamilton theorem, can be expanded as follows:where are scalar functions. We state the following theorem.
Theorem 9. Consider the network expressed by (6). The network is structurally controllable if and only if there is an arborescence subdigraph diverging from driver node .
Proof (necessity condition). According to Lemma A.1 in the Appendix, the th element of matrix series (8) is zero, if there is no path from node to node . In this case, the th element of the is zero and remains zero for all values of the network link weights; therefore at least is an uncontrollable state of the system.
Sufficiency Condition. We show that a network, which contains an arborescence subdigraph diverging from its driver node, is structurally controllable. Without loss of generality, we assume that node 1 is the driver node. In structural controllability, independent nonzero parameters can take any values including zero. Hence, we zero out the weights for redundant links in such a way that the digraph associated with the network becomes an arborescence diverging from the driver node.
Matrices and in (4) for an arborescence diverging from driver node can be expressed as follows:Let be the left eigenvector associated with eigenvalue . Using Theorem 6, we haveTherefore, to show that the network is structurally controllable, we need to prove the existence of weights such that , for . To do so, let be a strictly monotonic sequence for . Since is triangular matrix with distinct diagonal entries, eigenvalues of are its diagonal entries; that is, for . Therefore, we obtain by solving as follows:Since all the denominators of (11) have the same sign and for can be expressed aswhere are same sign scalars for different values of and . Existence of arborescence diverging from node 1 guarantees that . Hence, for .
Since an arborescence diverging from the driver node is structurally controllable, we can conclude that any networked system which contains an arborescence subdigraph diverging from the driver node is structurally controllable.
Corollary 10. A network with a globally reachable driver node is structurally controllable.
In the above, we examine networks with single driver node. In what follows, we generalize the result for networks with multiple driver nodes.
4.2. Controllability of Networks with Multiple Driver Nodes
Consider a network of nodes with multiple driver nodes, which is expressed as follows:where , where refers to the rectangular diagonal matrix and are positive scalars. The following theorem expresses the controllability condition in networks with multiple driver nodes.
Theorem 11. Consider the network expressed by (13) which consists of multiple driver nodes. The network is structurally controllable if and only if there is a path from at least one driver node to any arbitrary node.
Proof. For simplicity, we assume that nodes are driver nodes of the network. Hence matrix can be expressed as follows:Necessity Condition. We assume that there is node and that there is no path from any input node to that node. According to Lemma A.1 in the Appendix, matrix series (8) has zero elements in columns 1 to of row . Therefore, has zero row , which yields existence of as an uncontrollable state of the system.
Sufficiency Condition. We assume that the network contains driver nodes. By zeroing out the weights of redundant links, we decompose the network into components such that driver node controls over nodes of component . Hence, matrices and can be expressed as follows:If th node in th component is driver node, we have for . Using Theorem 7, we obtainwhere are identity matrices with the same size as for . Using Theorem 9, for an arbitrary component , is full row-rank. Since is block diagonal matrix with full row-rank block matrices, therefore
For better underdressing, in what follows, we compare the proposed structural controllability condition and Liu’s structural controllability condition. An example of Liu’s structural controllability is presented in Figure 1. It is shown that controlling node 1 is not sufficient for full control (see Figure 1(a)). To gain full control, we must simultaneously control node 1 and any node among (see Figure 1(b)). In contrast, in the proposed structural controllability (see Figure 2), controlling node 1 is sufficient for full control over the networked system.
5. Algorithm for Identifying Minimum Driver Nodes
We have shown the relationship between the structural controllability and graph reachability. Thus the problem of examining the structural controllability of the networked systems described by (5) can be converted into graph reachability problem. Here, we are interested in determining the minimum number of driver nodes in a directed network, denoted by , to obtain controllability over the networked systems. However, difficulties in identifying minimum number of driver nodes in large-scale networks lead to the requirement for a simple systematic method. In what follows, we propose a simple algorithm to determine the minimum number of driver nodes using graph reachability approach.
To check the graph reachability between each two arbitrary nodes, we present the following theorem.
Theorem 12. Consider a network of nodes with an associated structured adjacency matrix . For any two arbitrary nodes and , if th element of the matrix is zero, then there is no path from node to node , where is an identity matrix and is a positive constant such that the spectral radius of is less than 1.
Proof. To prove this theorem, we first use the Taylor series expansion of the matrix inverse (see Lemma A.3 in the Appendix). ConsiderUsing Lemma A.2, for is zero if and only if there is no path from node to node . Hence, the zeroness of the th entry of for leads to the zeroness of the th entry of .
The associated structured matrix can be defined as Boolean matrix as follows:From (19), we obtain . Therefore, matrix is obtained in structured format as follows:where represents nonzero parameters such that in matrix (21), for example, entry is zero, which means that there is no path from node 1 to node 4. Since the network is small, driver nodes in Figure 3 can be easily identified, which are either node 2 or node 4. The same result can be obtained by examining . In matrix (21), columns full of nonzero elements represent globally reachable nodes. For columns which contain zero elements, we define graph reachability index as follows.
Definition 14. Node is said to have graph reachability index , if there are paths from to maximum , other nodes of the network.
Therefore, we can express the following corollary.
Corollary 15. In matrix , columns with higher nonzero elements represent nodes with higher graph reachability index.
We can deduce that nodes with higher graph reachability index are suitable to be assigned as driver nodes.
Remark 16. To find the minimum driver nodes to obtain a structurally controllable network, we start by assigning the node with the highest graph reachability index as the driver node. Then, we remove all the nodes that are in the path rooted for the assigned driver node. We repeat the above procedure for the remaining network till the condition in Theorem 11 is satisfied.
Using the above mentioned results, we present a systematic algorithm to identify the minimum driver nodes in a networked system such that the structural controllability of the network is guaranteed. The algorithm for determining the minimum driver nodes of the network is described as follows.
Consider graph with the associated structured adjacency matrix ,
Step 1. Compute graph reachability matrix .
Step 2. Identify the node with the highest graph reachability index by finding the columns of matrix with the largest nonzero elements. If there is more than one node with the highest graph reachability index, we can randomly choose one of them.
Step 3. Assign that node as the driver node and zero out all the rows with the nonzero elements in the column associated with that driver node.
Step 4. Go back to Step 2 and repeat the procedure till all elements of matrix are zero.
The above procedure is expressed in Algorithm 1.
Remark 17. It should be noted that the set of minimum driver nodes is usually not unique depending on the network configurations, and one can determine other sets with the same number of driver nodes.
In this section, we present simulation results to illustrate the performance of the proposed method for networked systems of various sizes and topologies. For the numerical calculations and simulations, we used MATLAB software. For illustration purpose, we first consider a network with 30 nodes which are distributed randomly as depicted in Figure 4. The weights of links are randomly selected from . We compute , where is the associated Laplacian matrix. The sparsity pattern of matrix is plotted in Figure 5, where the blue solid circles represent nonzero elements of the matrix. Applying the proposed algorithm, the driver nodes of the network are identified by magenta circles in Figure 6. The result of the first simulation is summarized in Table 1, where is the number of nodes, is the number of links, is the computed number of driver nodes, and is the computed density of driver nodes obtained by .
To illustrate the capability of the purposed algorithm in dealing with large-scale networks, we consider a network of 1000 nodes which are distributed randomly within a square region as shown in Figure 7. The communication links are generated between neighboring nodes with the probability of . The weights of links are randomly selected from . The sparsity pattern of matrix is plotted for the network in Figure 8. Applying the proposed algorithm, the driver nodes of the network are identified by magenta circles in Figure 9. The result of the second simulation is summarized in Table 2.
We applied the proposed algorithm on some randomly generated networks, and the results are illustrated in Table 3.
In this paper, we have addressed the structural controllability problem for networked systems. Despite the existing methods governed by some impractical assumptions on nodal dynamics and availability of input signals, we have examined structural controllability for networked systems in practical framework. Using controllability analysis, we have presented the connection between networks driver nodes and graph reachability. Consequently, based on results on graph reachability, we have put forward a simple algorithm to determine minimum driver nodes in networked systems. Finally, simulation results have been presented to illustrate the performance of the proposed methods.
Lemma A.1. Let where is the adjacency matrix and . Consider the following matrix:where are scalars. is zero for any arbitrary values of , if there is no path of any length from node to node .
Proof. To prove the lemma, we show that the th element of all matrices where is zero, if there is no path of any length from node to node . Since there is no adjacent path from node to , then . Therefore, the th element of the can be expressed as follows:Using Lemma A.2, we obtain . Therefore, the th element of the can be expressed as follows:Using Lemma A.2, we obtain . Similarly, we can proceed for and show that for .
Lemma A.2 (see ). Let be the adjacency matrix of a digraph ; then is greater than zero if and only if there is a path of length from node to node .
Lemma A.3. For two arbitrary matrices and , the Taylor series expansion of the matrix inverse is expressed as follows:where the spectral radius of is less than 1.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
- H. G. Tanner, “On the controllability of nearest neighbor interconnections,” in Proceedings of the 43rd IEEE Conference on Decision and Control (CDC '04), vol. 3, pp. 2467–2472, December 2004.
- M. Ji, A. Muhammad, and M. Egerstedt, “Leader-based multi-agent coordination: controllability and optimal control,” in Proceedings of the American Control Conference, pp. 1358–1363, June 2006.
- A. Rahmani and M. Mesbahi, “On the controlled agreement problem,” in Proceedings of the American Control Conference, pp. 1376–1381, IEEE, Minneapolis, Minn, USA, June 2006.
- M. Ji and M. Egerstedt, “A graph-theoretic characterization of controllability for multi-agent systems,” in Proceedings of the American Control Conference (ACC '07), pp. 4588–4593, IEEE, New York, NY, USA, July 2007.
- A. Rahmani, M. Ji, M. Mesbahi, and M. Egerstedt, “Controllability of multi-agent systems from a graph-theoretic perspective,” SIAM Journal on Control and Optimization, vol. 48, no. 1, pp. 162–186, 2009.
- B. Liu, T. Chu, L. Wang, and G. Xie, “Controllability of a leader-follower dynamic network with switching topology,” IEEE Transactions on Automatic Control, vol. 53, no. 4, pp. 1009–1013, 2008.
- B. Liu, T. Chu, L. Wang, Z. Zuo, G. Chen, and H. Su, “Controllability of switching networks of multi-agent systems,” International Journal of Robust and Nonlinear Control, vol. 22, no. 6, pp. 630–644, 2012.
- Z. J. Ji, Z. D. Wang, H. Lin, and Z. Wang, “Interconnection topologies for multi-agent coordination under leader–follower framework,” Automatica, vol. 45, no. 12, pp. 2857–2863, 2009.
- K. Peng and Y. Yang, “Leader-following consensus problem with a varying-velocity leader and time-varying delays,” Physica A, vol. 388, no. 2-3, pp. 193–208, 2009.
- W. Ni and D. Cheng, “Leader-following consensus of multi-agent systems under fixed and switching topologies,” Systems & Control Letters, vol. 59, no. 3-4, pp. 209–217, 2010.
- L. Consolini, F. Morbidi, D. Prattichizzo, and M. Tosques, “Leader-follower formation control of nonholonomic mobile robots with input constraints,” Automatica, vol. 44, no. 5, pp. 1343–1349, 2008.
- R. Haghighi and C. C. Cheah, “On leader-based shape coordination,” in Proceedings of the 11th International Conference on Control, Automation, Robotics & Vision (ICARCV '10), pp. 404–409, IEEE, Singapore, December 2010.
- R. Haghighi and C. C. Cheah, “Multi-group coordination control for robot swarms,” Automatica, vol. 48, no. 10, pp. 2526–2534, 2012.
- H. Su, G. Jia, and M. Z. Q. Chen, “Semi-global containment control of multi-agent systems with input saturation,” IET Control Theory & Applications, vol. 8, no. 18, pp. 2229–2237, 2014.
- H. Su and M. Z. Q. Chen, “Multi-agent containment control with input saturation on switching topologies,” IET Control Theory & Applications, vol. 9, no. 3, pp. 399–409, 2015.
- M. Porfiri and M. di Bernardo, “Criteria for global pinning-controllability of complex networks,” Automatica, vol. 44, no. 12, pp. 3100–3106, 2008.
- Q. Song and J. Cao, “On pinning synchronization of directed and undirected complex dynamical networks,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 57, no. 3, pp. 672–680, 2010.
- C.-T. Lin, “Structural controllability,” IEEE Transactions on Automatic Control, vol. 19, no. 3, pp. 201–208, 1974.
- R. W. Shields and J. B. Pearson, “Structural controllability of multi-input linear systems,” IEEE Transactions on Automatic Control, vol. AC-21, no. 2, pp. 203–212, 1976.
- S. Hosoe and K. Matsumoto, “On the irreducibility condition in the structural controllability theorem,” IEEE Transactions on Automatic Control, vol. 24, no. 6, pp. 963–966, 1979.
- J.-M. Dion, C. Commault, and J. van der Woude, “Generic properties and control of linear structured systems: a survey,” Automatica, vol. 39, no. 7, pp. 1125–1144, 2003.
- H. Mayeda, “On structural controllability theorem,” IEEE Transactions on Automatic Control, vol. 26, no. 3, pp. 795–798, 1981.
- Y.-Y. Liu, J.-J. Slotine, and A.-L. Barabási, “Controllability of complex networks,” Nature, vol. 473, no. 7346, pp. 167–173, 2011.
- S. Jafari, A. Ajorlou, and A. G. Aghdam, “Leader localization in multi-agent systems subject to failure: a graph-theoretic approach,” Automatica, vol. 47, no. 8, pp. 1744–1750, 2011.
- S. Sundaram and C. N. Hadjicostis, “Structural controllability and observability of linear systems over finite fields with applications to multi-agent systems,” IEEE Transactions on Automatic Control, vol. 58, no. 1, pp. 60–73, 2013.
- R. Haghighi and C. C. Cheah, “Distributed average consensus based on structural weight-balanceability,” IET Control Theory & Applications, vol. 9, no. 2, pp. 176–183, 2015.
- N. J. Cowan, E. J. Chastain, D. A. Vilhena, J. S. Freudenberg, and C. T. Bergstrom, “Nodal dynamics, not degree distributions, determine the structural controllability of complex networks,” PLoS ONE, vol. 7, no. 6, Article ID e38398, 2012.
- W. Tutte, Graph Theory, Addison-Wesley, 1984.
- D. D. Siljak, Decentralized Control of Complex Systems, Academic Press, New York, NY, USA, 1991.
- K. J. Reinschke, Multivariable Control: A Graph-Theoretic Approach, Springer, 1988.
- P. R. Belanger, Control Engineering: A Modern Approach, Saunders College Publishing, 1995.
- R. L. Williams and D. A. Lawrence, Linear State-Space Control Systems, John Wiley & Sons, 2007.
- C. Sueur and G. Dauphin-Tanguy, “Bond-graph approach for structural analysis of MIMO linear systems,” Journal of the Franklin Institute, vol. 328, no. 1, pp. 55–70, 1991.
- R. S. Varga, Gershgorin and His Circles, Springer, Berlin, Germany, 2004.
- G. Williams, Linear Algebra with Applications, Jones and Bartlett Publishers, 2012.
Copyright © 2015 Reza Haghighi and HamidReza Namazi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.