Abstract

Under the guidance of the directed graph, this paper studies the fault diagnosis (FD) and fault-tolerant control (FTC) of the leader-follower multi-agent systems (MASs) with time delay. Actuator faults and disturbances are considered in this study, which make the work of this paper more challenging. Firstly, a robust distributed observer on the basis of the relative estimation error is put forward to obtain the fault estimation information. Then, after getting the fault information obtained by the observer, a dynamic compensation FTC protocol on the basis of the relative output tracking error is developed to make the output of followers can track the leader's output. Finally, the proposed algorithm is verified by an example and satisfactory results are obtained.

1. Introduction

In recent years, with the large-scale application of MAS such as UAV (unmanned aerial vehicle) formation flying, multi-unmanned vehicles, and so on, the control of MAS has gradually become a research hotspot. For instance, in [1], a pinning control strategy is proposed for multi-agent systems with exogenous disturbances. In [2], heterogeneous multi-agent system with input constraints composed by second-order linear and nonlinear agents is discussed. A point-to-point tracking control based on iterative learning is proposed in [3] for a class of nonlinear multi-agent systems. A new collaborative output regulation control method is proposed in [4] for the problem of resilient practical cooperative output regulation of heterogeneous multi-agent systems subject to denial-of-service (DoS) attacks. The problem of event-triggered consistent control of nonlinear uncertain systems in the presence of unknown parameters and external disturbances is studied in [5]. Also, there are many other research results on multi-agent control methods such as [610]. Compared with a single agent, MAS can obviously accomplish some more challenging tasks, but at the same time, the topology of the multi-agent system becomes more complex. With the topology of MASs becoming more complex, how to ensure the safety and reliability of MASs has also attracted much attention. In order to improve the reliability of MAS, it is necessary to study FD and FTC of MAS.

In the design of FTC algorithm, the prior knowledge of fault estimation information is usually required. So, FD is essential to obtain the information. Nowadays, the problem of FD in MAS has received widespread attention. Adaptive observer, sliding mode observer (SMO), and unknown input observer (UIO) are commonly used in FD of MAS. In [11], for a linear MAS which has actuator faults, an adaptive distributed fault estimation observer on the basis of the relative output estimation error is proposed. In literature [12], a robust distributed fault estimation algorithm on the basis of SMO is developed for linear MAS. In [13], an UIO is constructed for linear MAS with actuator fault only according to the relative output information. In addition, some other algorithms have been presented in [1420] for the problem of fault diagnosis in multi-agent systems.

It is worth noting that most of the aforementioned studies do not consider the occurrence of time delay in MAS. In practical systems, communication delay will inevitably occur, so it is of great practical importance to consider the possible time delay when studying multi-agent systems. FD and FTC problems for stochastic distribution control systems with time delay have been studied in [21, 22], but it does not take into account the perturbation of the system. The FD and FTC method for systems with fast time-varying delay was proposed in the literature [23]. But it is based on the classical observer error to construct the fault diagnosis algorithm. The FD and FTC problems for nonlinear systems with time delay and linear time-delaying systems containing different parameters have been studied in the literature [24, 25]. In [26], a distributed fault estimation algorithm on the basis of relative output estimation error is developed for interconnected SDC system with time delay. However, most of the aforementioned studies dealing with the time delay problem are for single systems. Few studies have been conducted for fault diagnosis of multi-agent systems with time delay, which is one of the motivations for the research in this paper.

After obtaining the fault estimation information, the FTC strategy can be designed based on the obtained information so that the output of the follower system tracks that of the leader’s system even after a failure occurs. Fault-tolerant control of multi-agent systems has attracted a lot of attention from researchers in recent years in order to reduce the damage caused by the system fault. An adaptive backstepping sliding mode FTC strategy is studied for a second-order MAS with actuator fault in [27]. The problem of consensus tracking for MAS with actuator fault types of interruption and partial fault is studied in [28]. But time delay is not considered in this literature. In literature [29], a distributed adaptive FTC protocol on the basis of the network local information is introduced for a kind of MAS, and it also does not contain time delay of the system. In addition, a fault-tolerant feedback controller according to the relative output of neighboring agents is often used to control MAS [16, 3033].

In this research, a FD and FTC strategy is devised for MAS with time delay. The major contributions of this research cover the following. (1) Time delay and disturbance are considered in MAS, which increases the complexity of FD and FTC. (2) A novel FD observer according to the relative estimation error is developed and the parameters may be gained by addressing linear matrix inequality (LMI). (3) A dynamic compensation FTC protocol on the basis of the relative output tracking error is studied, and the corresponding parameters can be gained according to LMI.

The structure of this paper is arranged as follows. In Section 2, the system model of leader-follower MAS is introduced and some necessary assumptions are established. In Section 3, this paper proposes a robust observer on the basis of relative estimate error to get the fault estimation information. In Section 4, a dynamic compensation controller according to the relative output tracking error is designed to control the leader-follower MAS. In Section 5, a MAS with five agents is taken as an example under a directed graph to prove the validity of the introduced scheme. At last, the conclusions are drawn in Section 6.

Notation. The matrix of is expressed as . The inverse and transpose of matrix are expressed as , respectively. is the pseudo-inverse of matrix . The identity matrix can be expressed as . Kronecker product is represented by the symbol . and represent the infinite norm and 2-norm of the vector or matrix, respectively.

The Basics of Algebraic Graph Theory. In algebraic graph theory, each agent can be considered as a node in the graph. The information exchange of agents can be represented by , where represents the set containing all the nodes in the graph, represents the set containing all the edges, and represents that agent can transmit the information to agent . The adjacency matrix of algebraic graph theory can be expressed as , where and if holds, ; otherwise, . Furthermore, for a directed graph, the in degree and out degree of node are defined as , respectively. In this study, undirected graphs are considered, where . The Laplace matrix of graph can be expressed as , where . The matrix can represent the communication between the leader system and the follower system, where the -th agent can gain the information of the leader, , or else, .

2. Model Description

Considering the MAS with followers and 1 leader, the state equation of the -th follower system is shown as follows:where denotes the state of the follower system, denotes the output, represents a constant delay, is the control input of the system, stands for actuator fault and it is bounded, and represents the external disturbance or system uncertainty. In this article, , , , , are constant real matrices of appropriate dimensions. It is supposed that matrices and are of full rank and the pair (, ) is observable.

The leader’s system state space equation is shown below:where represents the state vector of the leader system, is the output vector, and is the known given reference input trajectory.

Assumption 1. It is assumed that system parameters satisfy the following condition: .
It is worth noting that when Assumption 1 is satisfied, there is a matrix that satisfies the following condition:

3. Fault Diagnosis

FD is required to get an estimation of the fault. Design the following robust observer aswhere denotes the state estimation vector, denotes the output estimation vector, and indicates the estimation vector of the fault, which can be obtained by the dynamic compensator .

Different from the traditional residual form, relative estimation errors are often used in MAS, and it can be shown as follows:

The dynamic compensator can be indicated aswhere is the state vector of the dynamic compensator.

Denote

Then, the observation error system is formulated as follows:

Denote , and the following formula can be further gained aswhere

Denote

Combining (5) and (9), it can be deduced that

The global system of the dynamic compensator can be expressed as follows:

Denote , and combine equations (12) and (13), and it can be gained thatwhere

It can be further found thatwhere

Lemma 1. Given a symmetric matrix , where and are symmetric matrices, the following inequality condition can be obtained: .

Lemma 2. For the parameter , if there are positive definite symmetric matrices (PDSM) meeting the LMIthen the following linear system:should meet the performance index .

Proof. Select the Lyapunov function shown below:It can be further obtained thatWhen linear system (19) meets the performance index , the inequality holds. It can be found thatCombined with Lemma 1, it can be obtained that is equivalent to . The proof is completed.

Theorem 1. For scalars , if there is a PDSM and matrix satisfying the following LMI:where , , , , , then system (14) is stable and satisfies the performance index .

Proof. From Lemma 2, if the performance index is satisfied in system (14), then there are to make the following inequality hold:By combining equation (16), it can be further found thatMultiplying the left side and the right side of inequality (25) by , it can be obtained thatwhere .
Combining Lemma 1 and defining , it can be found thatFor convenience, choose and bring into the inequality (27), and it can found that . The proof is completed. After is gained by solving LMI , the parameter matrix of the dynamic compensator can be obtained by .

4. Fault-Tolerant Control

After getting the fault estimation information, the FTC strategy based on the relative output estimation is devised to make the output of the follower system still track the leader’s output after a failure occurs.

The state tracking error between the -th follower and leader is indicated as follows:

Then, it can be further found that

Denote

Then, the global system may be indicated that

Define the relative output tracking error of the -th agent as shown below:

A dynamic compensation FTC strategy according to the relative output tracking error is developed as follows:where is the state vector of the dynamic compensation fault-tolerant controller.

Denote

Then, the global system of the dynamic compensation FTC strategy (33) can be indicated as follows:

Define , and substitute equations (35) and (32) into (31), and it can be obtained thatwhere

Then, it can be further found thatwhere

Theorem 2. For scalars , if there is a PDSM and a matrix satisfying the following LMI:where , , , then system (36) is stable and meets performance index .

Proof. It is known from Lemma 2 that when system (36) meets the performance index , there are positive definite matrices satisfying the following inequality:Substituting equation (38) into (41), it can be found thatDefine , and it can be further obtained thatFor convenience, choose and substitute into (43), and it can obtained that . The proof is completed. After is gained by solving LMI , the parameter matrix of the dynamic compensation FTC strategy can be gained by .

5. Simulation Example

In the simulation section, we choose a MAS consisting of five kinds of aircraft to illustrate the effectiveness of the proposed algorithm in the paper; in addition, the state delay caused by wireless transmission is considered in the aircraft model. The given parameters of the aircraft are shown as follows:

The topology structure of the system is given in Figure 1. The code of 0 acts as the leader, and other agents represent the followers. The Laplacian matrix and the leader adjacency matrix are shown below:

The parameters of the dynamic compensator are designed as follows:

The parameters of the dynamic compensation FTC strategy based on the relative output tracking error are shown as follows:

In order to verify the effectiveness of the proposed FD algorithm, two different fault forms, time-varying fault and constant fault, are selected here for the experiment. The specific forms of the two faults are described as follows.

Case 1. Only agents 1 and 4 have constant faults, while agents 2 and 3 have no faults.

Case 2. Only agents 1 and 4 have time-varying faults, while agents 2 and 3 have no faults.Based on the proposed fault diagnosis algorithm, the observer is designed to estimate the constant and time-varying fault, respectively, and the results are shown in Figures 2 and 3. From the simulation results, it can be seen that the designed observer has good estimation results for both constant and time-varying faults. The output trajectory of the multi-agent system in which the fault occurred is shown in Figures 4 and 5. It can be seen from the figures that the output of the followers no longer tracks the leader’s trajectory due to the presence of the fault. After fault-tolerant control is carried out on the system, its output trajectory when failure occurs is shown in Figures 6 and 7. By comparison, it can be seen that the fault-tolerant control algorithm proposed in this paper can make the MAS have good tracking performance even after the fault occurs.

6. Conclusions

A novel fault diagnosis and fault-tolerant control (FTC) protocol is proposed for the leader-follower multi-agent systems (MASs) with time delay in this paper. At first, design an observer on the basis of the relative estimation error information to estimate the fault of the original MAS. It is worth noting that the fault estimation information is obtained by the dynamic compensator proposed in this paper. Then, after obtaining fault information, a novel dynamic compensation FTC protocol based on relative output tracking error is used in the system to allow the follower's output to still track the leader's output when a fault occurs. In the end, an example of five-aircraft MAS is given to prove the validity of the developed algorithm. However, there are some limitations in this article. The time delay of the system is time invariant and the leader and follower have the same system structure. So, the research on heterogeneous agent systems is interesting which will be focused in our future study.

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 they have no conflicts of interest.

Acknowledgments

The authors are grateful for the financial support received from Chinese NSFC (grant no. 61973278).