Consensus Analysis of Second-Order Multiagent Systems with General Topology and Time Delay
This paper addresses the consensus of second-order multiagent systems with general topology and time delay based on the nearest neighbor rule. By using the Laplace transform technique, it is proved that the second-order multi-agent system in the presence of time-delay can reach consensus if the network topology contains a globally reachable node and time delay is bounded. The bound of time-delay only depends on eigenvalues of the Laplacian matrix of the system. The main contribution of this paper is that the accurate state of the consensus center and the upper bound of the communication delay to make the agents reach consensus are given. Some numerical simulations are given to illustrate the theoretical results.
The wide applications of multiagent systems abounded in nature and engineering area have stimulated a great deal of interests in studying cooperative and coordinated control problems. The mechanisms operational principles of multi-agent systems can provide useful ideas for developing distributed cooperative control, formation control, unmanned air vehicles, and sensing networks, and so forth. Recently, the study of collective dynamics and coordination of multi-agent systems becomes a hot topic and has attracted many researchers from mathematics, physics, biology, sociology, control science, computer science, artificial intelligence, and so forth [1–25].
However, study of some fundamental issues concerning the coordinated control of multi-agent systems, such as consensus, stability, synchronization, and controllability analysis. As in its usual sense, consensus means multiple agents can reach an agreement on a common value by regulating their neighbors. The consensus problem was firstly studied by DeGroot , who proposed a weighted average method to estimate probability distribution function of unknown variables. Vicsek and Czirok  established a discrete model of the multi-agents system called “Vicsek Model.” Jadbabaie et al.  developed “Vicsek Model,” which had been linearized by graph theory and matrix theory. Usually, a multi-agent system is interconnected through neighbor rules and hence has a local and time-varying communication topology. In , Olfati-Saber and Murray discussed linear systems with time-delays.
Many papers on consensus problems of first-order multi-agent system were presented (see, e.g., [1–4, 10, 11, 20, 21] and the references therein). In , the first-order multi-agent systems were firstly studied by the Laplace transform technique and it was proved that the system could reach consensus under certain conditions. In , the average consensus problem was investigated in multi-agent systems with undirected network topology and multiple time-varying communication delays by the linear matrix inequality (LMI) method. Liu et al.  considered the consensus of multi-agent systems with an active leader. The second-order multi-agent systems were studied in [6, 7, 12, 13, 16–19, 22]. Yu et al.  discussed the second-order system with time-delays. They obtained the necessary and sufficient condition and gave upper bound of time-delays. In , Ren considered a consensus algorithm for second-order dynamics systems with Cartesian coordinate coupling in three-dimensional space. In , the authors discussed the consensus of continuous second-order multi-agent system in a sampled data set. Lin and Jia  investigated the consensus of a class of second-order multi-agent systems with time-delays and jointly connected topologies.
In the view of , the Laplace transform has many advantages in solving consensus problems, such as simplifying the model of first-order systems and obtaining the accurate state of the consensus center. Therefore, we will study the consensus of the second-order multi-agent system with time-delay and general topology by the Laplace transform in this paper. We will prove the consensus can be achieved when network topology contains a globally reachable node, and the time-delays must be less than a critical value which depends on the eigenvalues of the Laplacian matrix. Furthermore, the accurate state of the consensus center of the second-order multi-agent system and the upper bound of the communication delay to make the agents reach consensus are obtained.
The rest of this paper is organized as follows. In Section 2, we present the mathematical model of the second-order multi-agent system with time-delay and formulate it by matrix form. In Section 3, the detailed theoretical analysis for the model is given and the main results are derived. Then some numerical simulations are given to verify the theoretical results in Section 4. Finally, the conclusion is given in Section 5.
Consider the second-order multi-agent system with time-delay and general topology is described by where and are position and velocity of agent , respectively, and ; is the neighbor set of agent ; () with each and is the interaction (or coupling) matrix; is the time-delay.
Let and be the stack vector of all the agent states and velocities; it follows that where the matrix is the Laplacian and has the following properties: the off-diagonal elements are all negative or zero, and the row sums are all equal to zero. And we can formulate the model with time-delay in the following form:
For the Laplacian matrix , we can have the following lemmas.
Lemma 1 (see ). Laplacian matrix has at least one zero eigenvalue with as its eigenvector, and all nonzero eigenvalues have positive real parts. Laplacian matrix has a simple zero eigenvalue if and only if has a globally reachable node.
Lemma 2 (see ). For Laplacian matrix , the algebraic complements of the elements in the same row are equal.
Lemma 3 (see ). For a column vector denoted as , if a column of Laplacian matrix is replaced by , the new matrix is denoted as , and if another column of is replaced by , the new matrix is denoted as , then .
3. Main Results
In this section, we will analyze the consensus of second-order multi-agent systems with general topology and time-delay based on the nearest neighbor rule. For this, we use the Laplace transform technique into (3), then we can have where and are initial values.
For simplicity and without loss of generality, we will discuss the case and throughout this paper.
Theorem 4. For second-order multi-agent system (1), if there exists at least one globally reachable node in the network topology, and the time-delay satisfies then system (1) can reach consensus, and as , where and is the nonzero eigenvalue of the Laplacian matrix .
Proof. Denoting , then (4) can be rewritten as
According to Cramer’s rule, we can have
for , where is the determinant of matrix , and is the determinant of matrix in which the th column has been replaced by . For convenience, we denote and . By Lemma 1, the Laplacian matrix only has a zero eigenvalue, and the real parts of nonzero eigenvalues are positive, denoted as follows:
where are the multiple eigenvalues with multiplicity as , then
Applying Heaviside’s method, then
In order to make converge, the real parts of the following equation’s roots
must be negative. Denoting , , and , as well as using Euler’s formula, then
where and . Then we can have
Form (18) and (20), we can obtain
Considering the case , we can obtain the upper bound of time-delay
To obtain the minimum critical value , we take , then
Then we can obtain the real parts of roots of are negative as .
Similarly, for , we can also get the upper bound of time-delay ; that is, for the real parts of roots are negative. So When then the roots of equations and are negative real parts.
By the inverse Laplace transform, we can obtain as .
Since , as According to Lemma 3, we can know that Thus, that is, as , This completes the proof.
Notice that if the network topology is undirected with a globally reachable node and the adjacency matrix is symmetric, then the eigenvalues of the Laplacian matrix are real, so that .
Remark 5. Compared with the eigenvalue analysis in the time and frequency domain, such as the , using Cramer rule and Heavisides method, we can have obtained the accurate state of the consensus center and the upper bound of the communication delay to make the agents reach consensus.
Corollary 6. For second-order multi-agent system (1), if there exists at least one globally reachable node in the undirected and symmetric network topology, and the time-delay satisfies then system (1) can reach consensus.
3.1. Further Extension
Consider the second-order multi-agent system with time-delay and general topology is described by where is the feedback gain.
By the same way, the similar results are easy to obtain by the Laplace transform.
Theorem 7. For second-order multi-agent system (35), if there exists at least one globally reachable node in the network topology, and the time-delay satisfies then system (35) can reach consensus, and as ,
Corollary 8. For second-order multi-agent system (35), if there exists at least one globally reachable node in the undirected and symmetric network topology, and the time-delay satisfies then system (35) can reach consensus.
4. Numerical Simulations
In this section, we present some numerical simulations to illustrate the consensus of second-order multi-agent systems with time delay. These simulations are given with ten agents, whose initial positions are zero and velocities are given randomly. The network topologies contain at least one globally reachable node in these simulations. Figure 1 describes positions and velocities of ten agents in system (1) with the general topology. From Figure 1, it can be seen that the positions and velocities of all agents can reach consensus as .
In Figure 3, the consensus can be achieved in system (35) with the general topology as . As we can see from Figures 1–3, the consensus of systems can be achieved when the time-delay is an appropriate value. The positions of all agent converge on a fixed value and velocities reach .
Figure 4 presents that the positions of all agents with the general topology can reach consensus as , while the positions diverge as . From Figure 4, it can be seen that the system can reach consensus under a certain condition. According to the numerical simulations, we can obtain that the topology of network topology, time-delay, and feedback gain all affect consensus of multi-agent system in the simulations.
In this paper, we have introduced the Laplace transform to investigate the consensus of second-order multi-agent system with time-delay in general topology. We have proved that the system can achieve consensus when the network topology contains a globally reachable node as well as when time-delay is less than a critical value which only depends on eigenvalues of the Laplacian matrix of network topology.
The authors would like to thank the associate editor and the anonymous reviewer for their valuable comments and suggestions, which significantly contributed to improving the quality of the paper. This work was supported by the National Natural Science Foundation of China under Grants nos. 60774089, 10972003, and 61203150, the Beijing Natural Science Foundation Program (1102016, 4122019), Science and Technology Development Plan Project of Beijing Education Commission (no. KM201310009011); and the Funding Project for Academic Human Resources Development in Institutions of Higher Learning under the Jurisdiction of Beijing Municipality (PHR201108055). This work was also supported by the Foundation Grant of Guangxi Key Laboratory of Automobile Components and Vehicle Technology (13-A-03-01), the Opening Project of Guangxi Key Laboratory of Automobile Components and Vehicle Technology (2012KFZD03).
W. Yu, G. Chen, and M. Cao, “On second-order consensus in multi-agent dynamical systems with directed topologies and time delays,” in Proceedings of the 48th IEEE Conference on Decision and Control held jointly with the 28th Chinese Control Conference (CDC/CCC '09), pp. 3709–3714, December 2009.View at: Publisher Site | Google Scholar
T. Vicsek and A. Czirok, “Novel type of phase transitions in a system of self-driven,” Physical Review Letters, vol. 75, pp. 1226–1229, 1995.View at: Google Scholar
M. H. DeGroot, “Reach a consensus,” Journal of American Statistical Association, vol. 69, no. 345, pp. 118–121, 1974.View at: Google Scholar
W. Yu, 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.View at: Google Scholar
W. Ren, “On consensus algorithms for double-integrator dynamics,” in Proceedings of the 46th IEEE Conference on Decision and Control, pp. 2295–2300, 2007.View at: Google Scholar
W. Ren and E. Atkins, “Second-order consensus protocols in multiple vehicle systems with local interactions,” in Proceedings of the AIAA Guidance, Navigation, and Control Conference, pp. 3689–3701, August 2005.View at: Google Scholar
Y. Cao, W. Yu, W. Ren, and G. Chen, “An overview of recent progress in the study of distributed multi-agent coordination,” IEEE Transactions on Industrial Informatics, vol. 9, no. 1, pp. 427–438, 2013.View at: Google Scholar