Abstract

Recently, algebraic characterization of multiagent controllability through its topology has been widely concerned by the systems and control community. The controllability of leader-follower networked multiagent systems under the framework of generic linear dynamics is firstly discussed via λ-matrix. Some new algebra-theoretic necessary and/or sufficient conditions of the controllability for generic linear multiagent systems are established. Moreover, the controllable conditions for multiagent networks with special topological graphs through λ-matrix are presented.

1. Introduction

In recent years, cooperative and coordinated control of networked multiagent systems has become a surge of research activities. The controllability is a basic and important problem in modern control theory, which plays a key role in the analysis and synthesis of networked multiagent systems and has wide applications and advantages in formation control, pinning control, containment control and tracking control, etc [110].

A controllable multiagent system under a leader-follower framework means that all the followers can be governed to any desirable state (configuration) from any given initial state (configuration) in finite time by designing control protocol or algorithm exerted on leaders for every follower.. Controllability problem for a group of systems was first put forward by Tanner [11] in 2004 from the viewpoint of algebra, in which single-integrator continuous-time model with a leader in terms of nearest neighbor rules was formulated, and an algebraic controllable criterion in view of eigenvalues and right eigenvectors of submatrices of Laplacian matrix was obtained under a fixed topology. Studies in this algebraic point of view have provided a theoretical basis for understanding internal relationships and interactions among graph structures, evolutionary protocol, and controllability. Afterwards, considerable efforts on the controllability of complex dynamical networks have been devoted from algebraic perspectives. Liu et al. [12] first proposed the concept of the controllability for a leader-follower dynamic network with discrete-time state and established some algebraic criteria on the controllability under different topologies, respectively. Immediately after that, the authors, respectively, investigated the switching controllability [13, 14] and the group controllability [15, 16] of discrete-time/continuous-time networked multiagent systems with/without multiple leaders and coupling time delays. Wang et al. [17] studied the controllability of multiagent systems with the consensus protocols under directed topologies for high-order-integrator dynamic agents and general linear dynamic intelligent agents, respectively, in which the authors illustrated that the controllability congruously depended on the interconnection topology among agents and dynamics. Guan and Wang [18] studied the controllability of a group of mobile autonomous agents based on absolute protocol under fixed and switching topologies, respectively. In addition, some other important necessary and/or sufficient conditions on the controllability in multiagent networks were studied for special topologies, such as path graphs and cycle graphs [19, 20], multichain graphs [21], star graphs and tree graphs [22], grid graphs [23], symmetric structures [24], circulant networks [25], and two-time-scale networks [2628]. Controllability can also be analyzed by the eigenvectors of Laplacian as in [29]. Moreover, the authors discussed the controllability of dynamic-edge multiagent networks and established PBH-like conditions in [30].

A parallel research method is from graphical perspectives, which depicts the graph-theoretic features of making multiagent systems controllable under different models formulated for structural controllability. The work in [31] first put forward structural controllability for multiagent networks from the viewpoint of graph, where a single-leader multiagent network was introduced and graph-theoretic criterion on controllability was derived under an undirected topology, and these similar problems were extended to high-order dynamic agents in [32]. Rahmani and Ji [33] made use of the relaxed equitable partition for information communication topology to establish some controllable conditions for multiagent systems. The structural controllability was discussed for real-world complex networks by graph-theoretic technique [34]. The controllable characterizations of multiagent networks were given from graphical opinion [35]. Guan et al. studied the structural controllability for heterogeneous multiagent networks based on directed and weighted topology from algebraic and graphical perspectives [36].

At present, the controllability of multiagent networks is still in the initial stage of development. The problem of controllability, whether in the establishment of mathematical model or in theoretical analysis, will face the influence of many factors such as topological structure, evolution protocols, communication distance, information quantization, external disturbance, communication restriction, environmental noise, parameter uncertainty, and so on, which make the problem of controllability of multiagent networks present new characteristics and theoretical difficulties lacking more effective tools for theoretical analysis. In modern control theory, the PBH rank test plays an important role in judging whether a system is controllable, while λ-matrix exists in the PBH rank test. In this paper, we introduce λ-matrix to determine the controllability of the generic linear multiagent systems, while λ-matrix is derived from the PBH. It is well known that the PBH rank test is very useful because it only relies on the eigenvalues of the system matrices. In fact, for multiple delayed and high-dimensional multiagent systems, it is too complex and difficult to compute the rank of controllable matrices of such system. Yet, by Matlab, it is very easy to calculate the eigenvalues of the system via the PBH rank test. However, the existing results on controllability are seldom studied via λ-matrix, especially from the viewpoint of determinant factors and invariant factors. To the best of our knowledge, in higher algebra, the theory of λ-matrix is quite mature, while determinant factors and invariant factors can be used to judge whether two matrices are similar or not. Furthermore, if two matrices are equivalent to each other, then they will have the same determinant factors and invariant factors. Therefore, the controllability of multiagent networks via λ-matrix technique will be highlighted here. This paper concentrates on the controllability of generic linear multiagent networks with absolute protocol on fixed topology. Compared with the existing works, the main contributions of this paper are summed up as follows. Firstly, the model of generic linear multiagent networks based on absolute protocols under a leader-follower framework is proposed. Secondly, the definitions and properties of λ-matrix, determinant factors, and invariant factors are first introduced to investigate the controllability of multiagent networks by elementary transformation for λ-matrix. Finally, sufficient and/or necessary algebraic criteria on the controllability via determinant factors and invariant factors are established for generic linear multiagent networks. Furthermore, the controllable conditions for multiagent networks with special topological graphs by λ-matrix are also established. Compared with other existing methods, the λ-matrix method has the following advantages. (1) Intuitive form: [λI − A, B] for system (A, B) is easy to obtain. (2) Simple calculation: it only requires elementary transformation for [λI − A, B] to get its Smith standard form, determinant factors and invariant factors, etc. (3) Various methods of judgement: for the same system, we can, respectively, use its Smith standard form, determinant factors, and invariant factors to determine whether the system can be controllable or not. In particular, for special graphs, their corresponding λ-matrix is simpler and special to judge the controllability. Moreover, Theorems 14 in the following are sufficient and effective to judge the controllability of such system, which is theoretically shown via λ-matrix. To the best of our knowledge, the λ-matrix and determinant factors are not directly used to verify the controllable properties of a linear system, including a multiagent system, in the current literature. In this paper, we can get the λ-matrix from the PBH rank test and deal with λ-matrix to obtain Theorems 14 in the following by using some special skills and methods, so that our conclusions are not ordinary, which cannot be directly deduced from the existing conclusions. Compared with other traditional approaches, λ-matrix and determinant factors have some advantages such as intuitive form, simple calculation, and various judging methods. Therefore, some new algebra-theoretic necessary and/or sufficient conditions of the controllability for generic linear multiagent systems are established via λ-matrix. So, the introduction of λ-matrix is of practical significance.

The remainder of the paper is organized as follows. The problem formulation and mathematical preliminaries are given in Section 2. The main results for controllability of generic linear multiagent systems are presented in Section 3. Section 4 shows numerical simulation examples, and a conclusion is given in Section 5.

2. Problem Formulation and Preliminaries

Consider a generic linear multiagent network consisting of n + nl dynamic agents described aswhere xi ∈ Rm is the state of the i-th agent, A ∈ Rm×m, B ∈ Rm×p, , n is the followers’ number, and nl denotes the number of leaders influenced by external control inputs, for example, in Figure 1, ui ∈ Rp is the control input. The control agreement protocol similar to reference [37] from the perspective of the controllability is governed bywhere the feedback gains K1, K2 ∈ Rp×m are to be designed. aij ≥ 0 represents the edge weight from j to i, and indicates the neighbor set of agent i. The information topology links between agents are described by an undirected weighted graph with and , whose Laplacian is defined as , where △ is the diagonal degree matrix, is the adjacency matrix, and with

For such network in the leader-follower structure (see Figure 1), the Laplacian matrix can be divided intowhere Lf and Ll stand for the indices of followers and leaders, respectively, and Lfl and Llf stand for the communications from the leaders to the followers and from the followers to the leaders, respectively. More details can be seen in literature [38].

Denote and ; then, system (1) with protocol (2) follows thatwhere .

Remark 1. It is easy to see that the dimension of system (5) is higher than that of system (1). Obviously, it is more difficult and complex to analyze the controllability of multiagent networks so that it is always a challenging task since such system is high dimensional. Next, we will concentrate on the controllability of generic linear networked multiagent systems with high dimension, which is theoretically shown from a new perspective to algebraic features on the controllability.

3. Controllability Analysis Using λ-Matrix

Here, some useful concepts and symbols about λ-matrix in the study are reviewed briefly (see references [38, 39] for details), and the mathematical definitions and the classical criterion of the controllability for multiagent systems are given.

Definition 1. (see [39]) (λ-matrix). If the element of a matrix is a polynomial of λ, that is, it is the element of P[λ], where P is a number field and P[λ] is a polynomial ring under the number field P, then such matrix is called λ-matrix. Since P ⊂ P[λ], digital matrix A under the number field P is also λ-matrix, denoted as A(λ).

Definition 2. (see [39]) (the rank of λ-matrix). For λ-matrix A(λ), if there is a r-order determinant A(λ) (denoted as |A(λ)|) which is not zero and all (r + 1)-order determinant A(λ) are zero (if there still exist), then the rank of λ-matrix is r.

Definition 3. (see [39]) (determinant factor). Suppose that the rank of polynomial matrix A(λ) is r(≥1); for positive integer k, 1 ≥ k ≥ r, and the maximum common factor of all k-order subdeterminants of A(λ) with first coefficient being 1 is defined as the k-order determinant factor of A(λ), denoted as Dk(λ). As k > r, it is easy to know that Dk(λ) = 0 from the definition of the rank of λ-matrix. In addition, for the convenience of discussion, let D0(λ) = 1.

Definition 4. (see [39]) (invariant factor). di(λ) = Di−1(λ)|Di(λ) (i = 1, 2, …, r) are called as invariant factors. Denote d0(λ) = 0 (n ≥ i > r).

Definition 5. (controllability). System (5) is said to be controllable if for any initial state xf(t0) and any final state xf, there exists a finite time t > t0 such that xf(t) = xf by adjusting the leaders’ movement.

Definition 6. (controllability matrix). The controllability matrix of system (5) is defined aswhere .
From Definitions 5 and 6, we have the following propositions immediately.

Proposition 1 (rank test). System (5) is controllable if rank(Q) = mn.

Proposition 2 (PBH test). System (5) is controllable if one of the following statements is satisfied:(i)(ii)where Φ stands for complex number field and λi is the eigenvalue of A for i = 1, 2, …, mn.

According to Definitions 23, we know that the rank of A(λ) as well as its determinant factors and invariant factors can keep unchanged under elementary transformation. So, we will characterize the controllability of system (5) by using determinant factors and invariant factors.

Theorem 1. System (5) is controllable if there exists an mn-order determinant factor of such that Dmn(s) = 1.

Proof. Necessity. By contradiction, if , then . Therefore, Dr(s) ≠ 0 and all Dr+1(s) = 0, where Dr(s) are r-order determinant factors of . So from Definition 3, Dmn(s) = 0, which contradicts to the fact that Dmn(s) = 1. Therefore, the proof of the necessity is finished.

Sufficiency 1. Since system (5) is controllable, then ,s ∈ Φ, and then from Definition 3, there must exist an mn-order determinant factor of , such that Dmn(s) ≠ 0, where Dmn(s) is the maximum common factor of all mn-order subdeterminants of A(λ) with first coefficient being 1, denoted as with being mn-order subdeterminants of matrix , where are all co-prime and not all zero. Therefore, ; this gives the proof of the sufficiency.

Remark 2. Notice that for some polynomials, if two polynomials are co-prime, then all polynomials are co-prime.

Theorem 2. System (5) is controllable if there are two co-prime mn-order determinant factors of .

Proof. Since there exist two co-prime mn-order determinant factors of , without loss of generality, suppose that , and we can easily havefor r > 2; therefore, . From Theorem 1, system (5) is controllable. This completes the proof.

Remark 3. Theorem 2 provides a simple way to judge the controllability of multiagent networks with lower dimension. Especially, if there exists an mn-order determinant factor of , which is a nonzero constant, then the system must be controllable.

Definition 7. A square λ-matrix is unimodular if det(A(λ)) = c ≠ 0, where c is a constant.
From Definition 7, the following result can be obtained immediately.

Theorem 3. System (5) is controllable if there exists an mn-order unimodular matrix for .

Remark 4. Notice that the unimodular matrix is easier to check and calculate so that it can play a key role in judging the controllability of multiagent networks.

Definition 8. λ-matrix A(λ)n×n is reversible if there is λ-matrix B(λ)n×n, such that A(λ)B(λ) = B(λ)A(λ) = E, where E is n × n identity matrix.

Lemma 1 (see [39]). λ-matrix A(λ)n×n is reversible if det(A(λ)) = c ≠ 0, where c is a constant.

From Definition 8 and Lemma 1, the following results are easily available.

Corollary 1. λ-matrix A(λ)n×n is reversible if λ-matrix A(λ)n×n is unimodular.

Corollary 2. System (5) is controllable if there exists an mn-order reversible matrix for .

It is generally known that, in modern control theory, the nonsingular linear transformation does not change the controllability of the system, and the nonsingular linear transformation is the result of some elementary transformation synthesis.

Proposition 3 (see [39]). If λ-matrix A(λ) can be changed into B(λ) by a series of elementary transformations, then A(λ) is equivalent to B(λ), denoted as A(λ)∼B(λ).

Lemma 2 (see [39]). Any λ-matrix A(λ) ∈ P[λ]s×n is equivalent to the following diagonal form:where Λ is called as the standard form of A(λ), where r ≥ 1; an polynomial di(λ) is called as an invariant factor whose first coefficient is 1 for i = 1, 2, …, r and satisfies di(λ) | di+1(λ) for i = 1, 2, …, r − 1.

Lemma 3 (see [39]). Equivalent λ-matrices have the same rank.

Lemma 4 (see [39]). λ-matrices are equivalent if they have the same determinant factors and the same invariant factors.

The PBH test is an important method to judge the controllability of multiagent networks, but if is extremely complex and high dimensional, then we can turn into its standard form via elementary transformations, which is easier to judge the controllability of such system. Therefore, it is important to solve the controllability problem by invariant factors. From Lemma 2, we can have the fact that Dk(λ) = d1(λ), d2(λ), …, dk(λ), where d1(λ) = D1(λ), d2(λ) = D1(λ) | D2(λ), …, dr(λ) = Dr−1(λ) |Dr(λ) for k = 1, 2, …, r. Therefore, the following result can be obtained.

Theorem 4. System (5) is controllable if mn invariant factors of are all equal to 1.

Proof. Based on Theorem 1 and Lemma 3, we know that system (5) is controllable if an mn-order determinant factor Dmn(λ) = 1 of . At the same time, d1(λ) = D1(λ) = 1, d2(λ) = D1(λ) | D2(λ) = 1, …, dmn(λ) = Dmn−1(λ) | Dmn(λ) = 1. This completes the proof.

From Theorem 4 and Lemmas 2–4, the following simple and easy result can be obtained.

Corollary 3. System (5) is controllable if .

Note that Theorem 4 is derived from invariant factors that make up the standard form of A(λ). Therefore, we will give a brief algorithm to get invariant factors by determinant factors (see Algorithm 1).

Step 1: calculate the rank of A(λ). Suppose that rank(A(λ)) = r; then, there are r determinant factors in A(λ).
Step 2: by elementary transformation for A(λ), choose i1, i2, …, ik rows and i1, i2, …, ik columns (1 ≤ i1 < i2 < ⋯ < ik ≤ r) from A(λ) to constitute a determinant of order k, that is, .
Step 3: when i1 = 1, i2 = 2, …, ik = k, d1(λ), d2(λ), …, dk(λ) is the greatest common factor of all the determinant of k-order in Step 2.
Step 4: by step 3, A(λ) turns into its Smith standard form Λ, and it is easy to get the k-order determinant factor of A(λ) as Dk(λ) = d1(λ)d2(λ)…dk(λ), d(k = 1, 2, …, r).
Step 5: by step 4, let d1(λ) = D1(λ), d2(λ) = D2(λ) ∣ D1(λ), …, dr(λ) = Dr(λ) ∣ Dr−1(λ).
3.1. Some Special Graphs

This section will present the controllable conditions for multiagent networks with special topological graphs through λ-matrix and find that it is more effective, simpler, and easier to compute, test, and verify the results.

From Theorem 2 of literature [17], with leaders selected in advance, the controllability for the generic linear multiagent network is decided by matrix pair (−Lf, −Lfl), where Lf and Lfl show the information flows among follower agents and those from leaders to followers, respectively.

Lemma 5 (see [17]). System (5) is controllable if matrix pair (−Lf, −Lfl) is controllable.

Remark 5. From Lemma 5, we can immediately know that , so there must exist K1, K2 such that system (5) is controllable if matrix pair (−Lf, −Lfl) is controllable. This provides more and better methods to make generic linear multiagent systems controllable.

Theorem 5. Path graph is controllable.

Proof. For Figure 2(a), we can haveThen,Removing the first column of G(s),Easily compute det(G1(s)) = an−1c ≠ 0. According to Theorem 3, path graph is controllable. The proof is similar for Figure 2(b), omitted here.

Remark 6. Notice that from path graph, it is more obvious to see that its λ-matrix is n × (n + 1), in which we only need to delete the first column of λ-matrix to get an n × n lower triangular matrix with constant diagonal elements. It is easy to see that the determinant of the n × n lower triangular matrix is nonzero constant. Immediately, we can know that path graph is controllable. This is the simplest and most intuitive way of judging the controllability by the various methods available.

Theorem 6. Complete graph is uncontrollable.

Proof. For Figure 3, we can haveThen,Removing the i-th column of G(s),for i = 1, 2, …, n; by computing, we can get that det(Gi(s)) = (−1)n+ic(s − na)n−1 is not a constant, and if we remove the (n + 1)-th column, thenBy computing, we can get that det(Gn+1(s)) = s(s − na)n−1 is also not a constant. Thus, from Theorem 3, complete graph is uncontrollable.

Theorem 7. Star graph is uncontrollable.

Proof. For Figure 4, we can haveThen,Removing the i-th column of G(s),for i = 1, 2, …, n; by computing, we can get that det(Gi(s)) = (−1)n+ic(s − na) (s − a)n−2 is not a constant, and if we remove the (n + 1)-th column, thenBy computing, we can get det(Gn+1(s)) = s(s − na) (s − a)n−2 is also not a constant. Thus, from Theorem 3, star graph is uncontrollable.

Remark 7. In context, the system matrices with special topological graphs have simple and special forms, so the corresponding λ-matrix–an n × (n + 1) matrix is also simple and special. Subsequently, it only needs to delete one column of λ-matrix to get an n × n matrix, whose determinant is intuitive and easy to compute. Thus, by introducing λ-matrix, we can easily judge whether the system can be controllable or not. Therefore, the λ-matrix method is more intuitive and easier to compute, test, verify, and judge the controllability for generic linear multiagent systems.

4. Simulation Examples

4.1. Example 1

In this example, we consider a five-agent network with followers 1–3 and leaders 4–5 described by Figure 5, and the corresponding Laplacian matrices of Figure 5 can be given by

Letand easily calculate ; from Theorem 5, (−Lf, −Lfl) is completely controllable. Since A ∈ R2×2 and the number of followers is 3, then we can easily take

DesignK1 and K2 as and . Compute

Then,

By computing, we can get D6(s) = 1 of . Based on Theorem 1, such system is controllable.

Figures 6 and 7 are the followers’ trajectories, where the stars are random initial positions (configuration) and the circular dots are desired positions (configuration), such as a straight-line configuration and a triangle configuration, respectively.

From this example, we can find that we can design appropriate K1 and K2 based on matrix pair (−Lf, −Lfl).

4.2. Example 2

In this example, we consider a four-agent network with followers 1–3 and leader 4 described by Figure 8, and the corresponding Laplacian matrices of Figure 8 can be given by

Then,It is easy to see D3(s) = 1 − (s + 2)2 ≠ 1, and such network is uncontrollable from Theorem 1.

Figures 9 and 10 are the followers’ trajectories, where the stars are random initial positions (configuration) and the target (desired) positions (configuration), such as a straight-line configuration and a triangle configuration, respectively. The circular dots are final (actual) positions (configuration). Obviously, the target positions and final positions are different, and thus system is uncontrollable.

Remark 8. It is easy to see from the numerical examples 1-2 that the method using λ−matrix is easier to judge. Especially for low-order matrices, almost no calculation is required.

5. Conclusion

This paper has studied the controllability problem of the generic linear multiagent networks from the perspective of λ-matrix. The results have shown that the determinant factors play a key role in characterizing the controllability of multiagent networks. Moreover, invariant factors and unimodular matrix can also provide simpler and easier methods on the controllability of such system. This new perspective provides a new way to further explore the controllability of multiagent systems.

Data Availability

No data were used.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by the National Natural Science Foundation of China under Grant nos. 61773023, 61991412, 61773416, and 61873318, the Program for HUST Academic Frontier Youth Team under Grant no. 2018QYTD07, and the Frontier Research Funds of Applied Foundation of Wuhan under Grant no. 2019010701011421.