Abstract and Applied Analysis

Volume 2012 (2012), Article ID 274735, 11 pages

doi:10.1155/2012/274735

Research Article

Cluster Consensus on Discrete-Time Multi-Agent Networks

Li Xiao,1,2 Xiaofeng Liao,¹ and Huiwei Wang¹

¹State Key Laboratory of Power Transmission Equipment & System Security and New Technology, College of Computer Science, Chongqing University, Chongqing 400044, China

²Department of Mathematics and Information Engineering, Chongqing University of Education, Chongqing 400067, China

Received 6 August 2012; Accepted 24 September 2012

Academic Editor: Chuandong Li

Copyright © 2012 Li Xiao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Nowadays, multi-agent networks are ubiquitous in the real world. Over the last decade, consensus has received an increasing attention from various disciplines. This paper investigates cluster consensus for discrete-time multi-agent networks. By utilizing a special coupling matrix and the Kronecker product, a criterion based on linear matrix inequality (LMI) is obtained. It is shown that the addressed discrete-time multi-agent networks achieve cluster consensus if a certain LMI is feasible. Finally, an example is given to demonstrate the effectiveness of the proposed criterion.

1. Introduction

In recent years, the consensus problem of coordinating the motion of multi-agent networks has attracted great attention. Research on multi-agent consensus not only helps in better understanding the general mechanisms and interconnection rules of natural collective phenomena, but also benefits broad applications of multi-agent systems in many areas including cooperative control of unmanned air vehicles [1], formation control [2], flocking [3], and attitude alignment of clusters of satellites [4].

Consensus, along with stability [5] and bifurcation [6], is fundamental phenomenon in nature [7]. Consensus problem can refer to how to make the states of multi-agent networks reach an agreement on a common value regarding a certain quantity of interest, especially by negotiating with their neighbors. To realize consensus, many effective approaches were proposed [8–10]. Since the network can be regarded as a graph, the issues can be depicted by the graph theory. The recent approaches concentrate on matrix analysis [11], convex analysis [12], and graph theory [13]. Especially the concept of spanning tree is widely used to describe the communicability between agents in networks that can guarantee the consensus [14, 15]. For more consensus problem, the reader may refer to [16] and the references therein.

Cluster synchronization, as a particular synchronization, is firstly explored by In Belykh and his colleagues for the coupled chaotic oscillators [17], in which the synchronization occurs in each group but there is no synchronization among the different groups. Now, cluster synchronization has become one of the hottest topics of discussion partly due to that it is considered to be more momentous than other synchronization types in broad areas including brain science and engineering, social science, and distributed computation. Some papers concerning the cluster synchronization have been published [18–21]. In [19], cluster synchronization of linearly coupled complex networks has been investigated under an adaptive strategy, whereas the similar topic has been addressed in [20] by employing a pinning controller. For more studies concerning cluster synchronization, please see [21] and the references therein.

Of note is that nonlinear oscillators are commonly introduced in complex networks and their synchronization problems are carefully studied [22]. Motivated by that and utilizing the cluster synchronization phenomenon in complex networks, this paper aims to further investigate the cluster consensus of multi-agent networks. Roughly speaking, similar to the cluster synchronization, the cluster consensus means that a multi-agent network consists of multiple clusters where the consensus can be achieved in each cluster, but there is no consensus among the different clusters. To the authors’ knowledge, cluster consensus is a more general concept compared to that traditional consensus and it is also a fundamental phenomenon in the real world, such as the cluster formation of personal opinions, the pattern formation of bacteria colonies, and the emergence of subgroups in a flock of birds or a school of fish [23].

For the truth that the discretization process of a continuous-time network cannot preserve the dynamics of the continuous-time part even for small sampling periods [24], and moreover, a discrete-time network is in a better position to model digitally transmitted signals in a dynamical way than its continuous-time analog, so in this paper, we aim to investigate the cluster consensus problem for discrete-time multi-agent networks using the tools from algebraic graph theory, matrix theory, and Lyapunov control approach. A cluster consensus criteria-based linear matrix inequality is obtained. And by expanding the cluster consensus criteria, we obtain the global consensus criteria of the multi-agent networks.

The remainder of the paper is organized as follows. In Section 2, some necessary preliminaries and the model formulation are given. Cluster consensus of multi-agent networks with nonsymmetric coupling matrix is discussed in Section 3. In Section 4, numerical simulations are also given to validate the proposed cluster consensus criteria. Finally, some concluding remarks are stated in Section 5.

2. Preliminaries and Model Formulation

Suppose that the multi-agent networks under consideration consist of agents, which update their states based on local information exchange. To study the consensus problem for directed coupled nonlinear networks, we consider the following consensus protocol for discrete-time multi-agent network, which was also proposed in [25]:

where denotes the state of agent . and are vector-valued functions, which represent the dynamics of the agents. is the connection weight matrix, where . denotes the inner coupling configuration matrix satisfying

In the following, we present the following assumptions and definitions.

Assumption 2.1. For the nonlinear vector-valued functions and , the following conditions hold:

(1) and are continuous,(2),, , ,

where , , , and are constant matrices.

Assumption 2.2. The coupling matrix satisfying

where , , , have the same row vectors. For example, , where is a vector.

Definition 2.3. The set , , is called a global consensus manifold.

Definition 2.4. The set ,  ,   = ,   is called cluster consensus manifold.

Definition 2.5. A multi-agent network consisting of agents is said to achieve cluster consensus if, for the , nodes are divided into several different clusters, such as ,   ,  , each node synchronizes with one another in the same cluster, which means any two different agents and satisfying the condition .

Definition 2.6 (see [7]). Let denote a ring, and   {the set of matrices with entries such that the sum of the entries in each row is equal to for some }.

Lemma 2.7 (see [7]). Let be an matrix in the set . When the matrix satisfies , where , and

in which 1 is the multiplicative identity of . For , the matrix can be rewritten explicitly as follows:

Lemma 2.8 (see [18]). Under Assumption 2.2, the matrix satisfies , where and

Lemma 2.9 (see [18]). if and only if .

3. Main Results

This section focused on the cluster consensus analysis of network (2.1). Before deducing our main results, we first denote the following notations for convenience:

With the Kronecker product, the multi-agent network (2.1) can be rewritten in the compact form as

For the model (3.2), we have the following conclusions.

Theorem 3.1. Suppose Assumptions 2.1 and 2.2 hold, the cluster consensus manifold of the multi-agent network (3.2) is globally attractive if there exit a positive definite matrix and two positive scalars and such that the following LMI holds:

Proof. By Assumption 2.1, We can get that

Now, we construct the following Lyapunov function candidate for the multi-agent networks (3.2):

Calculating the difference of along the solution of (3.2), we have

By the structure of and Lemma 2.8, the following equalities are easy to versify:

Based on the above, one obtains

Consequently, for the two positive scalars and , combining (3.4a), (3.4b) and (3.6)-(3.8) give

where .

Noticing (3.3) and (3.9), one has . And, if , then . Consequently, we have , which implies that is a bounded function. Thus, . The proof is completed.

Theorem 3.1 shows a condition based on the certain linear matrix inequality for the multi-agent networks cluster consensus. From the above analysis, for = 1, one can deduce multi-agent networks global consensus criterion-based LMI as follows.

Theorem 3.2. Suppose Assumptions 2.1 and 2.2 hold, the global consensus manifold of the multi-agent network (3.2) is globally attractive if there exit a positive definite matrix and a positive scalar so that the following LMI holds:

Proof. The proof is similar to that of Theorem 3.1 and thus omitted here. Thus, the proof is completed.

4. Numerical Example

In this section, we present an example to validate the theoretical results on the cluster consensus problems for discrete-time multi-agent networks in Section 3.

For simplicity, consider the network (3.2) of six nodes. Let ,

Denote the nonlinear vector-valued function

Then, by simple calculations, we obtain

By using the MATLAB LMI Tool Box, (3.2) can be solved with the following feasible solutions:

Therefore, according to Theorem 3.1 and Definition 2.5, multi-agent networks (3.2) with given parameters reach the cluster consensus, and the agents in different clusters achieve different consensus states. In Figure 1, the time responses of the state variables and can be easily in the network. For further validation, we denote the error functions as follows:

(a)

(b)

Figure 1: Cluster consensus of the state variables and in the discrete-time multi-agent network (2.1).

From the above error functions, we can easily obtain the consensus error of each cluster and the consensus error of the whole multi-agent network, where the consensus error of the whole multi-agent network is illustrated in Figure 2. Moreover, from Figure 1, the discrete-time multi-agent network (2.1) is divided into three cluster consensus manifolds, which can further verify the effectiveness of Theorem 3.1 and expand the useful range. Note that Figures 1 and 2 shows that the whole network does not reach global consensus, but each of the three clusters reaches consensus in its own group.

Figure 2: Consensus error of the state variables in the discrete-time multi-agent network (2.1).

If we take the coupling matrix as

the other functions and parameters are unaltered. According to Theorem 3.2, multi-agent networks (3.2) with given parameters can reach the global consensus, which has been shown in Figure 3, and the consensus error of the whole multi-agent network is illustrated in Figure 4. From there, the global consensus of the state variables and can be easily seen in the network. By using the MATLAB LMI Tool Box, (3.2) can be solved; however, they are omitted due to the space limitation.

(a)

(b)

Figure 3: Global consensus of the state variables and in the discrete-time multi-agent network (2.1).

Figure 4: Consensus error of the state variables in the discrete-time multi-agent network (2.1).

5. Conclusion

This paper has further investigated the cluster consensus of discrete-time multi-agent networks with nonsymmetric coupling matrix. A cluster consensus criterion with the certain LMI form is obtained by using the tools from the Lyapunov control approach, special coupling matrix, and the Kronecker product. Moreover, by expanding the cluster consensus criteria, we have the global consensus criteria of the multi-agent networks. Finally, the numerical simulations are also given to validate the proposed criteria. In our future work, we will further explore the theoretical analysis of the cluster consensus on discrete-time multi-agent networks with switched topology. Moreover, the method in this paper can be extended to aid the consensus problem of multi-agent networks with the intrinsic nonlinear dynamics of the agents incorporating the effects of time-delay, impulse and so on.

Acknowledgments

This work was supported in part by the National Natural Science Foundation of China under Grant 60973114 and Grant 61170249, in part by the Natural Science Foundation project of CQCSTC under Grant 2009BA2024, in part by the State Key Laboratory of Power Transmission Equipment & System Security and New Technology, Chongqing University, under Grant 2007DA10512711206, and in part by the Program for Changjiang Scholars.

References

B. D. O. Anderson, B. Fidan, C. Yu, and D. Walle, “UAV formation control: theory and application,” Lecture Notes in Control and Information Sciences, vol. 371, no. 3, pp. 15–33, 2008.

J. A. Fax and R. M. Murray, “Information flow and cooperative control of vehicle formations,” IEEE Transactions on Automatic Control, vol. 49, no. 9, pp. 1465–1476, 2004.

A. Jadbabaie, J. Lin, and A. S. Morse, “Coordination of groups of mobile autonomous agents using nearest neighbor rules,” IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 988–1001, 2003.

J. R. Lawton and R. W. Beard, “Synchronized multiple spacecraft rotations,” Automatica, vol. 38, no. 8, pp. 1359–1364, 2002.

C. Li, C. Li, X. Liao, and T. Huang, “Impulsive effects on stability of high-order BAM neural networks with time delays,” Neurocomputing, vol. 74, no. 10, pp. 1541–1550, 2011.

X. He, C. Li, and Y. Shu, “Bogdanov-Takens bifurcation in a single inertial neuron model with delay,” Neurocomputing, vol. 89, no. 7, pp. 193–201, 2012.

C. W. Wu and L. O. Chua, “Synchronization in an array of linearly coupled dynamical systems,” IEEE Transactions on Circuits and Systems, vol. 42, no. 8, pp. 430–447, 1995.

J. Hu and Y. Hong, “Leader-following coordination of multi-agent systems with coupling time delays,” Physica A, vol. 374, no. 2, pp. 853–863, 2007.

W. Yu, G. Chen, Z. Wang, and W. Yang, “Distributed consensus filtering in sensor networks,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 39, no. 6, pp. 1568–1577, 2009.

A. K. Das, R. Fierro, V. Kumar, J. P. Ostrowski, J. Spletzer, and C. J. Taylor, “A vision-based formation control framework,” IEEE Transactions on Robotics and Automation, vol. 18, no. 5, pp. 813–825, 2002.

Y. Chen, J. Lü, F. Han, and X. Yu, “On the cluster consensus of discrete-time multi-agent systems,” Systems & Control Letters, vol. 60, no. 7, pp. 517–523, 2011.

L. Moreau, “Stability of multiagent systems with time-dependent communication links,” IEEE Transactions on Automatic Control, vol. 50, no. 2, pp. 169–182, 2005.

M. Cao, A. S. Morse, and B. D. O. Anderson, “Reaching a consensus in a dynamically changing environment: a graphical approach,” SIAM Journal on Control and Optimization, vol. 47, no. 2, pp. 575–600, 2008.

W. Lu, F. M. Atay, and J. Jost, “Consensus and synchronization in discrete-time networks of multi-agents with stochastically switching topologies and time delays,” Networks and Heterogeneous Media, vol. 6, no. 2, pp. 329–349, 2011.

B. Liu, W. Lu, and T. Chen, “Consensus in networks of multiagents with switching topologies modeled as adapted stochastic processes,” SIAM Journal on Control and Optimization, vol. 49, no. 1, pp. 227–253, 2011.

W. Ren and R. W. Beard, Distributed Consensus in Multi-Vehicle Cooperative Control: Theory and Applications, Springer, 2008.

V. N. Belykh, I. V. Belykh, and E. Mosekilde, “Cluster synchronization modes in an ensemble of coupled chaotic oscillators,” Physical Review E, vol. 63, no. 3, Article ID 036216, 2001.

J. Cao and L. Li, “Cluster synchronization in an array of hybrid coupled neural networks with delay,” Neural Networks, vol. 22, no. 4, pp. 335–342, 2009.

X. B. Lu and B. Z. Qin, “Adaptive cluster synchronization in complex dynamical networks,” Physics Letters A, vol. 373, no. 40, pp. 3650–3658, 2009.

W. Wu, W. Zhou, and T. Chen, “Cluster synchronization of linearly coupled complex networks under pinning control,” IEEE Transactions on Circuits and Systems, vol. 56, no. 4, pp. 829–839, 2009.

W. Lu, B. Liu, and T. Chen, “Cluster synchronization in networks of coupled nonidentical dynamical systems,” Chaos, vol. 20, no. 1, p. 013120, 12, 2010.

Z. Li, Z. Duan, G. Chen, and L. Huang, “Consensus of multiagent systems and synchronization of complex networks: a unified viewpoint,” IEEE Transactions on Circuits and Systems, vol. 57, no. 1, pp. 213–224, 2010.

Y. Chen, J. Lu, F. Han, and X. Yu, “Cluster consensus of discrete-time multi-agent systems with fixed topology,” in Proceeding of the 8th Asian Control Conference (ASCC '11), pp. 794–799, Kaohsiung, Taiwan, 2011.

Q. Song, J. Liang, and Z. Wang, “Passivity analysis of discrete-time stochastic neural networks with time-varying delays,” Neurocomputing, vol. 72, no. 7–9, pp. 1782–1788, 2009.

X. Liu, T. Chen, and W. Lu, “Consensus problem in directed networks of multi-agents via nonlinear protocols,” Physics Letters A, vol. 373, no. 35, pp. 3122–3127, 2009.