Research Article | Open Access
Cheng-Lin Liu, Fei Liu, "Adjacent-Compensation Consensus Algorithm in Asynchronously Coupled Form for Second-Order Multiagent Network under Communication Delay", Abstract and Applied Analysis, vol. 2014, Article ID 974129, 7 pages, 2014. https://doi.org/10.1155/2014/974129
Adjacent-Compensation Consensus Algorithm in Asynchronously Coupled Form for Second-Order Multiagent Network under Communication Delay
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.
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.  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  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.  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 .
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 : 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 . 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 , 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 , 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.
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.
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.
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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- P. Lin, Y. Jia, and L. Li, “Distributed robust consensus control in directed networks of agents with time-delay,” Systems & Control Letters, vol. 57, no. 8, pp. 643–653, 2008.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- U. Münz, A. Papachristodoulou, and F. Allgöwer, “Delay robustness in consensus problems,” Automatica, vol. 46, no. 8, pp. 1252–1265, 2010.
- 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.
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.