Abstract and Applied Analysis

Volume 2014 (2014), Article ID 974129, 7 pages

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

## Adjacent-Compensation Consensus Algorithm in Asynchronously Coupled Form for Second-Order Multiagent Network under Communication Delay

Key Laboratory of Advanced Process Control for Light Industry (Ministry of Education), Institute of Automation, Jiangnan University, Wuxi 214122, China

Received 28 October 2013; Revised 15 January 2014; Accepted 15 January 2014; Published 20 February 2014

Academic Editor: Douglas Anderson

Copyright © 2014 Cheng-Lin Liu and Fei Liu. 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

General asynchronously coupled consensus algorithm associated with adjacent compensations, is proposed to solve the dynamical consensus problem of second-order multiagent network with communication delay under leader-following coordination control framework. Based on frequency-domain analysis, firstly, delay-independent consensus convergence is proved for the second-order multiagent systems with a spanning tree topology that has the leader root and then delay-dependent consensus condition is obtained for the multiagent systems with communication delay under a general leader-following interconnection topology. Simulation illustrates the correctness of the results.

#### 1. Introduction

Coordination control of multiple autonomous dynamic agents has attracted much attention in recent years for its broad application in automated highway systems, air traffic control, congestion control in the Internet, and so on. Consensus problem, which requires the agents’ outputs to reach a common value without central or global communication, is one of the most important and fundamental collective types of behavior in distributed coordination control of multiagent systems and has been extensively studied in many research societies in recent years, such as biology, robotics, and sensor networks.

In the past decade, consensus problem has been thoroughly studied for the multiagent systems with diverse agent’s dynamics, such as single integrator, double integrator, and high-order integrators. Different consensus algorithms have been designed [1–6], and many conditions have been obtained for the agents converging to the consensus asymptotically.

Due to the information exchange between neighboring agents, communication delay should be investigated in multiagent network. Subjected to communication delays, consensus algorithms are usually divided into synchronously coupled and asynchronously coupled forms. In synchronously coupled consensus algorithm, self-delays introduced for each agent in the coordination part are equal to the corresponding communication delays. Besides, each agent uses its delayed state with the delay value different from the corresponding communication delay or uses its current state to compare it with its delayed neighboring agents’ states in the asynchronously coupled consensus algorithm.

Up to now, synchronously coupled consensus algorithm has been extensively studied for multiagent systems, and delay-dependent consensus conditions have been obtained for the system under fixed or switched interconnection topologies based on frequency-domain analysis [2, 7, 8] and Lyapunov function methods [9–15].

Moreover, asynchronously coupled consensus algorithm has been analyzed thoroughly for the first-order and second-order multiagent systems with stationary consensus algorithm by using many different analysis methods including frequency-domain analysis [16, 17], Lyapunov functions [18–20], and the concept of delayed and hierarchical graphs [21–24]. It has been proved that the agents with the stationary consensus algorithms could achieve an asymptotic consensus with arbitrary communication delay by choosing proper control parameters. However, for second-order multiagent systems with the dynamical consensus algorithm composed of the position and the velocity consensus coordination control parts, Yang et al. [25] obtained sufficient consensus conditions for the second-order dynamic agents with time-varying communication delays based on small- stability theorem, and C.-L. Liu and F. Liu [26] got sufficient and necessary consensus condition for two coupled second-order dynamic agents with identical time-invariant communication delay by using frequency-domain analysis. In addition, Münz et al. [27] investigated the multiagent systems with agents’ dynamics described by strictly stable linear systems under diverse communication delays. By analyzing the convex sets of the frequency-domain feedback matrix, set-valued consensus conditions have been obtained for the system under synchronously coupled and asynchronously coupled consensus algorithms, respectively [27].

In this paper, a new asynchronously coupled consensus algorithm associated with adjacent compensations is proposed for the second-order multiagent systems with communication delay to track a dynamic leader. The consensus algorithm is composed of the position and the velocity consensus coordination control parts, and the compensations are composed of each agent’s neighboring agents’ delayed state compensation in the normal asynchronously coupled consensus algorithm. To prove the effectiveness of the proposed algorithm, we firstly investigate the second-order multiagent systems with a spanning tree topology that has the leader as a root, and it is proved that the agents can achieve a dynamical consensus without any relationship to the communication delay. Under the general connected topology that is composed of the agents and the leader, delay-dependent sufficient condition is also obtained for the multiagent systems with communication delay.

#### 2. Problem Formulation

##### 2.1. Agent’s Dynamics and Interconnection Topology

Second-order agent’s dynamic is given by where , , and are the position, velocity, and acceleration, respectively, of the agent . As we all know, the interconnection topology of multiagent systems (1) is usually described as a digraph. Agents can be considered as the nodes of the digraph, while the information flow between neighboring agents can be regarded as a directed edge between the neighboring nodes in the digraph.

A weighted digraph of order consists of a set of vertices , a set of edges , and a weighted adjacency matrix with . The node indexes belong to a finite index set . A directed edge from to in is denoted by , which means that the node can obtain information from the node . Assume that and for all . The set of neighbors of node is denoted by . The Laplacian matrix of the digraph is defined as , where is the degree matrix. In the digraph , a directed path from node to node is a sequence of ordered edges of the form , where . A digraph is said to have a spanning tree, if there exists a node such that there is a directed path from this node to every other node.

##### 2.2. Adjacent-Compensation Consensus Algorithm

In this paper, we consider the dynamical consensus problem of the second-order agents (1). Without loss of generality, we analyze the second-order agents (1) following a dynamic leader, and the leader’s dynamic is determined by where is the position and is a constant denoting the desired velocity for all agents (1). Under the leader-following coordination control framework, the agents’ states are required to converge to the leader’s states asymptotically; that is,

We adopt the following consensus algorithm, which consists of the position and the velocity coordination control parts [4]: where , , denotes the neighbors of the agent , is the adjacency element of in the digraph , , and is defined as

With communication delay, the asynchronously coupled form of the algorithm (4) is given by where is the communication delay, while the synchronously coupled form is given by

*Remark 1. *The second-order agents (1) under synchronously coupled consensus algorithm (7) also achieve a dynamical consensus if the communication delay and the control parameters satisfy some certain conditions [8]. With asynchronously coupled consensus algorithm (6), the agents may not converge to an asymptotic consensus or the final consensus state of the dynamic agents (1) is stationary, and consensus conditions depend on the communication delay [25, 26].

So far, consensus algorithms with compensations related to delayed states of neighboring agents, desired target, and dynamical leader have been added to consensus algorithm (6) in order to remain the original control objective. Similar to the compensation-based consensus algorithms in [28], we modify the asynchronously coupled consensus algorithm (6) by introducing the delayed state compensations as follows: where and the compensations and are added to improve the system’s performance. Compared with the algorithm in [28], the algorithm (8) in this paper is more general with an adjustable value .

*Remark 2. *Obviously, the adjustable delay value in algorithm (8) can present different communication-delay robustness, and the best value can be obtained based on numerical simulations.

Besides, we take the following assumption to make the algorithm (8) reasonable.

*Assumption 3. *Each second-order agent has at least one neighboring agent.

Then, the closed-loop form of second-order dynamic agents (1) with (8) is

Defining , , , we get
Taking the Laplace transforms of system (10), we get the characteristic equation about as follows:

#### 3. Main Results

First of all, we present consensus criterion for the multiagent systems (9) with a spanning tree topology that has the leader as a root.

Theorem 4. *Assume that the interconnection topology composed of the second-order agents (9) and the dynamic leader is a spanning tree. Then, all the agents in system (9) asymptotically converge to the leader’s state with arbitrary communication delay.*

*Proof. *When the interconnection topology of agents and a leader is a spanning tree, the leader must be the root and we assume that the direct edge from agent to satisfies . Hence, the characteristic equation (11) becomes
where , , and
Hence, (12) equals
The roots of (14) have negative real parts; that is, the roots of the characteristic equation (12) lie on the open left half complex plane. Therefore, the agents in system (9) converge to the leader’s states asymptotically.

*Remark 5. *To our delight, the system (9) under a special topology can tolerate arbitrary communication delay.

In the following, we investigate the consensus problem of second-order dynamic agents under a general interconnection topology in the leader-following framework.

Theorem 6. *Assume that the agents in system (9) without communication delay converge to the leader’s states asymptotically and Assumption 3 holds. Let
**
where and , are the eigenvalues of . Then, all the agents in system (9) converge to the leader’s states asymptotically, if
**
holds for .*

*Proof. *Without communication delay, (11) becomes
and the above equation is equivalent to
Under the assumption that the agents without communication delay converge to a dynamical consensus asymptotically, the roots of (18) all lie on the open left half complex plane, and ; that is, the interconnection topology of agents and the leader has a spanning tree.

With communication delay, (11) can be rewritten as
which equals
Letting , we get . Thus, (20) can be rewritten as
The above equation is equivalent to
where is defined in (15). Obviously, , , and have no poles in the open right half complex plane.

By computing, we obtain

From condition (16),
holds for all .

Therefore, is nonsingular for ; that is, the roots of the characteristic equation (11) all lie on the open left half complex plane. Hence, the agents in the system (9) converge to the leader’s states asymptotically. Theorem 6 is proved.

#### 4. Simulation

*Example 7. *Consider a multiagent network with five second-order agents and a leader given by (9), and the interconnection topology described in Figure 1 is a spanning tree. The weights of the directed edges are , , , , and . Choose the control parameters as and . Then, the agents in the system (9) can reach a dynamical consensus asymptotically under arbitrary communication delay (see Figure 2).

It should be noted that the dynamical consensus convergence for the agents with synchronously coupled consensus algorithm under the same control parameters and interconnection topology must depend on communication delay strictly.

*Example 8. *Consider a multiagent network with five second-order agents and a leader given by (9), and the interconnection topology of the agents is described in Figure 3. Obviously, the topology satisfies Assumption 3. The weights of the directed edges are , , , , , , , , and . Choose the control parameters as , , and (s); we obtain (s) based on condition (16); that is, the agents in the system (9) can reach a dynamical consensus asymptotically if (s) (see Figure 4). By simulation, it is found that the agents’ states oscillate when (s) (see Figure 5). Moreover, we found that the largest communication delay, which the agents with synchronously coupled algorithm can tolerate, is (s).

To illustrate the function of adjustable value , we choose diverse and get an algorithm with the best delay robustness. Figure 6 shows the largest communication delay our proposed algorithm can bear under different . When (s), the largest communication delay the agents in system (9) can bear is (s), which is much larger than that the synchronously coupled algorithm can achieve.

#### 5. Conclusion

In this paper, we consider the dynamical consensus problem of the second-order multiagent systems under communication delay and adopt the leader-following consensus algorithm which is composed of the position and the velocity consensus coordination control parts. By introducing neighboring agents’ delayed state compensation into the normal asynchronously coupled consensus algorithm, the second-order agents can achieve a dynamical consensus as the synchronously coupled algorithm. Firstly, we consider second-order dynamic agents under a spanning tree topology that has the leader as the root and use frequency-domain analysis to prove the delay-independent consensus convergence. Then, we investigate the consensus seeking under the general interconnection topology in the leader-following coordination control framework. Delay-dependent consensus condition is obtained for the second-order agents converging to the leader’s states asymptotically. It should be noted that choosing proper adjustable delay introduced in our proposed algorithm can obtain different delay robustness. In a word, our proposed algorithm can tolerate much higher communication delay than synchronously coupled consensus algorithm.

#### 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 the National Natural Science Foundation of China (Grant nos. 61104092, 61134007, and 61203147) and the Priority Academic Program Development of Jiangsu Higher Education Institutions.

#### References

- 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 MathSciNet - 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 MathSciNet - 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 MathSciNet - W. Ren and E. Atkins, “Distributed multi-vehicle coordinated control via local information exchange,”
*International Journal of Robust and Nonlinear Control*, vol. 17, no. 10-11, pp. 1002–1033, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. G. Hong, L. X. Gao, D. Z. 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 MathSciNet - L. Gao, J. Zhang, and W. Chen, “Second-order consensus for multiagent systems under directed and switching topologies,”
*Mathematical Problems in Engineering*, vol. 2012, Article ID 273140, 21 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - P. Lin, Y. Jia, J. Du, and S. Yuan, “Distributed consensus control for second-order agents with fixed topology and time-delay,” in
*Proceedings of the 26th Chinese Control Conference (CCC '07)*, pp. 577–581, July 2007. View at Publisher · View at Google Scholar · View at Scopus - W. Yu, G. Chen, and M. Cao, “Some necessary and sufficient conditions for second-order consensus in multi-agent dynamical systems,”
*Automatica*, vol. 46, no. 6, pp. 1089–1095, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Scopus - H. Su and X. Wang, “Second-order consensus of multiple agents with coupling delay,” in
*Proceedings of the 7th world Congress on Intelligent Control and Automation (WCICA '08)*, pp. 7177–7180, June 2008. View at Publisher · View at Google Scholar · View at Scopus - P. Lin, Y. Jia, and L. Li, “Distributed robust ${H}_{\infty}$ consensus control in directed networks of agents with time-delay,”
*Systems & Control Letters*, vol. 57, no. 8, pp. 643–653, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. G. Sun, L. Wang, and G. Xie, “Average consensus in networks of dynamic agents with switching topologies and multiple time-varying delays,”
*Systems & Control Letters*, vol. 57, no. 2, pp. 175–183, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Qin, H. Gao, and W. X. Zheng, “Second-order consensus for multi-agent systems with switching topology and communication delay,”
*Systems & Control Letters*, vol. 60, no. 6, pp. 390–397, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Yu and L. Wang, “Group consensus in multi-agent systems with switching topologies and communication delays,”
*Systems & Control Letters*, vol. 59, no. 6, pp. 340–348, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Tang, T. Huang, J. Hu, and J.-L. Shao, “Leader-following consensus in networks of agents with nonuniform time-varying delays,”
*Mathematical Problems in Engineering*, vol. 2012, Article ID 848942, 14 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Wang and N. Elia, “Consensus over networks with dynamic channels,” in
*Proceedings of the American Control Conference (ACC '08)*, pp. 2637–2642, June 2008. View at Publisher · View at Google Scholar · View at Scopus - D. J. Lee and M. W. Spong, “Agreement with non-uniform information delays,” in
*Proceedings of the American Control Conference (ACC '06)*, pp. 756–761, June 2006. View at Scopus - L. Moreau, “Stability of continuous-time distributed consensus algorithms,” in
*Proceedings of the 43rd IEEE Conference on Decision and Control (CDC)*, pp. 3998–4003, December 2004. View at Scopus - W. Wang and J.-J. E. Slotine, “Contraction analysis of time-delayed communications and group cooperation,”
*IEEE Transactions on Automatic Control*, vol. 51, no. 4, pp. 712–717, 2006. View at Publisher · View at Google Scholar · View at MathSciNet - N. Chopra and M. K. Spong, “Passivity-based control of multi-agent systems,” in
*Advances in Robot Control: From Everyday Physics to Human-Like Movements*, pp. 107–134, Springer, New York, NY, USA, 2006. View at Google Scholar - M. Cao, A. S. Morse, and B. D. O. Anderson, “Reaching an agreement using delayed information,” in
*Proceedings of the 45th IEEE Conference on Decision and Control (CDC '06)*, pp. 3375–3380, December 2006. View at Scopus - L. Wang and F. Xiao, “A new approach to consensus problems for discrete-time multiagent systems with time-delays,” in
*Proceedings of the American Control Conference (ACC '06)*, pp. 2118–2123, June 2006. View at Scopus - P. Lin and Y. Jia, “Consensus of second-order discrete-time multi-agent systems with nonuniform time-delays and dynamically changing topologies,”
*Automatica*, vol. 45, no. 9, pp. 2154–2158, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C.-L. Liu and F. Liu, “Stationary consensus of heterogeneous multi-agent systems with bounded communication delays,”
*Automatica*, vol. 47, no. 9, pp. 2130–2133, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Yang, A. L. Bertozzi, and X. Wang, “Stability of a second order consensus algorithm with time delay,” in
*Proceedings of the 47th IEEE Conference on Decision and Control (CDC '08)*, pp. 2926–2931, December 2008. View at Publisher · View at Google Scholar · View at Scopus - C.-L. Liu and F. Liu, “Asynchronously-coupled consensus of second-order dynamic agents with communication delay,”
*International Journal of Innovative Computing, Information and Control*, vol. 6, no. 11, pp. 5035–5046, 2010. View at Google Scholar · View at Scopus - U. Münz, A. Papachristodoulou, and F. Allgöwer, “Delay robustness in consensus problems,”
*Automatica*, vol. 46, no. 8, pp. 1252–1265, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C.-L. Liu and F. Liu, “Dynamical consensus seeking of second-order multi-agent systems based on delayed state compensation,”
*Systems & Control Letters*, vol. 61, no. 12, pp. 1235–1241, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet