- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2014 (2014), Article ID 407269, 6 pages

http://dx.doi.org/10.1155/2014/407269

## Eigenvalue Based Approach for Global Consensus in Multiagent Systems with Nonlinear Dynamics

^{1}School of Electrical Engineering and Automation, Henan Polytechnic University, Jiaozuo, Henan 454000, China^{2}School of Mathematics and Systems Science and LMIB, Beihang University, Beijing 100191, China

Received 25 March 2014; Accepted 4 May 2014; Published 14 May 2014

Academic Editor: Zidong Wang

Copyright © 2014 Wei Qian and Lei Wang. 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

This paper addresses the global consensus of nonlinear multiagent systems with asymmetrically coupled identical agents. By employing a Lyapunov function and graph theory, a sufficient condition is presented for the global exponential consensus of the multiagent system. The analytical result shows that, for a weakly connected communication graph, the algebraic connectivity of a redefined symmetric matrix associated with the directed graph is used to evaluate the global consensus of the multiagent system with nonlinear dynamics under the common linear consensus protocol. The presented condition is quite simple and easily verified, which can be effectively used to design consensus protocols of various weighted and directed communications. A numerical simulation is also given to show the effectiveness of the analytical result.

#### 1. Introduction

Cooperative collective behavior in networked systems of autonomous agents has received a great deal of attention in the past decade. This is partially due to the growing interest in understanding group behaviors in nature, such as flocking and swarming, and also due to its broad applications of multiagent systems in many areas in sensor networks [1] and mobile robots [2], to name a few. In all cases, the aim is to control a group of agents connected through a communication network. Consensus problem that enables all agents to reach an agreement on a certain value of interest is a fundamental issue of controlling multiagent systems.

With the fundamental “nearest neighbor rule,” various models have been introduced to study the consensus problem. In [3], Vicsek et al. proposed a simple model for the phase transition of a group of autonomous agents and demonstrated by simulations the headings of agents converge to a common value. Jadbabaie et al. [4] provided a theoretical explanation for the collective behavior observed in [3] by using graph theory. In particular, Olfati-Saber and Murray presented a general framework of the consensus problem for multiagent systems with fixed or switching topologies and established the relationship between the algebraic connectivity and the convergence for a balanced directed network [5]. Moreover, some more relaxable conditions were presented for consensus with switching topology [6, 7]. Thereafter, many researchers extended these earlier works and proposed different protocols for agents that process second-order and higher-order dynamics in linear multiagent systems [8–18]. Recently, the consensus problem in multiagent systems with nonlinear dynamics has been investigated [19–25]. In particular, a passivity-based design tool was introduced to reach the velocity consensus among agents in [19]. A finite-time consensus algorithm was proposed to achieve consensus by using nonsmooth gradient flows [21]. By constructing a Lyapunov function, sufficient conditions in the form of generalized algebraic connectivity were established for reaching local and global consensus in [26].

In this paper, we present a sufficient condition of global consensus for multiagent systems with nonlinear dynamics by using a Lyapunov function and some graph theory techniques. A simple linear protocol is designed to generalize the tools developed for undirected graph in order to make them applicable to directed graphs. Similar to the idea in [26], the algebraic connectivity of a redefined symmetric matrix associated with the directed graph is used to evaluate the consensus of the considered system. The obtained result is quite simple and powerful, especially for those multiagent systems containing spanning trees.

The rest of this paper is organized as follows. Section 2 presents some preliminaries. In Section 3, we derive a sufficient condition to guarantee the global consensus under the designed protocol. A numerical validation is given to show the effectiveness of the presented result in Section 4. Section 5 concludes the investigation.

#### 2. Preliminaries

Suppose that the multiagent system under consideration consists of identical agents, each of which evolves as a nonlinear behavior and is described by the equation where and denote the state and the control input of agent , respectively, is continuously differentiable, describing the intrinsic nonlinear dynamics of the isolated agent, and constant matrix is the input matrix. The consensus protocol in multiagent system (1) considered in [27, 28] is chosen as where is the overall coupling strength, is the feedback gain matrix to be determined, and the communication topology among agents is represented by digraph and described in a matrix form by the Laplacian . The Laplacian matrix of digraph is defined as follows: if there is a directed connection from agent to agent , then ; otherwise, , and the diagonal entries of matrix are defined by . It is noted that network (1) is said to be a multiagent system with asymmetrically coupled identical agents if the Laplacian matrix is not assumed to be symmetric and irreducible.

Clearly, under the diffusive condition, if a consensus is achieved, the solution of system (1) is expected to be a possible trajectory of an individual agent satisfying , where can be an equilibrium or a periodic or chaotic orbit.

Let then the multiagent system (1) with protocol (2) can be written in a block form as where the notation represents the Kronecker product. For the subsequent analysis, we decompose into , where symmetric matrix and antisymmetric matrix satisfy the zero-row-sum condition with nondiagonal entries

Throughout this paper, two important hypotheses are introduced.

*Hypothesis 1 (H1). *Suppose that the directed graph is weakly connected. That is, there exists a path between any two agents in graph if one replaces all the directed edges of graph with undirected edges.

Noting that all nondiagonal entries of matrix are nonnegative, then can be regarded as the Laplacian matrix associated with an undirected graph . Moreover, under (H1), has an eigenvalue 0 with multiplicity 1 and the eigenvector and the algebraic connectivity (the second smallest eigenvalue), denoted by , is positive [29].

*Hypothesis 2 (H2). *Suppose that there exist a symmetric matrix and constants and such that, for all , ,
where .

As shown in [30], (H2) is solvable for many coupled limit-cycle or chaotic systems, such as Hindmarsh-Rose neuron models, Lorenz systems, and coupled double-scrolls. Considering a special case that , then (6) reduces to the following linear matrix inequality: or equivalently written as

Recalling the result in [27], a necessary and sufficient condition for the existence of a to (8) is that is stabilizable. For nonlinear vector-valued function satisfying the Lipschitz condition, a feasible operation is to convert inequality (6) into some linear matrix inequalities; see (35)-(36) for details.

#### 3. Main Results

For a multiagent system of coupled identical agents, a typical approach that handles the consensus issue is to investigate the stability of errors between the dynamics of an individual agent and the average dynamics [25]; that is, or equivalently written in a block form as where is the error vector, , and is an identity matrix. Then we have the following results.

Theorem 1. *Suppose that (H1) and (H2) hold. If
**
then the multiagent system (1) achieves global exponential consensus under the designed controller (2) and , where is the algebraic connectivity of matrix , which is a zero-row-sum symmetric matrix with nondiagonal entries
*

*Proof. *Solving (H2) to obtain a symmetric matrix , then one can choose the Lyapunov function as

Differentiating along the trajectory of system (4) gives
where the term satisfies the following equality:

Renaming the sum by and vice versa yields

Substituting (6) into (16) obtains

And the term satisfies the equation
By the diffusive condition of the Laplacian matrix , we have
Also by renaming by and vice versa, one obtains

Substituting (19)-(20) into we obtain

Note that

Renaming the second sum in by and vice versa, we get
Thus,
And, for the sum , we have
Renaming the second sum in the above equation by and vice versa, we have

Then can be rewritten as
Since , then

Substituting and into the derivative of gives

Notice that is a symmetric matrix; then there exists an orthogonal matrix such that with . Therefore, the derivative of satisfies
where with , .

It is obvious that and if and only if . By LaSalle’s invariance principle, it follows that exponentially converges to zero for all as time approaches infinity. Hence, the multiagent system (4) achieves global exponential consensus under the designed protocol. The proof is thus completed.

*Remark 2. *In terms of graph, the symmetrization operation in (12) amounts to replacing the edge directed from agent to agent by an undirected edge corresponding to the coupling coefficients and node strengths of agents and . As a result, the consensus issue of a nonlinear multiagent system with a weighted directed communication graph can be evaluated by the algebraic connectivity of a symmetric matrix associated with asymmetric Laplacian matrix . From the above proof, the symmetrization operation in (12) can also deal with a time-varying Laplacian matrix.

*Remark 3. *Consider a special case of node balance; that is, . Then we have and the following result.

*Corollary 4. Suppose that (H1) and (H2) hold. If
then multiagent system (1) with node balance achieves global exponential consensus under the designed controller (2) and .*

It is noted that under (H1). Then the consensus of system (1) can be guaranteed by a sufficiently large coupling strength .

*4. An Example*

*In this section, a multiagent system consisting of five identical agents will be constructed to demonstrate the efficiency of the result proposed in the previous section. The agent dynamics can be described by
where , , and
*

*The input matrix is defined as and Laplacian matrix is chosen as
By calculation, we have . Also notice that
where and is an arbitrary positive definite matrix to be determined. Substituting (35) into (H2) gives the following linear matrix inequality:
Solving (36) gives
and by setting and . Then, according to Theorem 1, the global consensus is achieved if . The state responses are depicted in Figure 1 with .*

*5. Conclusions*

*This paper has investigated the global consensus problem of multiagent systems with asymmetrically coupled nonidentical agents. By employing a Lyapunov function, a criterion of global exponential consensus has been derived under the designed consensus protocol. The presented framework is quite simple and powerful, without assuming the symmetry or irreducibility of the Laplacian matrix, just evaluating the algebraic connectivity of a symmetric matrix derived by the Laplacian matrix. A numerical simulation is given to show the effectiveness of the analytical result.*

*Conflict of Interests*

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

*Acknowledgments*

*This work is supported by the National Natural Science Foundations of China nos. 61104119, 61004106, and 61340015, the Science and Technology Innovation Talents Project of Henan University under Grant 13HASTIT044, the Young Core Instructor Foundation from Department of Education of Henan Province under Grant 2011GGJS-054, and the Fundamental Research Funds for the Central Universities nos. YWF-13-T-RSC-023 and YWF-13-A02-17.*

*References*

- S. Kar and J. M. F. Moura, “Sensor networks with random links: topology design for distributed consensus,”
*IEEE Transactions on Signal Processing*, vol. 56, no. 7, pp. 3315–3326, 2008. View at Publisher · View at Google Scholar · View at Scopus - Y. Zhuang, Z. Wang, H. Yu, W. Wang, and S. Lauria, “A robust extended ${H}_{\infty}$ filtering approach to multi-robot cooperative localization in dynamic indoor environments,”
*Control Engineering Practice*, vol. 21, no. 7, pp. 953–961, 2013. View at Publisher · View at Google Scholar - T. Vicsek, A. Czirók, E. Ben-Jacob, I. Cohen, and O. Shochet, “Novel type of phase transition in a system of self-deriven particles,”
*Physical Review Letters*, vol. 75, pp. 1226–1229, 1995. View at Publisher · View at Google Scholar - 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. View at Publisher · View at Google Scholar · View at Scopus - R. Olfati-Saber and R. M. Murray, “Consensus problems in networks of agents with switching topology and time-delays,”
*IEEE Transactions on Automatic Control*, vol. 49, no. 9, pp. 1520–1533, 2004. View at Publisher · View at Google Scholar · View at Scopus - L. Moreau, “Stability of multiagent systems with time-dependent communication links,”
*IEEE Transactions on Automatic Control*, vol. 50, no. 2, pp. 169–182, 2005. View at Publisher · View at Google Scholar · View at Scopus - W. Ren and R. W. Beard, “Consensus seeking in multiagent systems under dynamically changing interaction topologies,”
*IEEE Transactions on Automatic Control*, vol. 50, no. 5, pp. 655–661, 2005. View at Publisher · View at Google Scholar · View at Scopus - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - Y. Hong, L. Gao, D. Cheng, and J. Hu, “Lyapunov-based approach to multiagent systems with switching jointly connected interconnection,”
*IEEE Transactions on Automatic Control*, vol. 52, no. 5, pp. 943–948, 2007. View at Publisher · View at Google Scholar · View at Scopus - P. Lin and Y. Jia, “Further results on decentralised coordination in networks of agents with second-order dynamics,”
*IET Control Theory and Applications*, vol. 3, no. 7, pp. 957–970, 2009. View at Publisher · View at Google Scholar · View at Scopus - G. Xie and L. Wang, “Consensus control for a class of networks of dynamic agents,”
*International Journal of Robust and Nonlinear Control*, vol. 17, no. 10-11, pp. 941–959, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - W. Ren, K. L. Moore, and Y. Chen, “High-order and model reference consensus algorithms in cooperative control of multivehicle systems,”
*Journal of Dynamic Systems, Measurement and Control, Transactions of the ASME*, vol. 129, no. 5, pp. 678–688, 2007. View at Publisher · View at Google Scholar · View at Scopus - Z. Ji, Z. Wang, H. Lin, and Z. Wang, “Interconnection topologies for multi-agent coordination under leader-follower framework,”
*Automatica*, vol. 45, no. 12, pp. 2857–2863, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - W. Yu, G. Chen, W. Ren, J. Kurths, and W. X. Zheng, “Distributed higher order consensus protocols in multiagent dynamical systems,”
*IEEE Transactions on Circuits and Systems I: Regular Papers*, vol. 58, no. 8, pp. 1924–1932, 2011. View at Publisher · View at Google Scholar · View at Scopus - Z. Wang, Y. Wang, and Y. Liu, “Global synchronization for discrete-time stochastic complex networks with randomly occurred nonlinearities and mixed time delays,”
*IEEE Transactions on Neural Networks*, vol. 21, no. 1, pp. 11–25, 2010. View at Publisher · View at Google Scholar · View at Scopus - W. Xiong, D. W. C. Ho, and Z. Wang, “Consensus analysis of multiagent networks via aggregated and pinning approaches,”
*IEEE Transactions on Neural Networks*, vol. 22, no. 8, pp. 1231–1240, 2011. View at Publisher · View at Google Scholar · View at Scopus - Z. Wang, D. Ding, H. Dong, and H. Shu, “${H}_{\infty}$ consensus control for multi-agent systems with missing measurements: the finite-horizon case,”
*Systems & Control Letters*, vol. 62, pp. 827–836, 2013. View at Google Scholar - Q. Wang, H. Gao, F. Alsaadi, and T. Hayat, “An overview of consensus problems in constrained multi-agent coordination,”
*Systems Science and Control Engineering*, vol. 2, no. 1, pp. 275–284, 2014. View at Google Scholar - M. Arcak, “Passivity as a design tool for group coordination,”
*IEEE Transactions on Automatic Control*, vol. 52, no. 8, pp. 1380–1390, 2007. View at Publisher · View at Google Scholar · View at Scopus - L. I. N. Zhiyun, B. Francis, and M. Maggiore, “State agreement for continuous-time coupled nonlinear systems,”
*SIAM Journal on Control and Optimization*, vol. 46, no. 1, pp. 288–307, 2007. View at Publisher · View at Google Scholar · View at Scopus - J. Cortés, “Distributed algorithms for reaching consensus on general functions,”
*Automatica*, vol. 44, no. 3, pp. 726–737, 2008. View at Publisher · View at Google Scholar - Z. Qu, J. Wang, and R. A. Hull, “Cooperative control of dynamical systems with application to autonomous vehicles,”
*IEEE Transactions on Automatic Control*, vol. 53, no. 4, pp. 894–911, 2008. View at Publisher · View at Google Scholar · View at Scopus - W. Yu, G. Chen, M. Cao, and J. Kurths, “Second-Order consensus for multiagent systems with directed topologies and nonlinear dynamics,”
*IEEE Transactions on Systems, Man, and Cybernetics B: Cybernetics*, vol. 40, no. 3, pp. 881–891, 2010. View at Publisher · View at Google Scholar · View at Scopus - G. Wen, Z. Duan, Z. Li, and G. Chen, “Consensus and its l2-gain performance of multi-agent systems with intermittent information transmissions,”
*International Journal of Control*, vol. 85, no. 4, pp. 384–396, 2012. View at Publisher · View at Google Scholar · View at Scopus - L. Wang and Q. -G. Wang, “Average contraction and synchronization of complex switched networks,”
*Journal of Physics A*, vol. 45, pp. 205–210, 2012. View at Google Scholar · View at Zentralblatt MATH - W. Yu, G. Chen, and M. Cao, “Consensus in directed networks of agents with nonlinear dynamics,”
*IEEE Transactions on Automatic Control*, vol. 56, no. 6, pp. 1436–1441, 2011. View at Publisher · View at Google Scholar · View at Scopus - 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, pp. 213–224, 2010. View at Google Scholar - J. H. Seo, H. Shim, and J. Back, “Consensus of high-order linear systems using dynamic output feedback compensator: low gain approach,”
*Automatica*, vol. 45, no. 11, pp. 2659–2664, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - C. W. Wu and L. O. Chua, “Synchronization in an array of linearly coupled dynamical systems,”
*IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications*, vol. 42, no. 8, pp. 430–447, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - V. N. Belykh, I. V. Belykh, and M. Hasler, “Connection graph stability method for synchronized coupled chaotic systems,”
*Physica D: Nonlinear Phenomena*, vol. 195, no. 1-2, pp. 159–187, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus

*
*