Abstract
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.
1. 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–5]. Extensions of consensus protocols to second-order dynamics are reported in [6–11]. Just as is shown in [9], the convergence of second-order 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.
Notations. The following notations will be used throughout this paper. denotes Euclidean norm. is the imaginary unit. denotes the Kronecker product. and denote the real space of -dimensional column vectors and -dimensional matrices, respectively. is an -dimensional identity (zero) matrix and denotes the -dimensional column vector with entries .
2. Preliminaries
2.1. Graph Theory
Let be an -order weighted undirected graph with set of nodes , set of edges , and weighted adjacent matrix . An edge of is denoted by In the undirected graph, The adjacency matrix is defined as and for and , where A path is a sequence of edges of the form , where If there is a path for arbitrary two nodes in the graph, we call that the graph is connected.
The Laplacian matrix of the graph is defined as , where Obviously, the Laplacian matrix is a positive semidefinite matrix and satisfies , for and for
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 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 , , , and represent the position, velocity, and accelerated speed of node , respectively, and is the control input (or protocol) to be designed.
In this paper we consider the following third-order protocol:where , , , and are appropriate coupling strengths.
Definition 2. Say system (2) with protocol (3) achieves consensus asymptotically, if , , and for any and any initial condition , where is a continuous function defined on .
We first have the following lemma for system (2) with protocol (3).
Lemma 3. If system (2) with protocol (3) achieves consensus asymptotically, one has
Proof. (i) Since the graph is undirected, by (2) and (3), we have Integrating it on both sides from to , we haveDenote . Thus, (5) will be rewritten into the following form: Namely,Note that the system achieves consensus; we have for . Therefore, we get from (7) that (ii) By (2) and (5), we have Integrating the above equality from to yieldsSimilar to the discussion in (i), we can easily get the second equality of (4).
(iii) By (2) and (10), we have By integrating it from to , we get We can similarly derive the first equality of (4) as above. The proof of Lemma 3 is complete.
3. Main Result
In the sequel, set System (2) with protocol (3) can be rewritten intowhere
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 and set . Then there exists an orthogonal matrix such that where is a column vector of appropriate dimension. Premultiplying both sides of (18) by , we havewhere
Theorem 4. System (2) with protocol (3) achieves consensus asymptotically if and only ifwhere ; 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 , where Note that By a direct calculation, we get the determinant of :where By (25), all the zeros of lie on the open LHP if and only if all the roots of equationsare all located on the open LHP. Since (27) is equivalent tofor , all the roots of (27) lie on the open LHP if and only if all the roots of (28) are located on the open LHP. By the Nyquist stability criterion, all the roots of (28) lie on the open LHP if and only if the Nyquist curvedoes not enclose the point , where is an imaginary number unit and . Using Euler’s formula for (29), we have Hence, all the Nyquist curves (29) do not enclose the point if and only if (21) holds, where is the solution of equation Namely, (22) holds. The proof of Theorem 4 is complete.
For the particular case when , Theorem 4 reduces to Corollary 5 in [16].
Corollary 5. System (2) with protocol (3) and achieves consensus asymptotically if and only if the coupling strengths , , and and the eigenvalue of the Laplacian matrix satisfy
4. 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 and , conditions (21) and (22) are satisfied. By Theorem 4, consensus of system (2) with protocol (3) is achieved asymptotically. However, when , 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 and are shown in Figures 2 and 3, respectively.
5. 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.
Competing Interests
The authors declare that they have no competing interests.
Acknowledgments
This work was supported by the Natural Science Foundation of Shandong Province under Grant no. JQ201119 and the National Natural Science Foundation of China under Grant nos. 61174217, 61374074, and 61473133.