- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2014 (2014), Article ID 407269, 6 pages
Eigenvalue Based Approach for Global Consensus in Multiagent Systems with Nonlinear Dynamics
1School of Electrical Engineering and Automation, Henan Polytechnic University, Jiaozuo, Henan 454000, China
2School 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.
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.
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  and mobile robots , 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 , 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.  provided a theoretical explanation for the collective behavior observed in  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 . 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 . A finite-time consensus algorithm was proposed to achieve consensus by using nonsmooth gradient flows . By constructing a Lyapunov function, sufficient conditions in the form of generalized algebraic connectivity were established for reaching local and global consensus in .
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 , 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.
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 .
Hypothesis 2 (H2). Suppose that there exist a symmetric matrix and constants and such that, for all , , where .
As shown in , (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 , 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 ; 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
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 .
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.
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.
- 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.
- Y. Zhuang, Z. Wang, H. Yu, W. Wang, and S. Lauria, “A robust extended filtering approach to multi-robot cooperative localization in dynamic indoor environments,” Control Engineering Practice, vol. 21, no. 7, pp. 953–961, 2013.
- 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.
- 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.
- 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.
- L. Moreau, “Stability of multiagent systems with time-dependent communication links,” IEEE Transactions on Automatic Control, vol. 50, no. 2, pp. 169–182, 2005.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Z. Wang, D. Ding, H. Dong, and H. Shu, “ consensus control for multi-agent systems with missing measurements: the finite-horizon case,” Systems & Control Letters, vol. 62, pp. 827–836, 2013.
- 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.
- M. Arcak, “Passivity as a design tool for group coordination,” IEEE Transactions on Automatic Control, vol. 52, no. 8, pp. 1380–1390, 2007.
- 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.
- J. Cortés, “Distributed algorithms for reaching consensus on general functions,” Automatica, vol. 44, no. 3, pp. 726–737, 2008.
- 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.
- 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.
- 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.
- L. Wang and Q. -G. Wang, “Average contraction and synchronization of complex switched networks,” Journal of Physics A, vol. 45, pp. 205–210, 2012.
- 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.
- 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.
- 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.
- 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.
- 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.