Event-Triggered Control for Multiagent Systems with the Problem of Packet Losses and Communication Delays When Using the Second-Order Neighbors ’ Information

and Applied Analysis 3 From the above definitions, we know some facts: A and L determine each other uniquely and L has nonnegative eigenvalues. Moreover, L has at least one zero eigenvalue with the associated eigenvector 1T n (L1 n = 0); that is, span{1 n } ⊆ null{L}, where null{L} is the null space of L. For the undirected graph, we further have L = L, 1T n L = 0. From [27], it is known that span{1 n } = null{L} if and only if the undirected graph G is connected. 2.2. Protocols Based on Second-Order Neighbors’ Information with Packet Losses. Consider the following first-order dynamics: ?̇? i = u i , i ∈ Λ n , (2) where x i , u i ∈ R are the state and the input of agent i, respectively. With sampling period T and a zero-order hold, the agent dynamics are discretized as x i (k + 1) = x i (k) + Tu i (k) . (3) The standard consensus protocol that is widely used is proposed as u i (k) = −r c ∑ j∈Ni w ij (x i (k) − x j (k)) , (4) where r c is the control gain. Consider the protocol based on second-order neighbors’ information; if there is no communication constraint taken into account, the following control protocol can be used: u i (k) = −r c ∑ j∈Ni w ij [ [ (x i (k) − x j (k)) + ∑ h∈Nj w jh (x i (k) − x h (k))] ] . (5) If we consider the packet losses among agents, the following control protocol is designed: u i (k) = −r c { { { ∑ j∈Ni γ ij (k) w ij × [ [ (x i (k) − x j (k)) + ∑ h∈Nj γ jh (k) w jh (x i (k) − x h (k))] ] } } } , (6) where γ ij (or w ij ) = 1, if there is no packet loss between agents i and j; γ ij (or w ij ) = 0, otherwise. Furthermore, we assume that the occurrence of packet loss is governed by a Bernoulli process with uniform probability p satisfying 0 < p < 1; that is, P {γ ij (k) = 1} = p, P {γ ij (k) = 0} = 1 − p,


Introduction
In recent years, there has been an increasing research in coordination control of multiagent systems.Information consensus has attracted more and more attention from many engineering application fields, such as formation control, flocking, artificial intelligence, and automatic control [1][2][3][4].A critical problem in distributed control is to develop distributed protocols under which agents can reach an agreement on a common decision.
Convergence rate is an important index to evaluate the performance of consensus, which has attracted great attention in dealing with this issue [5][6][7][8].In [5], the authors pointed out that the second smallest eigenvalue of its Laplacian matrix was a measure of speed to solve consensus problems.From [6], we know that the convergence speeds up by finding the optimal weight associated with each communication link, where the global structure of the network must be known beforehand.Reference [7] accelerated the convergence rate by using the polynomial filtering algorithms.In [8], the authors presented randomized gossip algorithm on an arbitrary connected network and showed its performance precisely in terms of the second largest eigenvalue of an appropriate stochastic matrix.The above literatures all tried to seek a suitable topology communication to achieve a fast convergence.However, an excellent protocol can reduce cost, can increase efficiency, and can optimize performance.In practice, it is more useful to design a protocol to obtain a better convergence performance under a given topology.In order to get a better convergence speed without changing the topology and edge weights, the authors in [9] proposed a protocol in an unchanged topology network that each node got its state value updated by using the information of multihop communication for the first time.Then, in [10] the authors discussed that the node in the network topology updated its current state value not only from its immediate neighbors, but also from its second-order neighbors for both the discrete-time case and the continuous-time case.Further, the authors in [11] extended the systems to second-order case and made comparisons between the convergence rate of second-order neighbor protocol and the general protocol.Also, the delay margins of general protocol and second-order neighbor protocol were derived.
The literatures mentioned above were mainly considered under the traditional time-triggered control actuation schemes.However, since the microprocessor or controller equipped in each agent may have limited resources or energies in practical applications, it is better for the agents to update their control actuation as little as possible.In [12,13], the authors presented preliminary results of control synthesis for systems with event-based schemes, where the controllers had been designed to ensure stability of the closed-loop systems with respect to measurement errors.Many established results referring to event-triggered schemes are in the framework of continuous-time systems, and some of the results have been extended to discrete-time systems [14].Reference [15] investigated the consensus problem of discrete-time heterogeneous multiagent systems, where single-integrator and double-integrator agents had been explored under distributed event-based control.
Meanwhile, most of the above works are based on condition of perfect communication link.In reality, the agents exchange data over fading communication channels instead of ideal ones.In fact, in many practical applications, data exchange between sensors is done by wireless communication, which has a possibility of packets losses.Thereby, the packet losses should be taken into consideration.Many related works have been reported.Reference [16] compared the memory and memoryless consensus protocols in the presence of uniform packet losses.In [17,18], the authors discussed the average consensus for first-order agents and analyzed the convergence speed under data losses.Furthermore, [19] showed that packet dropouts could be treated as an absence of a communication link over time.In addition, [20][21][22] studied stochastic consensus when each edge of the topology was subject to a random process.And then, communication delays are also instable factors which degrade the performance of closed-loop systems in various industry processes.Thereby, the study of time-delay systems has attracted considerable attention over the past years.Reference [23] investigated the problem of accelerating average consensus in undirected and connected network with communication delays for continuous systems.Discrete systems were extended in [24].Reference [25] investigated the consensus problem of a set of discrete-time heterogeneous multiagent systems with random communication delays.Furthermore, [26] dealt with consensus with random delay and data losses.
Inspired by the above references, we consider eventtriggered control for discrete-time multiagent systems with the problem of packet losses and constant communication delays based on the second-order neighbors' information.We construct a group of agents, which can communicate with their second-order neighbors and each communication link has a probability of failure.We assume that all channels are independent and subject to a distributed random process, which have the same probability of data loss and constant time delay.Each agent is equipped with a sampler and a zero-order hold, which are synchronized.Then, by converting the system to the equivalent error dynamics, stochastic stability of the error dynamic system is studied.Here, a Lyapunov function is constructed and a sufficient condition is established to guarantee the event-based mean square consensus in the form of linear matrix inequality (LMI).We are curious about whether the protocol based on the second-order neighbors' information can accelerate the convergence speed with the problem of packet losses and constant time delay.Finally, a simulation comparison of the convergence rate between the protocol based on the second-order neighbors and the one in general case is shown.Comparisons of the convergence speed between different probabilities of packet losses and constant communication delays are also simulated.
The main contribution of this work is to develop a basic event-triggered control using second-order neighbors' information rather than that of the first one.Moreover, the constant time delay and data losses are explicitly taken into account.It differs from the previous work in such aspects: [11,13] only focus on the effect of the delay, while we focus more on link failure with a probability among agents.Besides, event-triggered control considered in this paper can save energy of agents.Instead of using protocol with firstorder information like in [19,24], we develop the protocol with second-order neighbors' information to accelerate the convergence speed.
The rest of this paper is organized as follows.Section 2 provides some preliminaries on graph theory and gives the designed protocol.Section 3 analyzes the event-based control strategy for multiagent systems without communication delays and gives a sufficient condition on the mean square consensus of the systems.The communication delay of multiagent systems is discussed in Section 4. Section 5 includes some numerical examples.Finally, Section 6 offers the concluding remarks.

Preliminaries on Graph Theory.
In this paper, the interaction among  agents is modeled by an undirected graph  = (, , ), where  = {V 1 , V 2 , . . ., V  } is the node set.The edge set  ⊆  ×  contains ordered pairs of nodes.The neighbor set of agent  is denoted by   , which includes agents from which agent  receives information.The adjacency matrix  = [  ] ∈ R × is a nonnegative matrix, where   > 0 if and only if (V  , V  ) ∈ ; otherwise,   = 0. We assume that there is no self-loop, so   = 0.The Laplacian matrix  = [  ] ∈ R × is defined as From the above definitions, we know some facts:  and  determine each other uniquely and  has nonnegative eigenvalues.Moreover,  has at least one zero eigenvalue with the associated eigenvector 1   (1  = 0); that is, span{1   } ⊆ null{}, where null{} is the null space of .For the undirected graph, we further have  =   , 1    = 0. From [27], it is known that span{1   } = null{} if and only if the undirected graph  is connected.

Protocols Based on
Second-Order Neighbors' Information with Packet Losses.Consider the following first-order dynamics: where   ,   ∈ R are the state and the input of agent , respectively.With sampling period  and a zero-order hold, the agent dynamics are discretized as The standard consensus protocol that is widely used is proposed as where   is the control gain.
Consider the protocol based on second-order neighbors' information; if there is no communication constraint taken into account, the following control protocol can be used: If we consider the packet losses among agents, the following control protocol is designed: where   (or   ) = 1, if there is no packet loss between agents  and ;   (or   ) = 0, otherwise.Furthermore, we assume that the occurrence of packet loss is governed by a Bernoulli process with uniform probability  satisfying 0 <  < 1; that is, As a result, we have {  ()} = .
Assumption 1.The undirected topology is coupled; that is, for any pair of agents  and , the communication channels between them exist or vanish simultaneously.
Assumption 1 ensures that the communication topology is always symmetric, so the average of agents' states can be retained during dynamic evolution.
We define two sets of matrices Denote the vectors () and () by Then the control protocol can be rewritten as where () =  1 () +  2 ().So the system dynamics can be written as By taking the mathematical expectation of  1 () and  2 (), we have { 1 ()} =  ×  (1) , { 2 ()} =  2 ×  (2) , where  (1)  is the nominal Laplacian matrix of full weights where there is no packet loss and  (2) is the nominal Laplacian matrix of the system which is only based on the second-order neighbors' information with full weights and without packet loss.
The above assumption is necessary for consensus because if the undirected graph is not connected, then it does not have a spanning tree.From Lemma 1 in [28] and Theorem 5 in [29], we know that there exist two nonempty, disjoint groups of agents that have no communication with each other at any time.In this case, consensus cannot be reached.

No Communication Delays
In the event-triggered cooperative control strategy, suppose   0 ,   1 , . . .,    , . . . is the sequence of the event times of the agent  which is defined based on the event-triggered condition.We define the state measurement error by where x is the latest broadcast state of agent  which is given by x () =   (   ),  ∈ [   ,   +1 ).With  = [ 1 , . . .,   ]  , the closed-loop system is described by Furthermore, the average state of the agents is invariant.We say the consensus problem is solved, if lim ∑ =∞   () = ,  = 1, . . ., .

With Communication Delays
Based on second-order neighbors' information with communication delays and packet losses, the control protocol can be described as where  is a constant delay.Then, using protocol (30) and measurement error (12), the system has the following form: Theorem 5. Given the scalar   , if there exist matrices  > 0,  > 0, and  > 0, such that the following LMI holds (1)  +  (1) ) +    Thus, the subsequent task is to show that the error dynamic system is stable in the mean square sense.Let the largest eigenvalue of  2 be  max () < 0; then (36) Summing (36) from  = 0, it can be obtained that Let  → ∞; the following inequality can be derived: Considering that ‖ ()‖ 2 ≥ ‖ ()‖ 2 ,  = 0, 1, 2, . .., therefore, Therefore, it can be concluded that lim  → ∞ {‖ ()‖ 2 } = 0, and thus the error dynamic system in (31) is mean square stable.So consensus is achieved in the mean square sense.

Simulations and Analyses
To illustrate fast convergence rate of the protocol for the consensus of the system (2) based on second-order neighbors' information, numerical examples are provided for secondorder multiagent systems.The nominal interaction topology and the topology based on second-order neighbors' information among five agents are shown in Figure 1.
The weights are set to unity for simplicity here.The corresponding Laplacian matrices  (1) and  (2) are given as follows: The loss of data across each communication link occurs at certain probability; then, we choose the probability of successfully receiving information as  = 0.9.The time history of Bernoulli variable   () is shown in Figure 2.
We choose the sampling period  = 0.05 s, control gain   = 0.5, and the triggered parameters  max = 0.001,  = 0.005 and the initial condition is set to be (0) = [1,2,3,4,5].It will be shown that the agents' states finally converge to the average value  = Ave((0)) = (1 + 2 + 3 +  4 + 5) ÷ 5 = 3.Then, by solving the LMIs in Theorems 4 and 5 the results show that they are feasible.Thus consensus will be achieved for the system with and without time delays.Figure 3 shows the state trajectories and event times of the agents under protocol (6) when  = 0.9. Figure 4 shows the state trajectories and event times of the agents under protocol (4) when  = 0.9, from which we know that in this case the system converges faster under protocol (6) than under protocol (4).Similarly, Figures 5 and 6 show the simulation results of protocol (26) with  = 0.025 s for  = 0.9 and  = 0.5, respectively, from which we know that the system converges faster under lower probability of packet losses.Figures 5 and 7 show the states evolution and event times under protocol (26) with  = 0.9 for  = 0.025 s and  = 0.1 s, respectively.It is clear that the delay margin of Figure 5 is smaller than that of Figure 7; the system runs faster and the number of actuator updates reduces greatly for smaller time delay.

Conclusion
In this paper, we have investigated the event-based consensus for the second-order multiagent systems with the problem of packet losses and communication delays when second-order neighbors' information is used.The convergence rates of general protocol and second-order neighbor protocol have been compared and it is concluded that second-order neighbor protocol speeds up the consensus rate.What is more, we can see the influence of packet losses and communication delays on the convergence of the system.Future work will include the agent dynamics with time-varying delay.