Abstract

The event-triggered consensus control for leader-following multiagent systems subjected to external disturbances is investigated, by using the output feedback. In particular, a novel distributed event-triggered protocol is proposed by adopting dynamic observers to estimate the internal state information based on the measurable output signal. It is shown that under the developed observer-based event-triggered protocol, multiple agents will reach consensus with the desired disturbance attenuation ability and meanwhile exhibit no Zeno behaviors. Finally, a simulation is presented to verify the obtained results.

1. Introduction

Consensus is a basic problem in the cooperative control of multiagent systems [15], which is generally realized through the behavior-based method or the leader-following approach. To be specific, the leader-following consensus problem has been studied in [612] from different perspectives, where all the following agents can reach consensus by tracking a real or virtual leader based on local interactions. However, all the work mentioned above requires that the control system is implemented in a continuous or time-sampled triggered way, which would consume some unnecessary energy and computing resources in applications.

To reduce the resource consumption, the event-triggered scheme has been applied to the consensus control problem. In particular, the event-triggered consensus of leader-following multiagent systems was studied in [1316], where the dynamics of agents was restricted to single- or double-integrator. Furthermore, the general linear multiagent system was considered in [1721]. In [18], a distributed event-triggered strategy was proposed with state-dependent threshold so that the following agents could asymptotically track the leader without continuous communication. But it was assumed that all the following agents were aware of state information of the leader. In [19], the distributed, centralized, and clustered event-triggered schemes were proposed for different network topologies, which could reduce the frequency of controller updates. In [21], an existing continuous control law was extended with a novel event-triggered condition, and it was proved that the system remained the desired performance with much lower controller updating frequency. In the literatures mentioned above, the consensus protocols and event-triggered conditions are both designed using the internal state information that is very hard or even impossible to be accurately obtained in real systems [22]. In addition, the external disturbance always exists in realistic situations, whose influence also has to be taken into account.

In this paper, the output-feedback event-triggered consensus is investigated for leader-following multiagent systems with high-order linear dynamics, subject to external disturbances. A novel distributed control protocol is proposed with an observer form, by using the local output information. Then, sufficient conditions are derived to guarantee that the system can reach consensus asymptotically with the desired disturbance attenuation ability but without Zeno behavior. The contributions of our research are as follows. The difficulties in directly obtaining full states is overcome by designing a local state observer, whose output is used to generate the event-triggered consensus protocol. Besides, in the developed scheme, the consensus algorithm, the state observer, and the event-triggering monitor are all implemented in a distributed and asynchronous way, which is applicable in practice and can reduce the controller updating frequency.

The rest of the paper is arranged as follows. Section 2 gives the preliminaries on graph theory and the problem formulation. In Section 3, the event-triggered scheme is proposed with a state observer, in which the internal states of each agent are estimated by using its output information. And it is proved that the desired consensus performance can be realized with no Zeno behavior. A simulation is given in Section 4, and Section 5 concludes the whole paper.

2. Preliminaries and Problem Formulation

2.1. Preliminaries

In a leader-following multiagent system, the communication topology among following agents is described by a graph . Assume that there are agents and let . Then, denotes the set of nodes with node standing for the agent, and denotes the set of edges, in which the edge means information is transferred from agents to . Besides, if , node is called a neighbor of . is named the adjacency matrix with , where the positive element is the weighing factor of edge . On this basis, the Laplacian matrix of can be defined as , in which is called the degree matrix of with .

On the other hand, for the leading agent represented by node , the edge represents that the information is exchanged between the agent and the leader, whose weighing factor is denoted by . In other words, the edges between following agents and the leader are bidirectional. Note that there is no control input for the leader, and the information from its neighboring agents is just used to determine the triggering time. To summarize, let be the edge set related to agents and one leader, then the set of neighbors of node is . The interaction matrix of the leader-following system is defined as , where.

To realize the consensus control of leader-following multiagent systems, the assumption on interaction graphs is made as follows [7].

Assumption 1. It is supposed that the interaction graph of the leader-follower system with directed communication has a spanning tree with the leader as root, or at least one agent in each connected component of is connected to the leader for the undirected case.

2.2. Problem Formulation

Consider a leader-following multiagent system with followers and one leader. The follower is modeled by a linear dynamic system with external disturbances: where is the state, is the control input, is the measuring output, and is the external disturbance satisfying . The dynamics of the leader is where and denote the state and output of the leader, respectively. Without loss of generality, it is assumed that () is stabilizable, () is observable, and is of full row rank.

Protocol is said to solve the consensus problem if and only if the following equality is satisfied:

However, the accurate consensus is hard to reach when there exist external disturbances. So the following controlled output is defined to measure the disagreement of agent to the leader agent:

Let

Obviously, if , then for any and equivalently (3) holds. Therefore, the norm of the transfer function matrix from to , denoted by , can quantitatively measure the attenuation ability of the multiagent system against external disturbances. Combining with the definition of norm, the control objective is to make satisfied, which is equivalent to where is the given performance index [23]. When (7) is satisfied for the closed-loop system, we say consensus is realized with the disturbance attenuation ability .

3. Protocol Design and Consensus Analysis

3.1. Output-Feedback Event-Triggered Protocol

To realize the consensus control using output information, state observers are first designed for the following agents and the leader as and in which and are, respectively, the estimated states of the agent and the leader. Combining with observers (8) and (9), the event-triggered protocol is developed as where denotes the triggering time of the agent determined by the event-triggered condition with .

Remark 1. Totally, (8), (9), (10), and (11) form the output-feedback event-triggered protocol, which is implemented in a distributed and asynchronous way. Notice that there is an item in the definition of that can be regarded as a predictive factor. By this, the trigger frequency can be reduced, and the redundant triggers after achieving consensus can be also avoided. Similarly, to decrease the effect of sampling error to the control effect, the predictive factor is also used in the designed protocol .

3.2. Model Transformation

For analyzing the consensus performance, the nonzero consensus trajectory of a closed-loop multiagent system is firstly converted into the origin by model transformations. Define the observing error as , and let , , and . By (8), (9), and (10), it is derived that and

Furthermore, by letting we have and then

Let and , then (16) and (4) can be rewritten as where

According to the definition equations of and , if they are asymptotically stable at the origin, and would asymptotically equal to and , respectively. Then can asymptotically reach by and . Therefore, the consensus of leader-following multiagent systems (1) and (2) is reformulated as the asymptotical stability problem of system (17). In other words, if (17) is asymptotically stable at the origin, then the multiple agents reach consensus. Furthermore, the norm remains unchanged before and after the model transformation, and thus the performance of system (17) is equivalent to that of the multiagent system. In conclusion, if (17) is asymptotically stable with the disturbance attenuation performance , then the multiagent system can reach consensus with the disturbance attenuation level .

3.3. Consensus Analysis

Lemma 1. (Schur complement formula): Let be a symmetric matrix of the partitioned form with , , and . Then, if and only if or equivalently

Theorem 1. For a given index , system (17) is asymptotically stable with the disturbance attenuating performance , if there exists a positive definite matrix and a positive parameter so that the following inequality is satisfied where , , , and are defined in (18), , and . That is, under the event-triggered protocol (8), (9), (10), and (11), the leader-following multiagent systems (1) and (2) can reach consensus with the disturbance attenuation ability .

Proof. Firstly, the asymptotical stability is demonstrated under the assumption . According to the event-triggered condition (11), it is derived that with , and . From the definition of and the equality , follows and then is obtained.
Define a Lyapunov function with a positive definite matrix . The derivative of satisfies Applying Lemma 1 to the inequality (21) indicates , and therefore, system (17) is asymptotically stable.
Secondly, consider the performance of system (17) with disturbance . Define a cost function as follows: Then, under the zero initial condition, the following result is derived: According to the inequality condition (21), it is proved that from which it yields Let , we get which is equivalent to . Combining with Section 3.2, it is demonstrated that the closed-loop multiagent system reaches consensus with the desired disturbance attenuation ability . This completes the proof.

Remark 2. Based on Theorem 1, the gain matrices in the proposed event-triggered protocol, that is, and , can be determined by the following steps.
Firstly, applying Lemma 1 to (21) yields an equivalent inequality

Then pre- and postmultiplying (29) with leads to the following equivalent result which can be guaranteed by according to the inequality . Again, by Lemma 1, we get an equivalent inequality to (31) as

To summarize, it is shown that if (32) holds, then the consensus condition (21) is satisfied. In order to calculate the gain matrices, let take the form where is a positive definite matrix. Then, by substituting (18) and (33) into (32) and denoting we obtain a linear matrix inequality (LMI) in terms of matrix variables , , and . Once the above three matrices are figured out by using the LMI toolbox of Matlab, the feedback matrices can be determined as and , where is right-inverse matrix of .

Theorem 2. Under the event-triggered protocol (8), (9), (10), and (11), the leader-following multiagent system does not exhibit Zeno behavior.

Proof. Let be the current time of agent . If is proved to be strictly positive, then there exists no Zeno behavior in the system. By the event-triggered condition (11), holds. For the following agents, the derivative of satisfies From , we get where . So, holds with Combining the expression of with the property of continuous functions, there exists to make hold. Thus, the derivative of satisfies in which .
Similarly, for the leading agents, the derivative of satisfies which can be rewritten as with .
To summarize, for both leading and following agents, holds, and then it follows that Before the consensus is achieved, holds between any two triggering times, and there is a satisfying Obviously, there exists only one solution to , which satisfies and . Consequently, it is derived that , which completes the proof.

4. Simulation

In this section, a numerical simulation is given to verify the theoretical results. A multiagent system consisting of one leader and four following agents is considered, whose dynamics are modeled as (1) and (2) with system matrices

The external disturbances are simulated by white noises with brand limit and action period . Set the initial states as , . The communication topology among agents is given by Figure 1 with interaction factor . Besides, take , , and , and the gain matrices are determined as

The state trajectories of the multiagent system are shown in Figures 24, from which we can see that the following agents can reach consensus with the leader approximately during the first four seconds when there exist external disturbances and then achieve the exact consensus after the disappearance of disturbances. From Figure 5, it is obvious that the energy of the controlled output is lower than that of external disturbances, which indicates that the system realizes the disturbance attenuation performance with . Besides, the triggering times of each agent are , , , , and , and no Zeno behavior occurs in the system.

5. Conclusion

In this paper, the output-feedback event-triggered consensus was addressed for the linear leader-following multiagent system with external disturbances. A distributed observer-based event-triggered protocol was proposed using the output information, under which the system could reach consensus with the desired disturbance attenuation ability and no Zeno behavior occurred. The effectiveness of the developed protocol was demonstrated by a numerical simulation.

Data Availability

In this paper, the simulation can be done by Matlab just using the model dynamics and proposed controller given in Section 4, without any other data.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (61473015, 61327807, 61520106010, and 61503231) and the Fundamental Research Funds for the Central Universities.