Abstract
This paper examines the controllability of a class of heterogeneous networked systems where the nodes are linear time-invariant systems (LTI), and the network topology is triangularizable. The literature contains necessary and sufficient conditions for the controllability of such systems where the control input matrices are identical in each node. Here, we extend this result to a class of heterogeneous systems where the control input matrices are distinct in each node. Additionally, we discuss the controllability of a more general system with triangular network topology and obtain necessary and sufficient conditions for controllability. Theoretical results are supplemented with numerical examples.
1. Introduction
The controllability of networked dynamical systems remains one of the most challenging problems in the field of control theory. The prevalence of networks of dynamical systems in numerous engineering and technology fields supports the rising emphasis placed on the controllability of networked systems [1,2,3]. In System and Control literature, there are different notions of controllability, including state controllability, structural controllability, etc. The classical idea of controllability, introduced by R. E. Kalman [4] in the 1960s, deals with the ability of a single high-dimensional system to steer itself from an arbitrary initial state to a desired final state, whereas, structural controllability, introduced by Lin [5] in 1974, attempts to obtain some numerical values for the parameters in system matrices describing the system’s dynamics so that it is controllable in the sense of Kalman. Using rank conditions, spectral features, graph-theoretic properties, etc., many authors have explored controllability criteria for such systems over the past few decades [6,7,8,9,10,11,12,13]. The traditional theory of control paved the way for an advanced approach applicable to complex networks with more than one interconnected dynamical system. With time, it was evident that modelling complicated real-life systems required large-scale networks, and the controllability of such systems became unavoidable [14,15,16,17].
Over the years, several approaches have been employed to study the controllability of a dynamical system. Zhou [18] studied the controllability and observability of networked systems having different dynamics in each subsystem. Based on the Popov–Belevitch–Hautus(PBH) test, he obtained some necessary and sufficient conditions for controllability which depended upon the dynamics of the subsystems and the network topology. Wang et al. [19] proposed a set of necessary conditions for the controllability of a homogeneous LTI networked system that required solving matrix equations. Additionally, conditions were derived that can be used to analyze the controllability of the networked system based on network topology, node dynamics, external control inputs, and inner interactions. In Wang L. et al. [19], the interactions between connected nodes are performed through high-dimensional inputs and outputs of the node dynamics. Later, Wang L. et al. [20] studied the controllability of homogeneous networked LTI systems having one-dimensional communication. They obtained a necessary and sufficient condition for the controllability of such systems along with some controllability results over specific network topologies, such as a chain, tree, star, etc. A relatively simple, less computational method for the controllability of homogeneous networked LTI systems was given by Hao et al. [21] in 2018 using spectral properties. Compared with Wang L. et al. [19], the conditions are easy to verify as they do not involve solving matrix equations. All these works discussed the controllability of a networked system with nodes having identical dynamics. However, in real-life situations, the individual nodes may not always have the same dynamics. Controllability of networked systems with heterogeneous dynamics poses a fascinating challenge as the intrinsic dynamics of individual nodes add to the complexity contributed by the network topology. Wang P. et al. [22] tried to extend the results obtained by Wang L. et al. [19] that were for homogeneous systems to heterogeneous systems. Some necessary conditions for controllability were obtained based on the network topology and the subsystem dynamics. Based on this work, Xiang et al. [23] derived necessary and sufficient conditions for controllability of a particular class of heterogeneous systems. Based on the results of Xiang et al. [23], Ajayakumar et al. [24] derived some necessary conditions for the controllability of heterogeneous systems. Using the idea of the determinant factor and the Smith normal form, a necessary and sufficient condition for controllability was derived by Kong et al. [25] for a general heterogeneous networked system. However, the result is difficult to verify as it involves significant computation. Ajayakumar et al. [26] extended the result of Hao et al. [21] that was for the controllability of homogeneous systems to a particular class of heterogeneous systems with identical control input matrices.
In this work, we extend the result in [26] to a class of heterogeneous networked systems, where the control input matrix is non-identical in each node. We also examine the controllability of a more general heterogeneous networked system over some specific network topologies. Necessary and sufficient conditions for the controllability of such systems are obtained. The rest of the paper is arranged as follows. Some preliminary information is given in Section 2. The controllability problem is formulated in Section 3. Section 4 presents the necessary and sufficient conditions for the controllability of the heterogeneous networked system formulated in Section 3. It also provides some controllability results over some specific topologies. Examples are provided to substantiate the derived results. Section 5 concludes the study and outlines the future scope of the research.
2. Preliminaries
In this paper, we use the following notations. I denotes the identity matrix and represents the canonical basis for . Let denote diagonal matrix of order n with diagonal entries , and denotes an upper triangular matrix of the form
Let denotes the eigen spectrum of a matrix A. The following lemmas will be used in the subsequent sections of this paper.
Lemma 1
([27]). Let A and B be similar matrices, that is, there exists a non-singular matrix P, such that . If ν is a left eigenvector of A with respect to the eigenvalue λ, then is an eigenvector of B with respect to the eigenvalue λ.
Lemma 2
([28]). Let denotes the Kronecker product of two matrices A and B. We use the following properties of Kronecker product in this paper.
- (i)
- .
- (ii)
- if A and B are invertible.
- (iii)
- .
- (iv)
- .
- (v)
- if and only if or .
Lemma 3
([29]). A linear time-invariant control system characterized by the pair of matrices is controllable if, and only if, left eigenvectors of A are not orthogonal to columns of B, i.e., implies that .
3. Model Formulation
Consider a heterogeneous networked linear time-invariant system with N nodes, where the node is described by the following differential equation:
where, is the state vector and is the external control vector. is an matrix and is an matrix called the state matrix and the control matrix of node i, respectively.
The connection strength between the nodes i and j is given by . If there is a communication from node j to node i, and otherwise, , . The matrix H denotes the inner coupling matrix describing the interconnections among the states of the nodes.
The network topology and external input channels of the networked system (1), are given by the matrices
respectively. If we denote the state matrix and the total external control input of the networked system (1) by and , respectively, using the Kronecker product notation, (1) can be reduced into the following compact form:
with,
where and . If the inner coupling matrix is also different in each node, i.e., if the dynamics of the node is given by
the networked system can be reduced to the compact form (3), where
and .
4. Controllability Results in a General Network Topology
Ajayakumar et al. [26] studied the controllability of (3) when the network topology is triangularizable, and the system parameter matrices satisfy certain conditions. There the control input matrices were identical in each node. Here, we will extend this result to a system where each node has different control input matrices.
We find that there exists a non-singular matrix T, such that , where is the Jordan Canonical Form of C. Let denotes the set of eigenvalues of and be the left eigenvectors of corresponding to , where is the geometric multiplicity of the eigenvalue . We will make use of the following theorem.
Theorem 1
([26]). Let T be the triangularizing matrix for the network topology matrix C and suppose commutes with A. Let denotes the left eigenpair of . Then the following statements hold true.
- (i)
- The eigenspectrum of F is the union of eigenspectrum of , where, . That is,
- (ii)
- If J is a diagonal matrix, then are the left eigenvectors of F corresponding to the eigenvalue .
- (iii)
- If J contains a Jordan block of order for some eigenvalue of C with for all , then are the left eigenvectors of F corresponding to the eigenvalue .
With the aid of the above result, we can prove the following necessary and sufficient conditions for controllability of the networked system (3).
Theorem 2.
Let T be a non-singular matrix triangularizing matrix C such that commutes with A. If J contains a Jordan block of order corresponding to the eigenvalue of C, then assume that for all , where are the left eigenvectors of corresponding to the eigenvalues . Then, the networked system (3) is controllable if, and only if,
- (i)
- for all
- (ii)
- For a fixed i, each left eigenvector ξ of , for some with ,
- (iii)
- If matrices have a common eigenvalue σ, then are linearly independent vectors, where is the geometric multiplicity of σ for and are the left eigenvectors of corresponding to .
Proof.
(Necessary part) Fix i. Let be an arbitrary left eigenvector of . From Theorem 1, we find that is a left eigenvector of F. By Lemma 3, for the networked system (3) to be controllable, we must have
This implies that and for some with .
Now, suppose that the matrices where have a common eigenvalue . Then the left eigenvectors of F corresponding to can be expressed as a linear combination in the form , where are scalars, not all are zero and are the eigenvectors of corresponding to the eigenvalue , where . If the networked system is controllable, then
Consequently, we have
for any scalars , not all of them are zero. This implies that the vectors are linearly independent in .
(Sufficiency part) To prove the converse part, we will show that if the networked system is uncontrollable, at least one condition in Theorem 1 does not hold. Suppose that the networked system (3) is not controllable. Then by Lemma 3, there exists a left eigenpair of F, such that .
If and . Again can be written as a linear combination, , where of left eigenvectors of corresponding to , where, is some non-zero vector. Now implies
This implies that either or for all with . Keep in mind that is a left eigenvector of . Thus, if the networked system is uncontrollable, then either condition or condition does not hold true.
Let be the common eigenvalue of the matrices for . Additionally, let the eigenvectors of corresponding to are , where . Since can be expressed in the form , where are some scalars, which are not all zero. Then, implies that there exists a non-zero vector , such that
This implies that are linearly dependent. Thus, at least one condition in Theorem 2 does not hold true, when the networked system is uncontrollable. □
The following examples illustrate the result obtained in Theorem 2.
Example 1.
Consider a heterogeneous networked system with three nodes with the following dynamics; the state matrices and control matrices of each nodes are given by,
The network topology matrix, inner-coupling matrix, and the external control input matrix are, respectively,
Nodes and in Figure 1 represents the state nodes and the control nodes respectively. There exists a non-singular matrix , such that . We have, and . Clearly, J contains a Jordan block of order 2 corresponding to 0. is the only left eigenvector of the matrix and . Additionally, commutes with A. Then
- (i)
- as , for all .
- (ii)
- for , the only left eigenvector is . We have and .For the matrix the left eigenvectors are, respectively, and . We have and .For the matrix , the left eigenvectors are, respectively,and . We have and .
- (iii)
- as the matrices and do not have any common eigenvalues, third condition of Theorem 2 is satisfied.
Thus, all the conditions of Theorem 2 are satisfied and hence the system is controllable.
The following illustration demonstrates how Theorem 2 can be used to make an uncontrollable system controllable.
Example 2.
Consider a heterogeneous networked system with three nodes with the following dynamics; the state matrices and control matrices of each nodes are given by,
The network topology matrix, inner-coupling matrix, and the external control input matrix are, respectively,
There exists , such that . The eigenvalues of C are, and . Clearly, J contains a Jordan block of order 2. Observe that is the only left eigenvector corresponding to the matrix and . Additionally, commutes with A. Here, as , we have . Then, by Theorem 2, the networked system is not controllable. From Figure 2, we can see that only node have an external control input. It is easy to observe, if either node or is supplied with a control input, for all . Suppose that node is supplied with an external control input as shown in Figure 3. That is, . Even then the networked system is not controllable as is the only non-zero entry in and . If we could change the control input matrix so that , we can make this uncontrollable system to a controllable system. For example, consider . Then,
- (i)
- as , for all .
- (ii)
- for , the only left eigenvector is . We have and .For , the left eigenvectors are and . We have and .and for the matrix , the left eigenvectors are and . We have and .
- (iii)
- as the matrices and do not have any common eigenvalues, third condition of Theorem 2 is satisfied.
Thus, all the conditions of Theorem 2 are satisfied and, hence, the system is controllable.
Thus, with the help of conditions in Theorem 2 we can modify the system components in order to make an uncontrollable system controllable. Now, suppose that is controllable for some with . Then, by Lemma 3, for each left eigenvector of , . From this idea, we can derive the following result as a corollary of Theorem 2, which gives a sufficient condition for controllability.
Corollary 1.
Let T be a non-singular matrix triagularizing matrix C, such that commutes with A. If J contains a Jordan block of order corresponding to the eigenvalue of C, then assume that for all , where are the left eigenvectors of corresponding to the eigenvalues . Then, the networked system (3) is controllable if the following conditions are satisfied.
- (i)
- for all ;
- (ii)
- For a fixed i, is controllable for some with ;
- (iii)
- If matrices have a common eigenvalue σ, then are linearly independent vectors, where is the geometric multiplicity of σ for and are the left eigenvectors of corresponding to .
Example 3.
Consider a networked system with three nodes, where the dynamics of the system is given as follows:
The network topology matrix and the eternal input matrix are given by
C is diagonalizable with , such that . We have , and . Clearly, J does not contain any Jordan blocks and commutes with A. Then
- (i)
- as , for all .
- (ii)
- We have . Here and are controllable.
- (iii)
- Here, and has a common eigenvalue, . The corresponding left eigenvectors are, respectively, and . Clearly, and .
Thus, all the conditions of Corollary 1 are satisfied and hence the given system is controllable.
If for all , then the following result by Ajayakumar et al. [26] can be obtained as a consequence of Corollary 1.
Theorem 3
([26]). Let T be a non-singular matrix triangularizing matrix C, such that commutes with A. If J contains a Jordan block of order corresponding to the eigenvalue of C, then assume that for all , where are the left eigenvectors of corresponding to the eigenvalues . Then, the networked system (3) is controllable if, and only if,
- (i)
- for all ;
- (ii)
- is controllable, for ;
- (iii)
- If matrices have a common eigenvalue σ, thenare linearly independent vectors, where is the geometric multiplicity of σ for and are the left eigenvectors of corresponding to .
Controllability Results in a Special Network Topology
Now we will discuss the controllability of system (5), when the network topology is given by an upper/lower triangular matrix and the state matrices have certain properties. Here, also, we will characterize the eigenvalues and eigenvectors of the state matrix F.
Theorem 4.
Assume that C is an upper triangular matrix. Let be the set of eigenvalues of . Then, the set of all eigenvalues of F is given by . Let be the left eigenvectors of associated with the eigenvalue , where is the geometric multiplicity of for . If , for , then , are the left eigenvectors of F associated with the eigenvalues .
Proof.
is a block upper triangular matrix. Therefore, the eigenvalues of F are precisely the eigenvalues of the matrices . That is, if are the eigenvalues of , then
are the eigenvalues of F. Now, if represents the left eigenvectors of associated with the eigenvalue , then clearly are left eigenvectors of F corresponding to the eigenvalue . If , then are left eigenvectors of F associated with the eigenvalue . Now, we will prove that the the only linearly independent left eigenvectors of F are of the form , where is a left eigenvector of for some i. For example, take , such that is a left eigenvector of F. Then for some eigenvalue of F implies that
Then, clearly is an eigenvalue of with left eigenvector . Then, by our hypothesis, . Thus,
implies that is an eigenvalue of with left eigenvector . Proceeding like this, we determine that is an eigenvalue of for all with as left eigenvector. Then, can be expressed as , and we have already seen that are left eigenvectors of F for any left eigenvector of . Thus, if does not have any common eigenvalue, the only left eigenvectors of F are , where are the linearly independent left eigenvectors of corresponding to the eigenvalue . Now, suppose that have a common eigenvalue with left eigenvectors , respectively, where . Then, is a left eigenvector of F corresponding to the eigenvalue . □
Suppose that C is an upper triangular matrix, say .
Then
Theorem 5.
Let C be an upper∖lower triangular matrix. Suppose the eigenvectors of satisfy the conditions given in Theorem 4, then the networked system (3) is controllable if, and only if,
- (i)
- Every node have external control input.
- (ii)
- is controllable for all .
Proof.
Suppose that the networked system (3) is controllable and suppose that for some i, say , i.e., . Then the control matrix for the networked system (3) is given by
We have proved that are left eigenvectors of F corresponding to the eigenvalue , where . Observe that for any , . Then, by Lemma 3, the given system is not controllable, which is a contradiction. Now, suppose that is not controllable for some i, say . Again by Lemma 3, for some eigenvalue (where ) of there exists a left eigenvector (where ), such that . Then clearly which is a contradiction.
Conversely, suppose that both and are satisfied. We have the left eigenvectors of F are , where or their linear combinations. Now if, and only if, either or both for some i. Both of these situations contradict our hypothesis. Then by Lemma 3, system (3) is controllable. □
Example 4.
Consider a heterogeneous networked system with three nodes, where the state matrices and control matrices are given by
The inner-coupling matrices are given by,
The left eigenvectors of are and the only left eigenvector of is . We have .
- (i)
- From Figure 4, it is clear that all the nodes have external control input.
Figure 4. Take otherwise and . - (ii)
- and are controllable.
Thus, all the conditions of Theorem 5 are satisfied. Therefore, the given networked system is controllable.
5. Conclusions and Future Scope of Work
This paper provides a necessary and sufficient condition for the controllability of a heterogeneous networked system. Ajayakumar et al. [26] analyzed heterogeneous networked systems having identical control matrices in each node and obtained a necessary and sufficient conditions for controllability. Based on this work, it is possible to identify the nodes that required external control inputs in order to make the uncontrollable system controllable. In the present work, control matrices are considered to be distinct in each node and in addition to identifying the nodes that will receive control inputs, it is also possible to identify the control input matrices that needed to be employed. The existing results tell us less than ours about how subsystem dynamics, network topology, etc., affect the controllability of a networked system, and our results are easy to validate. In addition, controllability results for a more general class of heterogeneous networked systems over a particular network topology are obtained. We plan to look into the controllability of networked systems over more general network topologies in the future. The ability to control networked systems with delays and impulses could be another study area. However, research is performed in this direction for homogeneous networked systems with one-way communication and control delays, and this kind of study still needs to be performed on heterogeneous networked systems.
Author Contributions
Conceptualization, A.A. and R.K.G.; methodology, A.A. and R.K.G.; software, A.A.; validation, A.A. and R.K.G.; formal analysis, A.A. and R.K.G.; investigation, A.A. and R.K.G.; writing—original draft preparation, A.A.; writing—review and editing, R.K.G.; visualization, R.K.G.; supervision, R.K.G.; project administration, R.K.G.; funding acquisition, A.A. All authors have read and agreed to the published version of the manuscript.
Funding
The first author is receiving financial support from Council of Scientific and Industrial Research (CSIR), India. Second author is not receiving any financial support.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Written informed consent has been obtained from the patient(s) to publish this paper.
Acknowledgments
The first author acknowledges the financial help received from the Council of Scientific and Industrial Research (CSIR), India, for the work and the Department of Mathematics, Indian Institute of Space Science and Technology (IIST), India, for providing the necessary support to carry out this research work.
Conflicts of Interest
The authors declare no conflict of interest.
Abbreviations
The following abbreviations are used in this manuscript:
| LTI | Linear Time-Invariant |
| MIMO | Multi Input Multi Output |
References
- Strogatz, S.H. Exploring complex networks. Nature 2001, 410, 268–276. [Google Scholar] [CrossRef] [PubMed]
- Wang, X.F.; Chen, G. Complex networks: Small-world, scale-free and beyond. IEEE Circuits Syst. Mag. 2003, 3, 6–20. [Google Scholar] [CrossRef]
- Xiang, L.; Chen, F.; Ren, W.; Chen, G. Advances in network controllability. IEEE Circuits Syst. Mag. 2019, 19, 8–32. [Google Scholar] [CrossRef]
- Kalman, R.E. On the general theory of control systems. IRE Trans. Autom. Control 1959, 4, 110. [Google Scholar] [CrossRef]
- Lin, C.T. Structural controllability. IEEE Trans. Autom. Control 1974, 19, 201–208. [Google Scholar]
- Hautus, M.L. Controllability and observability conditions of linear autonomous systems. Ned. Akad. Wet. 1969, 72, 443–448. [Google Scholar]
- Glover, K.; Silverman, L. Characterization of structural controllability. IEEE Trans. Autom. Control 1976, 21, 534–537. [Google Scholar] [CrossRef]
- Mayeda, H. On structural controllability theorem. IEEE Trans. Autom. Control 1981, 26, 795–798. [Google Scholar] [CrossRef]
- Tarokh, M. Measures for controllability, observability and fixed modes. IEEE Trans. Autom. Control 1992, 37, 1268–1273. [Google Scholar] [CrossRef]
- Tanner, H.G. On the controllability of nearest neighbor interconnections. In Proceedings of the 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No. 04CH37601), Nassau, Bahamas, 14–17 December 2004; Volume 3, pp. 2467–2472. [Google Scholar]
- Rahmani, A.; Mesbahi, M. Pulling the strings on agreement: Anchoring, controllability, and graph automorphisms. In Proceedings of the 2007 American Control Conference, New York, NY, USA, 9–11 July 2007; pp. 2738–2743. [Google Scholar]
- Liu, X.; Lin, H.; Chen, B.M. Graph-theoretic characterisations of structural controllability for multi-agent system with switching topology. Int. J. Control 2013, 86, 222–231. [Google Scholar] [CrossRef]
- Yazıcıoğlu, A.Y.; Abbas, W.; Egerstedt, M. Graph distances and controllability of networks. IEEE Trans. Autom. Control 2016, 61, 4125–4130. [Google Scholar] [CrossRef]
- Farhangi, H. The path of the smart grid. IEEE Power Energy Mag. 2009, 8, 18–28. [Google Scholar] [CrossRef]
- Wuchty, S. Controllability in protein interaction networks. Proc. Natl. Acad. Sci. USA 2014, 111, 7156–7160. [Google Scholar] [CrossRef] [PubMed]
- Gu, S.; Pasqualetti, F.; Cieslak, M.; Telesford, Q.K.; Alfred, B.Y.; Kahn, A.E.; Medaglia, J.D.; Vettel, J.M.; Miller, M.B.; Grafton, S.T.; et al. Controllability of structural brain networks. IEEE Nat. Commun. 2015, 6, 1–10. [Google Scholar] [CrossRef]
- Bassett, D.S.; Sporns, O. Network neuroscience. Nat. Neurosci. 2017, 20, 353–364. [Google Scholar] [CrossRef]
- Zhou, T. On the controllability and observability of networked dynamic systems. Automatica 2015, 52, 63–75. [Google Scholar] [CrossRef]
- Wang, L.; Chen, G.; Wang, X.; Tang, W.K. Controllability of networked MIMO systems. Automatica 2016, 69, 405–409. [Google Scholar] [CrossRef]
- Wang, L.; Wang, X.; Chen, G. Controllability of networked higher-dimensional systems with one-dimensional communication. In Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences; Royal Society: London, UK, 2017; Volume 375, p. 20160215. [Google Scholar]
- Hao, Y.; Duan, Z.; Chen, G. Further on the controllability of networked MIMO LTI systems. Int. J. Robust Nonlinear Control 2018, 28, 1778–1788. [Google Scholar] [CrossRef]
- Wang, P.; Xiang, L.; Chen, F. Controllability of heterogeneous networked MIMO systems. In Proceedings of the 2017 International Workshop on Complex Systems and Networks (IWCSN), Doha, Qatar, 8–10 December 2017; pp. 45–49. [Google Scholar]
- Xiang, L.; Wang, P.; Chen, F.; Chen, G. Controllability of directed networked MIMO systems with heterogeneous dynamics. IEEE Trans. Control Netw. Syst. 2019, 7, 807–817. [Google Scholar] [CrossRef]
- Ajayakumar, A.; George, R.K. A Note on Controllability of Directed Networked System with Heterogeneous Dynamics. IEEE Trans. Control Netw. Syst. 2022, 2022, 1–4. [Google Scholar] [CrossRef]
- Kong, Z.; Cao, L.; Wang, L.; Guo, G. Controllability of Heterogeneous Networked Systems with Non-identical Inner-coupling Matrices. IEEE Trans. Control Netw. Syst. 2022, 9, 867–878. [Google Scholar] [CrossRef]
- Ajayakumar, A.; George, R.K. Controllability of networked systems with heterogeneous dynamics. Math. Control Signals Syst. 2023, 1–20. [Google Scholar] [CrossRef]
- Horn, R.A.; Johnson, C.R. Topics in Matrix Analysis; Cambridge University Press: Cambridge, UK, 1994. [Google Scholar]
- Horn, R.A.; Johnson, C.R. Matrix Analysis; Cambridge University Press: Cambridge, UK, 2012. [Google Scholar]
- Rugh, W.J. Linear System Theory; Prentice-Hall, Inc.: Kalamazoo, MI, USA, 1996. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).