Abstract

Considering the limited communications conditions such as delays, disturbances, and topologies uncertainties, the stability criteria for robust consensus of multiagent systems are proposed in this paper. Firstly, by using the idea of state decomposition and space transformation, the condition for guaranteeing consensus is converted into verifying the robust stability of the disagreement system. In order to deal with multiple time-varying delays and switching topologies, jointly quadratic common Lyapunov-Krasovskii (JQCLK) functional is built to analyze the robust stability. Then, the numerical criterion can be obtained through solving the corresponding feasible nonlinear matrix inequality (NLMI); at last, nonlinear minimization is used like solving cone complementarity problem. Therefore, the linear matrix inequality (LMI) criterion is obtained, which can be solved by mathematical toolbox conveniently. In order to relax the conservativeness, free-weighting matrices (FWM) method is employed. Further, the conclusion is extended to the case of strongly connected topologies. Numerical examples and simulation results are given to demonstrate the effectiveness and the benefit on reducing conservativeness of the proposed criteria.

1. Introduction

Recently, the consensus problem has become an interesting and important topic in the field of formation control, flocking, rendezvous in multiagent systems, fusion estimation, collaborative decision making, and coupled oscillator synchronization.

In some practical applications, communication delays and switching topologies should be considered because of agents moving, communication congestion, or finite transmission distance. The earliest work focused on the conditions for guaranteeing that the agents achieve average consensus with time-delays and switching topologies, for example, frequency domain [13], time domain [48], delay graph [9, 10], and max-min value [11, 12]. These existing methodologies contributed to the average consensus problem with limited networks enormously.

Furthermore, there is also some work focusing on the networks with disturbances, and topologies uncertainties, namely, robust consensus. The stability with noises in the multiagent systems has been discussed in [1315]. The consensus problem of high-order agent systems is discussed in [16]. The robustness of consensus in single integrator multiagent systems to coupling delays and switching topologies is investigated [17, 18]. Actually, more researchers are interested in solving the robust consensus problem with both delays and disturbances; see, for example, [3] in frequency domain and [1923] in time domain. Though the analysis methodologies in frequency domain can provide sufficient and necessary conditions for consensus seeking, it is difficult to find the common or multiple Lyapunov functions in the case of switching interconnections [3]. It is only valid for fixed topology in most cases. As a result, the analysis methodologies in time domain through building Lyapunov functional become the preferred one. However, it is still sufficient conditions to achieve consensus.

This paper focuses on the improvement of conservativeness through building Lyapunov-Krasovskii functional. In order to obtain the lower conservativeness, free-weighting matrices (FWM) method [2426] is adopted. This idea has been proved when solving the average consensus problem [8]. Meanwhile, this method can also relax the restrictions to the communication conditions and find the numerical criterion. Therefore, it can be employed to deal with the robust consensus with complicated network restrictions, including multiple time-varying communication delays, disturbances with limit energy, and time-varying topologies uncertainties.

The remainder of this paper is organized as follows. Section 2 contains the background and some preliminaries. Section 3 describes the problem. Main result is given in Section 4. Numerical example and simulation results are illustrated in Section 5. At last, Section 6 gives the conclusion.

Throughout this paper, the notation represents the symmetric part in a symmetric matrix; consider denotes that the matrix is positive definite (positive semidefinite, negative, negative semidefinite); or denotes zero value or zero matrix with appropriate dimensions. denotes the Kronecker product.

2. Background and Preliminaries

2.1. Graph Theory

Let denote the relationship between multiple agents with the set of nodes , the set of edges , and adjacent matrix . The node indices belong to a finite index set . The edge can be depicted by , and the value of corresponds to the edge of the graph; that is, . The neighbors of node are defined by . Let denote the Laplacian matrix corresponding to the topology of the graph, where and , . Let represent the state value of node with dimensions (such as position or temperature, etc.), and the multiagent systems with the state vector and the topology can be described by (usually denote by compactness). We say nodes and agree in multiagent systems if and only if . The nodes achieve consensus if and only if for all , . Whenever the nodes are all in agreement, the common value of all nodes is called the group decision value [1].

2.2. Several Definitions and Lemmas

Before giving the main results, we introduce some definitions and lemmas which play an important role in the proof of our main theoretical results.

Definition 1 (balanced graphs [1]). One says the node of a digraph is balanced if and only if its in-degree and out-degree equal, that is, . A graph is called balanced if and only if all of nodes are balanced or , .

Definition 2 (strongly connected [1]). If there is a directed path from every node to every other node, the graph is said to be strongly connected (connected for undirected graph).

Definition 3 (jointly connected [27]). By the union of a collection of simple graphs , each, with nodes set , is meant the simple graph with nodes set and edges equaling the union of the edge sets of all of the graphs in the collection. One says that such a collection is jointly connected if the union of its members is a strongly connected graph (connected for undirected graph).

Lemma 4 (see [28]). For given symmetric matrix with the form , , , and , then if and only if , or , .

Lemma 5 (see [29]). There exists a symmetrical matrix such that the following two inequalities hold: if and only if

Lemma 6 (see [30]). Given matrices with proper dimensions, then holds for all satisfying if and only if there exists constant number such that holds.

3. Problem Description

3.1. Agent Dynamics and Consensus Protocol

We assume that the agents are depicted by a first-order integrator dynamics, as considered in [1, 19]. This results in a tractable mathematical problem, although some ideas can be extended to high-order or linear models. Suppose that agent can be described by where is the state of agent , is the consensus protocol and is the external disturbance. Moreover, , , .

For the purpose of reaching robust consensus, the consensus protocol is adopted as follows: where denotes the uncertainties of the communication topologies. In practical terms, it may be influenced by communication congestion or the transmission distance. Parameter is the positive constant coefficient and are the time-varying communication delays.

3.2. Switching Interconnections

Consider an infinite sequence of nonempty, bounded, and contiguous time-intervals , , with and for some constant . Suppose that in each interval there is a sequence of non-overlapping subintervals , where and satisfy for some integer and given constant such that, during each of such subintervals, the interconnection topology does not change.

Let denote the switching signal with successive times to describe the topology switches between subintervals; then the collective dynamics of the multiagent network with communication delays and disturbances (including uncertainties and disturbances) can be depicted in matrix form where is state vector, is disturbance vector, and is output vector. The efficient matrix of output vector in (5) is defined as follows:

3.3. Definition of Robust Consensus

Multiagent systems (5) achieve robust consensus if and only if here, .

Suppose that and the polytopic-type uncertainties matrices for any satisfy where and are constant matrices with appropriate dimensions and is unknown, real, and possibly time-varying matrix with Lebesgue measurable terms satisfying .

4. Main Results

In this section, we will give the delay-dependent NLMI criteria for robust consensus seeking of multiagent system including jointly connected switching topologies and strongly connected topologies. Then, nonlinear minimization is employed to deal with the NLMI criterion like solving cone complementarity problem. Lastly, the iterative LMI algorithm is given, which the max tolerant upper bounds can be obtained by Matlab LMI toolbox directly.

Before giving the main results of convergence property, we have the following assumptions:(A1)the switching topologies of multiagent systems are jointly connected;(A2)the switching topologies of multiagent systems are strongly connected;(A3)its corresponding graph is balanced;(A4)for all jointly connected topologies determined by switching signal , the sum of the in-degree or out-degree of all nodes is equals to each other.

Considering the jointly connected topologies, (A1), (A3), and (A4) are the precondition of multiagent systems achieve consensus and (A2), (A3), and (A4) are the precondition for strongly connected case.

4.1. Delay-Dependent NLMI Criterion

Theorem 7. Consider the multiagent systems with communication delays, disturbances and topologies uncertainties under the assumption that the switching topologies determined by all switching signals satisfying (A1), (A3), and (A4). Given the upper bound on communication delays and the upper bound on their derivative , , if there exist common matrices , , , with proper dimensions and common free-weighting matrices , , constant number such that holds.
Where then the protocol (4) globally asymptotically solves the robust consensus of multiagent systems (5) satisfying the specified index .

Proof. See the Appendix.

The above conclusion derived from Theorem 7 is also valid for the strongly connected topologies case. We omit the detailed proof procedure because it is similar to that in Theorem 7.

Corollary 8. Consider the multiagent systems with communication delays, disturbances, and topologies uncertainties under the assumption that the switching topologies determined by all switching signals satisfying (A2)~(A4). Given the upper bound on communication delays and the upper bound on their derivative , if there exist common matrices , , , with proper dimensions and common free-weighting matrices , , constant number such that , holds; then the protocol (4) globally asymptotically solves the robust consensus of multiagent systems (5) satisfying the specified index .

Remark 9. The definition of in Corollary 8 is similar to that in Theorem 7.

Remark 10. If the feasibility of the NLMI exists, then the derivative of the Lyapunov-Krasovskii functional is negative definite. Therefore, the systems have robust stability. In addition, the bound condition of communication can be obtained using mathematical package. Since the existence of the term , the allowable solution of NLMI cannot be obtained by LMI toolbox directly.

4.2. Nonlinear Minimization

Defining new matrices with proper dimension and replacing in , denote as , we have

Consequently, According to Lemma 4, As a result, if and only if , and holds.

The above problem can be solved as the cone complementarity problem (CCP) in [31]: Here, sign “Tr” denotes the trace of matrix.

Next, the iterative LMI algorithm is proposed to solve the problem (13). Therefore, Theorem 7 and Corollary 8 can be solved directly by the existing LMI-based methods or mathematical software package.

4.3. Iterative LMI Algorithm

There are delays between multiagent systems. For simplicity, suppose that multiple delays satisfy .

Algorithm 11 (maximum of the upper bound on network delay with specified index ). Step  1. Set the initial value of such that .
Step  2. Find the feasible solution of four matrices variables in (13), namely, . Let the iterative number .
Step  3. Solve the following minimum problem about matrices variables satisfying the restriction in (13): Let , , and .
Step  4. Justify or not. If yes, increase and return to Step 2; otherwise, check up the iterative time. If it exceeds the specified number, terminate the algorithm; otherwise, let and return to Step 3.

Remark 12. As the literature [31] pointed, it is difficult to get the global solution of the nonlinear minimum problem (13). In order to get suboptimal maximum upper bound on delay, the inequality is adopted in the iterative algorithm.

Remark 13. Similarly, the above iterative algorithm also can be used to get the maximum upper bound on delay derived from Corollary 8. Moreover, the minimum of the index with specified the upper bound the minimum of the index , with specified the delay, can be obtained by the iterative algorithm.

5. Example and Discussions

5.1. Illustrative Example

We now offer an illustrative example to show the effectiveness of the proposed method. Consider the jointly connected and balanced topologies with two communication delays; see Figure 1. For simplicity, suppose that their adjacency matrices are limited to 0 and 1 matrices. In the following, two cases with different connectivities are discussed, respectively.

Assume that the time-varying communication delays satisfy and let

For given index , the allowable upper bound on communication delay can be obtained by Theorem 7 and Algorithm 11. In Table 1, four-factor three-level orthogonal experiment results are given by using Matlab LMI toolbox.

Remark 14. The major factor affecting is the positive constant coefficient . Then the second one is . However, their derivatives   seem not to affect the results unduly; so we can increase or reduce to get bigger . This also describing the relationship between each factor and the upper bound on communication delay.

Remark 15. Since the delay derivative has little effect on the communication delay, we can obtain the delay-dependent/derivative-independent criterion through excluding the second item in . Plenty of experiments show that their numerical results are basically the same.

Remark 16. The allowable upper bound on communication delays for Case II is bigger than Case I. That is because Case II has higher connection property, which is measured by the second smallest eigenvalue of the Laplacian matrix for jointly connected topologies.

Remark 17. The proposed criteria for robust consensus seeking can be employed to maximize for different , and and with specified ; on the other hand, they also can be used to minimize for given , and .

5.2. Simulations Results

In order to demonstrate the effectiveness of our results and the conclusion aforementioned, several simulations are given in the following.

Let denote the unknown, real, and time-varying matrix satisfying

Select the impulse disturbance like [19, 20]

For Case I, the switching signal is when , and when ; similarly, the switching signal is when ; and when for Case II. Here,  s.

With the above conditions, the sixth group in Table 1 is selected. Further, we select the delay  s for Case I and delay  s for Case II. Corresponding simulation experiments are given in Figures 2(a) and 2(b) for different cases. It is clear from Figure 2 that multiagent systems achieving robust consensus with multiple delays, impulse disturbances, and time-varying topologies uncertainties. The simulation results further confirm the effectiveness of the proposed theory.

In Figures 3 and 4, the state evolvement of multiagent systems with different and is given, respectively. Comparing Figure 3 with Figure 2(a), we can find out that the vibration of multiagent systems achieving consensus is acute and getting worse when increasing gradually. Particularly, multiagent systems even cannot achieve robust consensus from Figure 3(c). In addition, the similar conclusion can be obtained when decreasing ; see Figures 2(b) and 4. These simulation results show the correctness of Remark 14.

5.3. Conservativeness Comparisons

In order to show the benefit of our results, we will compare the conservativeness of criteria with the existing results for strongly connected case [19]. Assume that there is a uniform communication delay in multiagent systems (, and ), and the topology can be seen in Figure 5.

Table 2 lists the allowable upper bounds on communication delay for different when . The comparison result shows that the criterion derived from this paper is better than [19]. Moreover, the upper bound on the time-varying delay can be achieved with the proposed method, while the result in [19] is only valid for invariant delay. The major reason is the FWM approach which does not magnify the derivative of Lyapunov-krasovskii functional excessively.

6. Conclusions

The numerical criteria for robust consensus of multiagent systems were provided in this paper. It can be used to justify the convergence property of multiagent systems with multiple time-varying communication delays, disturbances with limit energy, and time-varying topologies uncertainties. Mainly, the following contributions were concluded in this paper.(1)The stability criteria can be obtained to determine the robust consensus through justifying the existence of common Lyapunov-Krasovskii functional.(2)The existence of common Lyapunov-Krasovskii functional is equivalent to solving feasible solution of NLMI. In order to assure lower conservativeness than the existing one [19], FWM method was employed to justify whether the derivative of the functional is negative definite.(3)Nonlinear minimization methods were used to convert the NLMI criteria into the problem which can be solved easily by the existing LMI-based approaches.(4)Moreover, the proposed conclusions also characterized the relationship among communication delays, their derivative, and the coefficient of the consensus protocol for any given index. It can be regarded as an important basis to depress the influence of limited communication conditions effectively.

Appendix

Proof of Theorem 7

By applying the idea of state decomposition and space transformation, the condition of multiagent systems achieving robust consensus is equivalent to the stability of the system (A.1); the detailed procedure can be seen in [8].

Consider where denotes the disagreement systems according to state decomposition idea. If disagreement variable when , this means that state variable converges to the average value of its initial value. The new variable can be obtained by space transformation method; its definition can be depicted as follows: where is the rank of . Matrix is composed of the eigenvectors of the Laplacian matrix of complete graph. Moreover, is the former columns of the aforementioned matrix . Then we have

If multiagent systems achieve robust consensus for specified index , two conditions should be satisfied:(C1), systems (A.1) are asymptotically stable under the condition .(C2) for all nonzero and specified , where .

In the following, the detailed process will be given to prove the stability of the system (A.1).

Proof. Considering all jointly connected topologies determined by , define the following common jointly quadratic Lyapunov-Krasovskii (CJQLK) functional: where , , and , are common matrices with appropriate dimensions.
Given free-weighting matrices and any matrices with proper dimensions by Newton-Leibniz formula, we have where .
Calculating the derivative of ,
Denote and and equals to the left terms of (A.7) and (A.8), respectively. Substituting with the expression in (A.1) and adding and yield
The proof procedure of (C1), that is, the stability of system (A.1) under nonzero condition and specified index .
Rearrange the inequality (A.10) when .
Consider where If and hold, then . Calculating the integral over with initial value , we have or compactly .
Substitute in with (8). Considering , we have the following equivalent relationship according to Lemmas 4 and 5: where
Moreover, inequality (A.14) is reformulated as follows Here,
According to Lemma 6, we have
If , then the condition (A.13) holds. This means that the multiagent systems are stable with nonzero and a given . The proof procedure of (C2), that is, the stability of system (A.1) under the condition .
Rearrange (A.10) when .
Consider where and ,  ,  ,  , and ,   are defined in (A.8), (A.11), and (A.16).
Similarly, if and holds, we get where
It is clear that (A.20) can be derived from . That means, if holds, multiagent systems are stable under the condition . Therefore, we can conclude that systems (A.1) are robust stable satisfying specified index . As a result, the multiagent systems asymptotically achieve robust consensus. The proof of Theorem 7 is complete.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by NSFC (61203355) and STDP (20130522108JH) funded by China government.