Abstract

The leader-follower consensus problem of second-order multiagent systems with both absent velocity measurement and time delay is considered. First of all, the consensus protocol is designed by introducing an auxiliary system to compensate for the unavailability of the velocity information. Then, time delay is incorporated into the consensus protocol and two cases with, respectively, constant time delay and time-varying delay are investigated. For the case of constant time delay, Lyapunov-Razumikhin theorem is deployed to obtain the sufficient conditions that guarantee the stability of the consensus algorithm. For the case of time-varying delay, the sufficient conditions are also derived by resorting to the Lyapunov-Razumkhin theorem and linear matrix inequalities (LMIs). Various numerical simulations demonstrate the correctness of the theoretical results.

1. Introduction

Consensus, which aims to make a group of agents reach an agreement on a common value by means of local interactions with each other, has been recognized as a fundamental issue in the cooperative control of multiple mobile autonomous systems [1, 2]. Over the past decades, the consensus problem of multiagent systems has gained considerable attention from diverse disciplines such as biology, computer science, and control engineering [35]. Some achievements have been successfully applied to the distributed sensing of mobile sensor networks, formation keeping of unmanned aerial vehicles, target tracking of swarm robotics, and so forth [68].

Among the present literatures on consensus problem, the leader-follower consensus is the most extensively investigated due to its potential applications in many fields, such as the coordinated path tracking of unmanned aerial vehicles (UAVs) [9], the cooperative patrolling of unmanned ground vehicles (UGVs) [10], or the platoon control of intelligent and connected vehicles (ICVs) [11], where followers are required to follow the leader’s behavior to fulfill some scheduled tasks. In [12], a consensus based flocking algorithm is proposed with a virtual reference leader. In [13], the leader-follower consensus of Lipschitz nonlinear multiagent systems is investigated under fixed directed communication networks. For the consensus of leader-follower multiagent systems with uncertainties, an adaptive backstepping sliding mode control algorithm is proposed in [14]. In [15], a distributed extended state observer approach is developed to deal with the unknown external disturbance for the leader-follower consensus of multiagent systems.

However, the existing consensus protocols are basically designed only when the full state of neighboring agents is available; i.e., both the position and the velocity information are required in the consensus of, in particular, second-order multiagent systems. As a matter of fact, the relative velocity measurement between agents is usually more difficult or even impossible to obtain than the relative position measurement in some practical applications [16]. Hence, it is more significant and meaningful to consider the consensus problem without velocity measurement. In [2], the consensus problem for double-integrator multiagent systems without relative velocity measurement is investigated based on a passivity approach. As an extension of [2], the flocking control of multiagent systems without velocity measurement is studied in [17]. In [18], the consensus of heterogeneous multiagent systems without velocity measurement is addressed. In addition, the rotating consensus of multiagent systems in the absence of relative velocity measurement is also studied in [19].

On the other hand, communication delay, which is usually called time delay [20], is another important concern in the consensus of multiagent systems because the local interaction relying on the communication networks will inherently induce time delay due to the limited channel bandwidth or communication congestions [21]. By using the root locus method in frequency domain, the second-order consensus problem of multiagent systems with time delay is investigated in [22]. For the leader-follower consensus with time-varying coupling delays, the sufficient conditions are obtained by the algebraic graph theory and Lyapunov-Razumkhin theorem [23]. In terms of the inequality technique, the consensus of multi-agent systems with non-uniform multiple time-varying delays under both fixed and switching topologies is studied in [24]. In [25], a descriptor model transformation approach is proposed to derive the delay dependent sufficient conditions for the existence of the consensus protocol according to the linear matrix inequalities (LMIs).

Unfortunately, the existing works usually treat the above two issues in separated ways. Literatures that both consider the absent velocity measurement and time delay in the consensus of second-order multiagent systems seem very few. Motivated by this fact, the leader-follower consensus of second-order multiagent systems with both absent velocity measurement and time delay is investigated in this paper. An auxiliary system is firstly designed to compensate for the unavailability of the velocity information and a consensus protocol with absent velocity measurement is proposed. Then, time delay is introduced into the consensus protocol and two cases with, respectively, constant time delay and time-varying delay are discussed. By deploying the Lyapunov-Razumkhin theorem and Lyapunov-Krasovskii theorem, respectively, the sufficient conditions for the stability of the consensus protocol with constant time delay and time-varying delay are derived. Numerical simulations demonstrate the correctness of the theoretical results.

The rest of this paper is organized as follows. In Section 2, some mathematical preliminaries are provided. In Section 3, the leader-follower consensus problem of second-order multiagent systems with absent velocity measurement and time delay is formulated and a consensus protocol is designed. In Section 4, some theoretical results on the leader-follower consensus of multiagent systems with absent velocity measurement and time delay are derived. Section 5 gives the numerical simulations to illustrate the correctness of the theoretical results and the concluding remarks are offered in Section 6.

2. Mathematical Preliminaries

In this section, some mathematical backgrounds, including graph theory, matrix theory, and time delay systems are introduced for the theoretical analysis of this paper.

2.1. Graph Theory

In a multiagent system, if each agent is regarded as a node, then its topological structure can be simply described by a graph. Here, graph is a directed graph of order with a set of nodes , a set of edges , and an adjacency matrix , where is the nonnegative adjacency elements of ,   if and , otherwise. The set of neighbors of node is denoted by .

If there exists a path from node to , we say that node is reachable from . A diagraph is strongly connected if any two distinct nodes are reachable from each other. Specifically, graph is called an undirected graph if . For an undirected graph, its adjacency matrix is symmetric (i.e., ) and the corresponding Laplacian matrix is defined as , where is the in-degree matrix of graph with being the in-degree of node . The Laplacian matrix is symmetric and positive semidefinite with minimum eigenvalue 0 and the corresponding eigenvector is , i.e., .

2.2. Matrix Theory

Lemma 1. Given vectors and with appropriate dimensions, if there exists a symmetric positive definite matrix of appropriate dimension, then the following inequality can be obtained:

Lemma 2 (Schur complement [26]). If the symmetric matrix can be partitioned aswhere ,  , and  ., then, the following conditions are equivalent:(1);(2) and ;(3) and .

2.3. Time Delay Systems

Consider the following system:where for and . Let be a Banach space of continuous functions defined on an interval , taking values in with the topology of uniform convergence, and with a norm . Then, the following results for the stability of system (3) can be obtained.

Lemma 3 (Lyapunov-Razumikhin theorem [27]). Let ,  , and be continuous, nonnegative, and nondecreasing functions with ,  ,   for and . For system (3), the function is supposed to take bounded sets of in bounded sets of .(1)If there exists a continuous function with and such that (2)if there exists a continuous nondecreasing function with such that

then the solution is uniformly asymptotically stable.

Usually, is called Lyapunov-Razumikhin function if it satisfies both (4) and (5) in Lemma 3.

Remark 4. It can be seen in Lemma 3 that one only needs to consider the initial data if a trajectory of (3) starting from these initial data is “diverging” rather than to require that be nonpositive for all initial data in order to have the stability of system (3).

Consider the following differential equation with time delay:where is a state vector. In addition, denotes a transfer operator of state trajectory for and is defined as for . Functional is continuous for and satisfies .

Lemma 5 (Lyapunov-Krasovskii theorem [27]). Supposing that the mapping is continuous and nondecreasing (. For ,  ,  ; for ,  ), the stability of system (6) can be proved if it satisfies the following:(1) is continuous and differentiable;(2);(3).

In addition, the solution is uniformly asymptotically stable for ,  , and globally uniformly asymptotically stable for .

3. Problem Formulation

3.1. Problem Statement

Considering a multiagent system with one leader and followers, the dynamics of the followers are governed bywhere are the position and velocity of agent and is the acceleration vector and is taken as the control input.

The dynamics of the leader is expressed aswhere is the desired constant velocity.

For multiagent system (7), each agent is supposed to be mounted with GPS equipment to get its position information and wireless communication device to transmit its position to other agents. Then, the following definition is given.

Definition 6. The leader-follower consensus of second-order multiagent systems is solved, if for any initial conditions, the following hold:

Form (9) it can be seen that the consensus is reached if the position and velocity of followers both converge to that of the leader. However, the velocity information is unmeasurable in some practical occasions and one needs to fulfill the consensus of multiagent systems based on position information only. In addition, the position information transmission between agents may be delayed due to the limited channel bandwidth or communication congestions.

Therefore, the main objective of this paper is to synthesis the distributed consensus protocol for second-order multiagent systems such that when the velocity information is unavailable and there exist time delays during the position information transmission between agents, the consensus of all agents will asymptotically be achieved.

3.2. Consensus Protocol Design

For the consensus of second-order multiagent systems without velocity measurement, the distributed consensus protocol can be formulated aswhere is the control gain and represents whether agent directly communicates with the leader; i.e., if agent can obtain the position information of the leader, we say ; otherwise, . In addition, is a specially designed auxiliary system compensating for the unavailable velocity information, which is expressed aswhere are the control gains.

If time delay is considered in the position information transmission between agents, the consensus protocol can then be written aswhere denotes the time delay.

Let and   be the position and velocity errors of agent with respect to the leader. Then, (12) is rewritten as

For simplicity, we denote

Then, the error dynamics of multiagent system (7) can be presented aswhere is a matrix and is the Laplacian matrix.

Remark 7. From (15) we can see that, by introducing an auxiliary system into the consensus protocol (10), the original second-order multiagent system (7) is transformed into a third-order-alike multiagent system. In the following, we will give a detailed theoretical analysis on the stability of consensus protocol (15).

4. Main Results

In this section, two time delay cases, including constant time delay and time-varying delay, are considered in the consensus of second-order multiagent systems with absent velocity measurement. Some theoretical results are derived for the stability of the proposed consensus algorithm (15) in the presence of time delay.

4.1. Consensus of Second-Order Multiagent Systems with Absent Velocity Measurement and Constant Time Delay

For the case of constant time delay, is assumed to be a constant value, i.e., . Then, (15) can be written in the following state space formwhere .

Let ; we havewhere

Then, the following theorem for the stability of second-order multiagent systems with absent velocity measurement and constant time delay is obtained.

Theorem 8. Consider the multiagent system (16) with constant time delay , if satisfieswhere is a positive definite symmetric matrix and and are defined by and , respectively.

Then, the consensus of multiagent system (16) is asymptotically achieved.

Proof. Choose the following Lyapunov-Razumikhin function:where is a positive definite matrix.
Taking the derivative of yieldsAccording to the Leibniz-Newton formula and (17), the following holds:ThusThen, (17) can be rewritten asInvoking (24), the time derivative of is thatIn addition, the following inequalities hold according to Lemma 1:Therefore, (25) can be expressed asLet and . According to Lemma 3, we havewhenNote that (29) satisfies the following inequality according to mean value theorems for definite integrals:Finally, invoking (28) and (31), follows thatThus, we knowthat is, ,  , which means that the position and velocity of followers will asymptotically converge to that of the leader and thus the consensus is achieved.

Remark 9. Note that the above assumption that the time delay in the position information transmission between agents is a constant value may not be reasonable in some practical applications, as the time delay caused by unreliable communication networks may be time-varying and even a stochastic value [28]. Therefore, the consensus of second-order multiagent systems with absent velocity measurement and time-varying delay will be investigated in the following contents.

4.2. Consensus of Second-Order Multiagent Systems with Absent Velocity Measurement and Time-Varying Delay

For the case of time-varying delay, varies over time. Assume that is a continuously differentiable function satisfying and , for all . Similarly, (15) can be written in the following state space form:where .

Let ; we havewhere

Then, the following theorem for the stability of second-order multiagent systems with absent velocity measurement and time-varying delay is introduced.

Theorem 10. Consider the multiagent system (34) with time-varying delay , if there exist symmetric positive definite matrices , , and of appropriate dimensions satisfying the following inequality:where ,  ,  , and  .

Then, the consensus of second-order multiagent system (34) with time-varying delay is asymptotically achieved.

Proof. Define the following Lyapunov-Krasovskii functional:Taking the time derivative of yieldsLetting , we haveAccording to inequality (37) and Lemma 2, it follows thatHence, . According to Lyapunov theory, it can be concluded that the multiagent system (34) is asymptotically stable, that isi.e., and  , which demonstrates that the position and velocity of followers will asymptotically converge to that of the leader and thus the consensus is achieved even in the presence of time-varying delay.

5. Simulation Study

In this section, numerical simulations are carried out to verify the effectiveness of the proposed consensus algorithm with absent velocity measurement and time delay. Specifically, we choose one leader and four followers in the simulation.

The topological structure of multiagent system is illustrated in Figure 1, where only agent 1 and agent 2 are directly connected to the leader (labelled as agent 0). Then, we have

In the following, the consensus of second-order multiagent systems with constant time delay and time-varying delay is, respectively, performed to verify the correctness of the theoretical results.

5.1. Simulation Example 1: Constant Time Delay Case

In the constant time delay case, let ,  , and  . According to Theorem 8, the maximum upper bound of time delay follows if . The initial states of followers are m and m/s. The initial states of the leader are m and m/s, and the position of the leader updates according to (8). In addition, the feasible solution for the positive definite matrix can be solved by resorting to the LMI Toolbox in Matlab.

Based on the above simulation settings, we let . Under the consensus protocol (16), the simulation results are depicted in Figure 2.

From Figure 2, we can see that the proposed consensus protocol is able to achieve the consensus of second-order multiagent systems with absent velocity measurement and constant time delay. Under the consensus protocol (16) and the derived sufficient stability conditions (19) for constant time delay, the position errors of agents will asymptotically converge to zero. Meanwhile, their velocities will converge to that of the leader (), even though the neighbor’s velocity is unknown to the followers.

5.2. Simulation Example 2: Time-Varying Delay Case

In the time-varying delay case, let ,  ,  , and . Hence, and . The initial states of followers are m and m/s. The initial states of the leader are m and m/s, and the position of the leader updates with (8). According to Theorem 10, the feasible solutions for the positive definite matrix can also be obtained by solving LMIs.

Based on the above simulation settings, we let . Under the consensus protocol (34), the simulation results are depicted in Figure 3.

It can be seen from Figure 3 that the positions of followers will asymptotically converge to that of the leader and all the position errors approach zero within a finite time. In addition, the velocities of followers will be the same as the leader as time goes by. Therefore, the proposed algorithm (34) and the sufficient stability conditions (37) can achieve the consensus of second-order multiagent systems with absent velocity measurement and time-varying delay.

5.3. Comparative Analysis

In order to illustrate the superiority of the proposed consensus algorithm (12), a comparative simulation is carried out between Theorem 8 and [23]. In [23], the velocity information is assumed to be absent and other parameters are the same as that of Simulation Example 1. Under the consensus algorithm of Ref [23], the simulation results are shown in Figure 4.

The position curves of agents in Figure 4(a) suggest that the followers are not able to track the position of the leader. In addition, the velocities of agents, depicted in Figure 4(b), fluctuate intensively and cannot converge to the desired value. Therefore, compared with the consensus algorithm (16) proposed in this paper, the control law in [23] cannot realize the consensus when there is no velocity information measurement in the coordinated control of second-order multiagent systems.

The main reason lies in that the position information can only guarantee the position consensus of multiagent systems, whereas the velocity consensus cannot be ensured. By using the auxiliary system (11) proposed in this paper, the unavailable velocity information can be estimated and hence the velocity consensus can be achieved.

5.4. Further Discussion

In the above simulations, the underlying topology among followers is assumed to be undirected, which easily obtains a symmetric Laplacian matrix and hence facilitates the subsequent theoretical analysis. However, the communication network between agents may be directed as in some cases agents can only receive information from others but not be able to send information to them. Therefore, it is of more significance to investigate the consensus problem of multiagent systems under directed topology.

In [29], the consensus of multiagent systems in directed networks with nonuniform time-varying delays is investigated with a tree-type transformation method. In [30], the second-order consensus problem for multiagent systems with nonlinear dynamics and directed topologies is discussed, where a new concept about the generalized algebraic connectivity is defined to describe the ability of reaching consensus in a directed network. Moreover, the global pinning synchronization for a class of directed networks with aperiodic sampled-data communications is addressed in [31].

In general, the consensus of multiagent systems in directed networks requires that the communication graph of agents systems contains a spanning tree, which is more challenging than undirected topology.

6. Conclusions and Future Work

This paper investigates the leader-follower consensus problem of second-order multiagent systems, where the absent velocity measurement and time delay are considered simultaneously. For the absence of velocity information, an auxiliary system is designed to compensate for the unavailability of velocity measurement. Then, two time delay cases, including constant time delay and time-varying delay, are respectively, investigated and the sufficient conditions for the stability of the consensus algorithm are derived via Lyapunov-Razumkhin theorem and Lyapunov-Krasoviskii theorem. Simulation results show that the proposed consensus protocol is able to realize the consensus of multiagent systems even in the presence of absent velocity measurement and time delay.

It should be emphasized that the maximum allowable upper bound of time delay is a little conservative as the LMI approach adopted in this paper only derives the sufficient conditions for the stability of second-order multiagent system with time delay. Therefore, how to reduce conservatism on the estimation of the maximum allowable upper bound of time delay is our new concern in the future work.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This work was partially supported by the National Natural Science Foundation of China (61803040), the Key Science and Technology Program of Shaanxi Province (2017JQ6060, 2018JQ6098), and the Fundamental Research Funds for the Central Universities of China (300102328403, 310832171004).