Volume 2019, Issue 1 7278531
Research Article
Open Access

Robust H Consensus Control for Linear Discrete-Time Swarm Systems with Parameter Uncertainties and Time-Varying Delays

Xiao Jia

Xiao Jia

Rocket Force University of Engineering, Xi’an 710025, China

Search for more papers by this author
Laihong Hu

Laihong Hu

Rocket Force University of Engineering, Xi’an 710025, China

Search for more papers by this author
Fujun Feng

Corresponding Author

Fujun Feng

Rocket Force University of Engineering, Xi’an 710025, China

Search for more papers by this author
Jun Xu

Jun Xu

Rocket Force University of Engineering, Xi’an 710025, China

Search for more papers by this author
First published: 24 July 2019
Citations: 3
Academic Editor: Paolo Gasbarri

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 [13], filtering [46], formation control [79], synchronization of power-driven machine [1012], and other areas [1316]. It should be also pointed out that some relevant novel nearest results in aerospace have been reported in [1719]. 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 [2022].

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 [2931].

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 [3234]. 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 [3539], 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 [3538], 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 [3739].

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 Hconsensus 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

In general, exchanges of information among N agents in swarm systems can be shown as a directed graph , where denotes the node set, represents the edge set, and refers to the weighted adjacency matrix with the element aij > 0 if (vj, vi) ∈ while aij = 0 if (vj, vi) ∉ . Define the node index of graph G as a finite index set = {1, 2, ⋯, N}. Let stand for the set of all neighbours of node vi, where the information flows from node vj to node vi. Let subset of the nodes in graph G be a cluster. Suppose that represents the neighbour set of a cluster NJ. It can be defined that the in-degree matrix of node vi is , and the out-degree matrix of node vi is . Note that a diagonal matrix Δ = [Δij] can be provided to describe the degree matrix of digraph G, which is defined as follows:
(1)

The definition of the Laplacian matrix in connection with digraph G can be shown in matrix form as .

2.2. Problem Description

Consider a linear swarm system composed of N homogeneous agents marked as 1, 2, ⋯, N, in which the ith agent’s dynamics can be expressed as a state update equation
(2)
where indicates the state vector; and , respectively, represent the input matrix and the external disturbance; , , , and are the given constant matrices; is the control output; ΔA and ΔB stand for uncertainties in the system matrix and input channel, respectively, such that
(3)
where D denotes a positive constant matrix and F refers to an unknown matrix function which meets constraints as follows:
(4)

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.

To achieve consensus for linear swarm system (2), the following control protocols are adopted:
(5)
where 0 ≤ τ(k) ≤ τmax, K is a constant gain matrix with appropriate dimensions, and τ(k) ∈ denotes time-varying delays of swarm systems. Then, to show the consensus analysis and design for swarm system (2), the definition is presented as follows:

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) − 1Nc(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:

(6)
where BΔBK = (B + ΔB)K and ϕ(k) is an initial value at k.

The suboptimal robust H consensus control problem of system (6) is stated to find a distributed protocol (5) such that
  • (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.

Assume that λi(i = 1, 2, ⋯, N) denotes eigenvalues of matrix of an undirected graph G. Moreover, λ1 = 0, which satisfies λ1λ2≤⋯≤λN, is related to its corresponding eigenvector . Thus, an orthogonal matrix can be found in the form
(7)
such that UTLU = diag{λ1, λ2, ⋯, λN}.

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 γ:

(8)
where and .

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

(9)
such that UTLU = diag{λ1, λ2, ⋯, λN} = Λ. Assume that
(10)

Then, system (6) can be rewritten in terms of as

(11)

Furthermore, reformulate the disturbance variable ωx(k) and the performance variable z(k) via

(12)
(13)

Subsequently, substituting (12) and (13) into (11) gives

(14)

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

(15)
which implies that
(16)

Therefore, the proof of Theorem 1 is completed.

In addition, it is worth mentioning that, let
(17)
By Lemma 1, we can convert system (14) into N subsystems as follows:
(18)
(19)

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:

(20)

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

(21)
where
(22)

Proof. For purpose of consensus analysis, we construct a Lyapunov function as follows:

(23)
where
(24)
for .

Then, we can define the derivative of V(k) as

(25)

From the solution of (8), ΔV1(k) can be rewritten as follows:

(26)

ΔV2(k) can be reformulated as

(27)

ΔV3(k) can be rewritten as

(28)

ΔV4(k) can be reformulated as

(29)

ΔV5(k) can be rewritten as

(30)

Furthermore, the term can be shown that

(31)

At the same time, according to Lemma 2, the following inequality holds:

(32)

Let . Then, it follows from (8) and (25)–(32) that

(33)
if system (8) is asymptotically stable. This implies that the robust consensus of swarm system (2) with H-norm consensus performance bound γ can be achieved globally asymptotically by the use of control protocol (5) if matrix inequality (21) holds.

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:

(34)
for all F subject to FTFI, if and only if there exists a scalar ε > 0 such that
(35)

Lemma 5 (Schur complement [44]). The linear matrix inequality

(36)
where Q(x) = Q(x)T, R(x) = R(x)T, and S(x) are dependent on x, is the identical meaning as anyone of the following two descriptions:
  • (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:

(37)
subject to
(38)
(39)
(40)
where AiBK = AΔiiBK and . It can also be said if the minimization problem (37)–(40) has an available settlement P, S, R, M, Q1, Q2, and K, the robust consensus of swarm system (2) with H-norm consensus performance bound γ can be achieved globally asymptotically by the use of control protocol (5).

Proof. Inequality (21) can be expressed as

(41)

According to Lemma 5, one can obtain that inequality (41) can be rewritten as follows:

(42)

By replacing ΔA = DFE1 and ΔB = DFE2, inequality (42) is equivalently written as follows:

(43)

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

(44)

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 Hconsensus.

    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 mintr(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

(45)
where xC(k) can be the following form:
(46)
for .

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:

(47)

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

(48)

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

(49)

Hence, we have

(50)

Case 2. (k > τ(k)).

In this case, we also define and . Similarly, we can have and . By (18), we can obtain

(51)

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

In this section, we firstly use a simulation example to validate the effectiveness of the theoretical results, and then apply the control protocol (5) to achieve state consensus for a swarm system which consists of 8 agents. The dynamics of these agents are represented by (2), and relevant system matrices is given as follows:
(52)
where r1, r2, and r3 are uncertain parameters satisfying −1 ≤ r1 ≤ 1, −1 ≤ r2 ≤ 1, and −1 ≤ r3 ≤ 1, respectively. Then, swarm system (2) can be reformulated as
(53)

We analyze the robust H consensus among the above 8 agents with an undirected topology G as shown in Figure 1.

Details are in the caption following the image
Communication topology G.
Assume that the initial state of each agent is randomly given as x1(0) = [1, 5,−2]T, x2(0) = [2, 4, 3]T, x3(0) = [1, 1, 2]T, x4(0) = [3, 2, 1]T, x5(0) = [5, 6,−2]T, x6(0) = [−3, 3, 4]T, x7(0) = [−2,−4,−3]T, and x8(0) = [−5,−2,−1]T and set r1 = 0.15, r2 = 0.25, r3 = 0.15, and τmax = 2. The dynamics of each agent is combined with protocol (5). Let γ = 2 and suppose that the exogenous disturbance inputs are selected as ωi,x(k) = 0.1ie−0.5ksin(k). By Theorem 2, we can get that
(54)

The simulation results are produced from Figures 2, 34. 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.

Details are in the caption following the image
State 1 trajectories of swarm system (2).
Details are in the caption following the image
State 2 trajectories of swarm system (2).
Details are in the caption following the image
State 3 trajectories of swarm system (2).

In view of Figures 24, 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.

    Data Availability

    The data used to support the findings of this study are included within the article.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.