Robust H∞ Consensus Control for Linear Discrete-Time Swarm Systems with Parameter Uncertainties and Time-Varying Delays
Abstract
Robust H∞ consensus control problems of linear swarm systems with parameter uncertainties and time-varying delays are investigated. In this literature, a linear consensus protocol for high-order discrete-time swarm systems is proposed. Firstly, the robust H∞ consensus control problem of discrete-time swarm systems is transformed into a robust H∞ control problem of a set of independent uncertain systems. Secondly, sufficient linear matrix inequality conditions for robust H∞ consensus analysis of discrete-time swarm systems are given by the stability theory, and a H∞ performance level γ is determined meanwhile. Thirdly, the convergence result is derived as a final consensus value of swarm systems. Finally, numerical examples are presented to demonstrate theoretical results.
1. Introduction
As a hot topic of swarm systems, distributed cooperative control for swarm systems has gained an increasing attention from many communities because of its wide applications in various areas including rendezvous [1–3], filtering [4–6], formation control [7–9], synchronization of power-driven machine [10–12], and other areas [13–16]. It should be also pointed out that some relevant novel nearest results in aerospace have been reported in [17–19]. Furthermore, as an essential research aspect of distributed cooperative control for swarm systems, the consensus problem, which is referred to an agreement on some common values by all agents, has received extensive research in recent years [20–22].
According to the difference of the system dynamics, the research objective of the consensus problem for swarm systems can be classified into three types: first-order swarm systems, second-order swarm systems, and high-order swarm systems. For first-order swarm systems, the consensus problem with input and communication delays was studied by the frequency analysis in [23]. The consensus of second-order agents with multiple time-varying delays was investigated based on the graph theory in [24]. In combination with realistic applications, high-order swarm systems are more valuable and general than low-order swarm systems due to the practicality and complexity of the former. Some significant theoretical achievements about the consensus of continuous-time high-order swarm systems have been discovered in [25]. However, digital signals are processed rather than analog signals under engineering background, so discrete-time swarm systems should be paid more attention. The distributed output feedback consensus problem of general linear model discrete-time swarm systems with fixed topology was presented in [26, 27]. Based upon the leader-following model, the consensus problem of discrete-time swarm systems with directed graphs and external disturbances was investigated in [28]. Furthermore, the consensus problem of discrete-time swarm systems with switching topologies based on the matrix inequality theory was presented in [29–31].
As the industrial technology continues to develop, the research on the control theory becomes more mature. Due to operating state changes, external disturbances and model errors of swarm systems in the real world, robust H∞ consensus control problems of swarm systems were wildly explored by researchers, as shown in [32–34]. Robust H∞ consensus control problems of first-order swarm systems with external disturbances and model uncertainties were presented in [32]. The second-order robust H∞ consensus control problem of swarm systems with measurement noises and asymmetric delays was studied in [33]. Distributed H2 and H∞ consensus control problems of high-order linear swarm systems with (x, y, z)-dependent noise were investigated in [34]. However, due to the general existence of parameter uncertainties and time delays of swarm systems in practical application, it is more meaningful and important to take these constraints into consideration in the theoretical analysis of robust H∞ consensus control problems of high-order linear discrete-time swarm systems, which can been deemed as inadequately available in current literature.
As is well known, precise dynamics models of swarm systems can be hardly established in practice, and many kinds of faults in systems can also contribute to uncertainties of the dynamics model. Besides, components of systems will be out of order or aged with the increase of working hours. Therefore, researches on the robust H∞ consensus problem of high-order linear discrete-time swarm systems with parameter uncertainties are very valuable and significant. Moreover, time delays cannot be avoided in nature and they take place so commonly in biological, physical, and electrical systems. The acquisition of parameters becomes more difficult when time delays exist in systems. If time delays are ignored when the consensus problem of swarm systems with parameter uncertainties is discussed, the stability of the system is hard to be guaranteed. Motivated by the above analysis, for high-order linear discrete-time swarm systems with parameter uncertainties to achieve consensus by the robust H∞ control method, time delays are necessary to be considered and the problem remains the most open as we know.
This paper studies robust H∞ control consensus problems of high-order linear discrete-time swarm systems with parameter uncertainties and time-varying delays, and the innovations of this paper are threefold: (i) a sufficient linear matrix inequality (LMI) condition such that swarm systems can achieve the robust H∞ consensus subject to parameter uncertainties and time-varying delays is derived; (ii) a H∞ performance index γ of swarm systems is obtained; and (iii) the final consensus value of swarm systems is developed. Compared with the previous work on the robust H∞ consensus of high-order swarm systems, the novelties of this literature are also threefold. Firstly, only the robust H∞ consensus of high-order linear swarm systems was investigated in [35–39], where the H∞ performance index was not obtained. However, in order to show the performance of the robust consensus of high-order linear discrete-time swarm systems, the H∞ performance index, which is necessary and important, was involved in this paper. Secondly, the final consensus value was obtained by LMI theory in this paper, which could better show the advantages of the proposed consensus protocol, but most existing works for the robust H∞ consensus of high-order linear swarm systems subject to parameter uncertainties and time delays, including [35–38], did not consider this useful point. Thirdly, to better correspond with the practical application, influences of time delays on the robust consensus of swarm systems were sufficiently considered in this paper, which did not appear in [37–39].
The remainder of the paper is organized as follows. Section 2 states several important conclusions of the graph theory and the problem description in which the robust H∞ consensus protocol is proposed. Section 4 shows a sufficient LMI condition that can guarantee the robust H∞consensus of swarm systems and a final consensus value of swarm systems. The effectiveness of theoretical results is illustrated via simulation examples in Section 5. Finally, Section 5 draws the conclusion.
Notations. A matrix can be defined to be positive if each entry of the matrix is positive. A square matrix can be known as Schur stable if each eigenvalue of the matrix lies in the open unit disk Θ = {λ ∈ ℂ : |λ| < 1}. diag{a11, a22, ⋯, ann} denotes the diagonal matrix, where a11, a22, ⋯, ann are diagonal entries. refers to the expectation. The symbol ⊗ represents the Kronecker product. The transpose of a matrix M is denoted as MT. I stands for the identity matrix with appropriate dimension. Let 1N = [1,⋯,1]T be the vector of N ones with all components 1.
2. Preliminaries and Problem Description
2.1. Graph Theory
The definition of the Laplacian matrix in connection with digraph G can be shown in matrix form as .
2.2. Problem Description
The parameter uncertainties ΔA and ΔB are considered permissible when equations (3) and (4) hold meanwhile.
Remark 1. When there is the external disturbance in system (2), external disturbance belongs to l2 signal shown in [33, 40], which satisfies , that is, the energy of the external disturbance in system (2) is bounded on any finite interval. In this case, the robust H∞ control problem can be analysed in an appropriate and meaningful way.
Definition 1. For the given gain matrix K and any given bounded initial states, swarm system (2) with consensus protocol (5) are assured to arrive consensus if there exists a vector-valued c(k) depending on the initial states such that limk→∞(x(k) − 1N ⊗ c(k)) = 0, where c(k) denotes the final consensus value.
Let , , and , and we can write swarm system (2) with equation (5) into a compact form as follows:
- (i)
with ωx(k) = 0, system (6) is asymptotically stable for all acceptable uncertain matrices F
- (ii)
with ωx(k) interpreted as deterministic l2 signal, the transfer function from ωx(k) to z(k) of system (6), which is denoted by Tωz, satisfies for all acceptable uncertain matrices F and a given allowable scalar γ > 0, where , is the H∞ norm of Tωz, defined by
In order to make an in-depth analysis for the robust H∞ consensus control problem of system (6), we presume henceforth that the communication graph G is connected and give the following lemma about the graph theory.
Lemma 1 (see [41].)For the Laplacian matrix L associated with an undirected graph G, the following description holds: (i) 0 is an eigenvalue of L, and its corresponding eigenvector is 1N, and (ii) 0 is a simple eigenvalue of L, and all the other eigenvalues are positive and real if G is connected.
Theorem 1. For a given γ > 0, system (6) is asymptotically stable and , if and only if the following N systems are simultaneously and asymptotically stable and all of the H∞ norms of their transfer function matrices are less than γ:
Proof. Let λi(i = 1, 2, ⋯, N) be the eigenvalues of matrix for an undirected topology G, where λ1 = 0 with the corresponding eigenvector , and λ1 ≤ λ2≤⋯≤λN. An orthogonal matrix can be found in the form
Then, system (6) can be rewritten in terms of as
Furthermore, reformulate the disturbance variable ωx(k) and the performance variable z(k) via
Subsequently, substituting (12) and (13) into (11) gives
In fact, system (14) consists of N individual systems in (6). Denote by and the transfer function matrices of system (14) and (6), respectively. Afterwards, we can deduce from equations (6), (12), (13), and (14) that
Therefore, the proof of Theorem 1 is completed.
Obviously, swarm system (6) can achieve consensus if subsystem (19) is asymptotically stable. Note that subsystem (18) determines the final consensus value of swarm system (6), and the details of it will be discussed below.
Remark 2. By Theorem 1, the distributed H∞ consensus control problem of swarm system (6) is transformed into the robust H∞ control problems of N subsystems (8), so that a set of independent systems which have the same dimensions as a single agent in (2) is obtained. Therefore, the computational complexity is decreased evidently and the stability theory of swarm systems can be used. The essential tools producing this result by right of the state space decomposition approach.
3. Main Results
In this section, the robust stability and existence conditions of the H∞ consensus control problem for swarm system (2) with protocol (5) is provided by using a basis-dependent Lyapunov function and the LMI approach. Above all, we should introduce the following two lemmas.
Lemma 2 (Jensen inequality [42]). For any constant matrix M ≥ 0, , and , positive integers α1 and α2 satisfying α2 ≥ α1 ≥ 1, an inequality holds as follows:
Lemma 3. Suppose that equal positive integer time-varying delays τ(k) exist in whole communication network of swarm system (2). Meanwhile, the undirected graph G is fixed and connected. Then, by use of control protocol (5), the robust consensus of swarm system (2) with H∞-norm consensus performance bound γ can be achieved globally asymptotically if we can prove that, there are a feedback matrix K with suitable dimensions and four positive-definite matrices P, R, Q1, and Q2 with d × d dimensions satisfying
Proof. For purpose of consensus analysis, we construct a Lyapunov function as follows:
Then, we can define the derivative of V(k) as
From the solution of (8), ΔV1(k) can be rewritten as follows:
ΔV2(k) can be reformulated as
ΔV3(k) can be rewritten as
ΔV4(k) can be reformulated as
ΔV5(k) can be rewritten as
Furthermore, the term can be shown that
At the same time, according to Lemma 2, the following inequality holds:
Let . Then, it follows from (8) and (25)–(32) that
Therefore, the conclusion of Lemma 3 is drawn.
Remark 3. In Lemma 3, for making sure that system (8) can achieve robust consensus with a H∞ performance index γ, a sufficient condition is obtained. Nevertheless, it is not difficult to find that (21) is a nonlinear matrix inequality (NMI) and therein lies parameter uncertainties.
To cope with the uncertain matrices F and the nonlinear terms of (21), the following two lemmas are given.
Lemma 4 (see [43].)For given matrices Y, D, and E of appropriate dimensions where Y is symmetric, a matrix inequality holds as follows:
Lemma 5 (Schur complement [44]). The linear matrix inequality
- (1)
Q(x) > 0, R(x) − S(x)TQ(x)−1S(x) > 0
- (2)
R(x) > 0, Q(x) − S(x)R(x)−1S(x)T > 0
Theorem 2. Consider swarm system (2) with a fixed, undirected, and connected communication topologyG. The robust consensus of swarm system (2) with H∞-norm consensus performance bound γ can be achieved globally asymptotically by use of control protocol (5) if we can find two scaling factors ε1 > 0 and ε2 > 0, a feedback matrix K with suitable dimensions and six positive-definite matrices P, S, R, M, Q1, and Q2 with d × d dimensions which are a settlement of the minimization problem as follows:
Proof. Inequality (21) can be expressed as
According to Lemma 5, one can obtain that inequality (41) can be rewritten as follows:
By replacing ΔA = DFE1 and ΔB = DFE2, inequality (42) is equivalently written as follows:
In virtue of Lemma 4 and Lemma 5, inequality (43) comes into existence for all acceptable uncertain matrices F if and only if we can prove that there are two scaling factors ε1 > 0 and ε2 > 0 satisfying
By the Cone Complementarity Linearization (CCL) algorithm in [45], we set S = P−1 and M = R−1. Then, the optimization problem (37)–(40) can be reasonably settled by transforming the nonlinear matrix inequality (NMI) (21).
Thus, the proof of Theorem 2 is completed.
Remark 4. According to Theorem 2, notice that the optimization problem (40)–(45) transformed from the NMI (21) can be reasonably solved based upon Algorithm 1. Hereafter, the linear swarm system (2) with the control protocol (5) achieves robust H∞consensus.
-
Algorithm 1: A possible way to the optimization problem (37)–(40).
-
Step 1: Seek out a set of available values of P0, S0, R0, and M0 for LMI (38)–(40), if there does not exist, then exit. Set k = 0.
-
Step 2: Set Pk = P0, Sk = S0, Rk = R0, and Mk = M0 and seek out Pk, Sk, Rk, and Mk which are a settlement for the LMI problem min tr(PkS + SkP + RkM + MkR) subject to LMI (38)–(40).
-
Step 3: If tr(PkS + SkP + RkM + MkR) < 4d + ε, then exit. Otherwise, set k = k + 1 and switch to Step 2.
It should be pointed out that the final outcome of first “exit” in Step 1 is that available initial values of P0, S0, R0, and M0 cannot be obtained. In this case, we set k = 0 and repeat Step 1. As long as the available values are obtained, we switch to Step 2. Then, second “exit” in Step 3 means that suitable values of Pk, Sk, Rk, and Mk are obtained.
Theorem 3. With ωx(k) interpreted as deterministic l2 signal, when swarm system (6) achieves robust H∞ consensus with parameter uncertainties and time-varying delays, the final consensus value c(k) satisfies
Proof. In the following, we consider two cases for the proof.
Case 1. (k ≤ τ(k)).
In this case, system (18) can be equivalently written as follows:
Assume that and , then from (10), we can uniquely decompose x(k) into . Considering the mentioned above, we can also conclude that if the robust H∞ consensus of system (6) is achieved, the subsystem (19) should be Schur stable, which implies that the response of system (19) due to complies with . Therefore, the final consensus value c(k) depends totally on xC(k). Since , we have , and because , then we can obtain , that is to say
Likewise, let and , then by (12), x(k) can be uniquely decomposed as . If system (6) achieves the robust H∞ consensus, the response of system (19) due to also should comply with . Since , we have , and because , then we can obtain , that is
Hence, we have
Case 2. (k > τ(k)).
In this case, we also define and . Similarly, we can have and . By (18), we can obtain
Thus, the final consensus value c(k) complies with .
The conclusion of Theorem 3 is obtained.
Remark 5. With ωx(k) interpreted as deterministic l2 signal, the final consensus value c(k) of system (6) is presented by Theorem 3. In the k ≤ τ(k) case, the final consensus value c(k) has two divisions, one is , which is associated with the system matrix A + ΔA, the neighbouring feedback matrix K, and the initial state x(0); and the other is , which is related to the external disturbance ωx(k). This implies that the external disturbance ωx(k) has an effect on the final consensus value, which is also related to the system matrix A + ΔA, the neighbouring feedback matrix K, and the initial state x(0). The result is different from that of the swarm system without external disturbances and parameter uncertainties, which is discussed in [29]. In the k > τ(k) case, we get a linear recursion formula (51) for xC(k), which is the limit of the final consensus value c(k) as k → ∞. This implies that the final consensus value c(k) is associated with the states xC(k), xC(k − τ(k)), and the external disturbance ωx(k) when k > τ(k).
4. Results and Discussion
We analyze the robust H∞ consensus among the above 8 agents with an undirected topology G as shown in Figure 1.

The simulation results are produced from Figures 2, 3–4. The state trajectories of swarm system (2) are shown. In addition, the final consensus value c(k) deduced from Theorem 3 is marked with the red asterisk.



In view of Figures 2–4, we can see easily that the state trajectories of swarm system (2) can be asymptotically convergent to the common value c(k), associated with rj(j = 1, 2, 3). From Definition 1, we can also find clearly that the robust H∞ consensus of swarm system (2) with control protocol (5) is achieved. Therefore, the effectiveness of the theoretical results is demonstrated.
5. Conclusions
Robust H∞ consensus control problems of linear high-order discrete-time swarm systems with parameter uncertainties and time-varying delays were investigated. A robust H∞ consensus control protocol was proposed while the impact of time-varying delays is involved. LMI conditions for robust H∞ consensus analysis were given, and a final consensus value was obtained from the derivation process. If swarm systems satisfy the sufficient LMI conditions, then we can ensure that swarm systems with parameter uncertainties and time-varying delays could achieve robust H∞ consensus, and the convergence result could be determined as a final consensus value. Finally, the effectiveness of the theoretical results was verified by relevant simulation examples. Further studies will focus on the impact of switching topologies and directed graphs on the consensus problem of linear discrete-time swarm systems.
Conflicts of Interest
The authors declare that there is no conflict of interest regarding the publication of this paper.
Acknowledgments
This work is supported by National Natural Science Foundation under grant #61763040 and grant #61867005. The authors would like to express my faithful gratitude to all those who helped me during the writing of this paper. We gratefully acknowledge the help of our supervisors, Mister Xiaogang Yang and Mister Jianxiang Xi, who have offered us patient instruction in the academic studies.
Open Research
Data Availability
The data used to support the findings of this study are included within the article.