Consensus of Third-Order Multiagent Systems with Time Delay in Undirected Networks

We consider consensus of a class of third-order continuous-time multiagent systems with time delay in undirected networks. By using matrix analysis and a frequency domain approach, a necessary and sufficient condition for consensus is established. A simulation result is also given to illustrate the main theoretical result.


Introduction
In recent years, more and more people are interested in multiagent systems due to their extensive applications in real world, such as cooperative control of unmanned aerial vehicle, autonomous underwater submarine, flocking, and network control in information.Among the corresponding theories for multiagent systems, consensus problem is a critical issue which has attracted interdisciplinary researchers from the fields of control, mathematics, biology, physics, computer, robot, communication and artificial intelligence, and so forth.
Most work on consensus focuses on protocols taking the form of first-order dynamics [1][2][3][4][5].Extensions of consensus protocols to second-order dynamics are reported in [6][7][8][9][10][11]. Just as is shown in [9], the convergence of secondorder consensus algorithms relies on not only information exchange topology but also the coupling strength between the information states in contrast to first-order consensus algorithms.There is also some recent work focusing on consensus protocols with both first-order and second-order dynamics [12,13].
It is well known that the dynamic equation given by second-order consensus protocols contains the derivatives of position and velocity.In practice, the dynamics of agents may involve the derivative of accelerated speed.The derivative of accelerated speed is usually called Jerk in engineering.
Jerk is a physical quantity to describe the changing rate of acceleration.A Jerk is often required in engineering, especially in transportation design and materials, and so forth.Therefore, it is necessary and significant to design a class of third-order consensus protocols by using the information of position, velocity, and accelerated speed of agents, which is the main purpose of this paper.
Recently, some people have studied some higher-order consensus protocols [14,15].In [14], the authors presented some necessary and sufficient conditions for consensus of high-order multiagent systems.Consensus of multiagent systems with linear higher-order agents was considered in [15], where the authors answered whether the group converges to consensus and what consensus value it eventually reaches.However, necessary and sufficient conditions for consensus analysis of higher-order protocols in [14,15] are given based on the distribution of eigenvalues of a complex matrix, which do not clearly illustrate the relationship among the eigenvalues of the involved Laplacian matrix, coupling strengths, and time delay when the system achieves consensus.On the other hand, higher-order consensus protocols with time delay receive less attention in the literature.Therefore, in this paper we will introduce a third-order consensus protocol with time delay and provide a convergence analysis for the given third-order consensus protocol in undirected networks.A necessary and sufficient condition for consensus is established, which clearly shows the relationship among the nonzero eigenvalues of the Laplacian matrix, coupling strengths, and time delay when the system achieves consensus asymptotically.
An outline of this paper is as follows.In Section 2, some preliminaries about graph and a class of third-order protocol are introduced.The main result of this paper is proposed in Section 3. In Section 4, a simulation result is given to illustrate the main result.Section 5 concludes the whole paper.
The following lemma is well known.
Lemma 1 (see [2]).If the undirected graph  is connected, its Laplacian  has a simple zero eigenvalue with the associated eigenvector 1  and all the other eigenvalues are positive real numbers.
2.2.Third-Order Consensus Protocol.Suppose the dynamics of each node is described by the following third-order system: where  ≥ 0,   () ∈   , V  () ∈   , and   () ∈   represent the position, velocity, and accelerated speed of node   , respectively, and   () ∈   is the control input (or protocol) to be designed.
(iii) By ( 2) and ( 10), we have By integrating it from 0 to , we get We can similarly derive the first equality of (4) as above.The proof of Lemma 3 is complete.

Main Result
In the sequel, set System (2) with protocol (3) can be rewritten into where By Lemma 3, let where A straightforward computation yields that system ( 14) is equivalent to By Lemma 1, we can denote the nonzero eigenvalues of  by  2 ,  3 , . . .,   and set 0 <  2 ≤  3 ≤ ⋅ ⋅ ⋅ ≤   .Then there exists an orthogonal matrix  such that where () is a column vector of appropriate dimension.

Theorem 4. System (2) with protocol (3) achieves consensus asymptotically if and only if
where  = 2, 3, . . ., ;  satisfies the following equation: Proof.Based on the above analysis, consensus of system ( 14) is equivalent to the asymptotic stability of system (20).On the other hand, system (20) is asymptotically stable if and only all its eigenvalues lie on the open left half plane (LHP).Thus, it only requires showing that all the eigenvalues of system (20) lie on the open LHP if and only if (21) and ( 22) hold.By using Laplace transform on both sides of (20), we have () =  −1  ()(0), where Note that By a direct calculation, we get the determinant of   (): where ) ,  = 2, 3, . . ., . (26) By ( 25), all the zeros of   () lie on the open LHP if and only if all the roots of equations are all located on the open LHP.Since ( 27) is equivalent to For the particular case when  = 0, Theorem 4 reduces to Corollary 5 in [16].

Simulation
In this section, we will give a simulation to illustrate the main result.The topology graph in the simulation is shown in Figure 1 which has four agents and 0-1 weights.
It is easy to see the corresponding Laplacian matrix If we consider  1 =  2 =  3 = 1 and  = 0.3, conditions (21) and ( 22) are satisfied.By Theorem 4, consensus of system (2) with protocol (3) is achieved asymptotically.However, when  = 0.356, conditions (21) and ( 22) are not satisfied.Therefore, system (2) with protocol (3) does not achieve consensus asymptotically.The states of position, velocity, and accelerated speed of agents with  = 0.3 and  = 0.356 are shown in Figures 2 and 3, respectively.

Conclusions
In this paper, we study the consensus problem of the third-order dynamic multiagent system with time delay in undirected graphs.A necessary and sufficient condition for consensus of the system has been established.A simulation result illustrates the effectiveness of the theoretical result.Consensus of third-order multiagent systems with time delay in directed graphs will be further studied in the future.

Corollary 5 .
(3)tem(2)with protocol(3)and  = 0 achieves consensus asymptotically if and only if the coupling strengths  1 ,  2 , and  3 and the eigenvalue  2 of the Laplacian matrix  satisfy