Abstract

In this paper, the typical fault estimation and dynamic analysis are presented for a leader-follower unmanned aerial vehicle (UAV) formation system with external disturbances. Firstly, a dynamic model with proportional navigation guidance (PNG) control of the UAV formation is built. Then, an intermediate observer design method is adopted to estimate the system states and faults simultaneously. Based on the graph theory, the topology relationship between each node in the UAV formation has been also analyzed. The estimator and the system error have been created. Moreover, the typical faults, including the components failure, airframe damage, communication failure, formation collision, and environmental impact, are also discussed for the UAV system. Based on the fault-tolerant strategy, five familiar fault models are proposed from the perspectives of fault estimation, dynamical disturbances, and formation cooperative control. With an analysis of the results of states and faults estimation, the actuator faults can be estimated precisely with component failure and wind disturbances. Furthermore, the basic dynamic characteristics of the UAV formation are discussed. Besides, a comparison of two cases related to the wind disturbance has been accomplished to verify the performance of the fault estimator and controller. The results illustrate the credibility and applicability of the fault estimation and dynamic control strategies for the UAV system which are proposed in this paper. Finally, an extension about the UAV formation prognostic health management system is expounded from the point of view of the fault-tolerant control, dynamic modeling, and multifault estimation.

1. Introduction

In most developed fields of unmanned aerial vehicle (UAV), formation flight is one of the most important techs in swarm cooperative work. Multiple UAVs in a formation are more efficient than a single one during the process of mission completion. The swarm cooperative flight technology has been paid a lot of attention in the UAV field. However, it just starts, and there are many significant problems needed to be solved. For example, assuming that the formation configuration is stable, one crucial question is how to maintain the reliability and stability of the UAV system. To make the UAV formation flying safer, fault diagnosis and fault-tolerant control will be the key solutions. When faults appear during the formation flight, they should be detected, localized, and corrected in a short time. Otherwise, the mission will fail. With the help of accurate and in-time fault diagnosis and reliable fault-tolerant control, the formation will be reconfigured, and communication between each other will be optimized. As a result, the UAV formation will fly in a safe and stable status. There are many different kinds of faults that arose and coupled in real flight. According to the different degrees of faults, they can be divided into an intermittent fault, sudden fault, and slow fault. If classified by different fault parts, they include the actuators, sensors, and communication failures which may cause the whole formation to work in chaos.

Due to the complex coupled relationships between different stages in formation, the fault diagnosis will be affected by parameter perturbation, external disturbance, and noses. The formation controller has no ideal robustness performance, and the control accuracy declines [1]. In the fault diagnosis field, an observer-based method is usually used. In the process of observer design, disturbance decoupling should be considered carefully. Consequently, the uncertainties in fault diagnosis can be eliminated, and the formation control will be more robust. Separating the disturbances and faults helps fault diagnosis efficiency and reduces the rate of false fault judgment.

In engineering applications, there are several typical fault diagnosis methods for UAV formation, for instance, distributed fault detection, sliding mode observer, robust unknown input observer, fuzzy sliding mode observer, and neural network. In these methods, the observer-based is one of the most used for linear systems with perturbations [24] and nonlinear systems [5]. The thought of the observer-based fault diagnosis method is using the measurable input and output value of the UAV formation system to design the system state observer and measure the status. With the residual signal observation of the estimate and the actual value, the approximation of system fault can be estimated, and fault diagnosis will be accomplished. For the observer-based fault diagnosis method appliance in the UAV field, Negash illustrated a bank of unknown input observer- (UIO-) based distributed fault detection scheme to detect and identify the compromised UAV in the formation. A rule based on the residuals generated using the bank of UIO has been used to detect attacks. Moreover, an algorithm was developed to remove the faulty UAV from the network once an attack has been detected and the compromised UAV isolated while maintaining the formation flight with a missing UAV node. A numerical case study has demonstrated that the residual generated at the monitoring node UAV can successfully detect and isolate the cyberattack. And the faulty UAV removal algorithm has been shown to effectively remove the compromised UAV to maintain the formation accordingly [6]. Reference [7] introduced a sliding mode observer which is designed to reconstruct the actuator faults and then eliminate the influence of the actuator faults in the UAV formation fault-tolerant control. Simulation results verified that the active fault diagnosis and fault-tolerant control scheme proposed for the UAV formation system with actuator faults were effective. In [8], an UIO-based scheme was used for icing detection in overactuated unmanned aerial vehicles. Decision algorithms had been proposed to correctly identify possibly unexpected effects in the system dynamics. Moreover, the icing accommodation task was addressed, using a fault-tolerant control allocation scheme and exploiting input redundancy in the case of control surface failures, or by using an automated deicing subsystem in the case of ice accretion on airfoils. Rotondo et al. proposed a discrete-time linear parameter varying (LPV) UIO for the diagnosis of actuator faults and ice accretion in the UAV system. The proposed approach, which was suited for an implementation onboard, exploited a complete 6-degrees of THE freedom (DOF) UAV model, which included the coupled longitudinal/lateral dynamics and the impact of icing. The LPV formulation had the advantage of allowing the icing diagnosis scheme to be consistent with a wide range of operating conditions. The developed theory was supported by simulations illustrating the diagnosis of actuator faults and icing in a small UAV. The obtained results validate the effectiveness of the proposed approach [9]. Reference [10] stated that a new online detection strategy was developed to detect faults in sensors and actuators of the UAV systems. In this design, the weighting parameters of the neural network (NN) were updated by using the extended Kalman filter (EKF). Online weighting parameter adaptation helped to detect abrupt, intermittent, and incipient faults accurately. There had been applied the proposed fault detection system to a nonlinear dynamic model of the WVU YF-22 unmanned aircraft for its evaluation. The simulation results show that the new method has better performance in comparison with conventional recurrent neural network-based fault detection strategies [10]. A 3D leader–follower formation control problem was discussed in [11]. A novel control law and an adaptive disturbance observer have been explored for the swarms of fixed-wing UAVs with motion constraints and disturbances. The simulation results showed that the proposed method was effective whether there were disturbances existing. In [12], a novel distributed sliding mode control law has been investigated for the leader-follower UAV formation. Numerical simulations verified that the adjustable range of the followers’ linear velocity was not required to be larger than that of the leaders, which was of significance in the leader-follower formation flight for a large scale of UAVs.

However, in the traditional observer-based fault diagnosis method, the observer matching conditions must be satisfied [13]. This goal usually could not be meet in real engineering applications. Under the condition that the system satisfies the strict positive realness conditions, in [14, 15], a self-adaptive fault estimation method was stated. With a comparison of the observer matching conditions, the strict positive realness conditions were more conservative. To solve these problems, an intermediate observer-based method was presented in [16]. An intermediate variable was built, and the fault estimation observer was designed. The estimated value of the built intermediate variable was used to calculate the fault value. The most advantage was that the observer matching conditions and the strict positive realness conditions would not be needed to be satisfied for the systems. It was desirable for the fault estimation in the UAV formation system. In [17], the author adopted this kind of intermediate observer into a network of dynamical systems with external disturbances. A distributed intermediate estimator was constructed for each node based on local output measurements. Except for the built intermediate fault estimator, the interconnected relationship between UAVs should be considered. Additionally, the dimension of the linear matrix inequality (LMI) would increase with the growth of UAV number. These problems ought to be thought seriously when designing the UAV formation’s fault estimator.

In [13], a new intermediate estimator was introduced to estimate the fault in a multiagent system. It could be used in a system which could not meet the observer matching conditions. Also, in the estimation of intermediate variables, the feedback effect of the output error was taken into account. In consequence, the estimation performance could be improved. Finally, the dimension of linear matrix inequality (LMI) will not enhance with the increase of UAV number.

In this paper, the typical fault modeling and simulation for a leader-follower UAV formation system, like the components failure, airframe damage, communication failure, formation collision, and environmental impact, will be the main focuses through the research process of fault estimation and dynamic analysis. A kinematic model of the leader and follower UAV is built, and the relative relationship will be maintained with the PNG control method in Section 2. To estimate the system states and faults, an intermediate observer design method is adopted in Section 3. The communication topology between each node in the UAV formation is built based on the graph theory. The estimator and estimation error model are also shown in this part. Furthermore, the typical faults are also discussed and modeled in Section 4. Then, the fault estimation and the dynamic analysis will be shown in the simulation and discussion part. With the analysis of the results, the future research extensions about the UAV formation fault diagnosis and cooperative control are concluded in the final part.

2. Dynamic Model of the UAV Formation

During the flight of the UAV formation, each member has a relative relationship of motion. According to different formation configurations, the definitions of the coordinate systems are not the same. In this section, a leader-follower scheme has been adopted to set up the formation [1]. Assuming that UAVs are flying in the two-dimensional plane, considering the kinematics and dynamics of the leader and follower, the relative position relationship between them is shown in Figure 1.

In Figure 1, is the leader, and is the th follower in the UAV system. The velocities for leader and follower are and , respectively. and are the coordinates of the inertial system of leader, respectively. and are the coordinates of the inertial system of follower, respectively. and are the pitch angles of leader and follower. and are the radius vectors of leader and follower.

According to the relative position relationship shown in Figure 1, the kinematic equations of leader and follower can be illustrated as [18] where and are the pitch angle velocities of leader and follower. is the leader-follower relative distance error.

Under the inertial system, the second-order derivative of is the function of control input and the control inputs which can be shown as where and are the UAV formation system control inputs for leader and follower which are based on the proportional navigation guidance (PNG) method. is the scale factor of PNG.

A linearized and topology distributed UAV formation model is shown as where contains the states of the th node in the UAV formation (including leader). The system control output is . denotes the fault of UAV. represents the system disturbance. and are the coefficient matrixes.

2.1. Intermediate Observer-Based Fault Estimator of the UAV Formation

In the process of intermediate observer design, the centralized and distributed output estimation errors are considered at the same time. For the UAV formation with oriented topology connection, a low order LMI can be solved to calculate the observer gain matrix which is based on Schur matrix decomposition theory. The dimension of LMI is the same as the one which is related to the solved LMI dimension in fault estimation for a single UAV. As a result, for the intermediate fault estimator in [13], the amount of computation will not increase even more UAVs joined in the formation. In addition, for the UAV formation with unoriented topology, due to the symmetry of the Laplacian matrix, the strict positive realness conditions are less conservative.

2.1.1. Graph Theory

If there are UAVs connected in one formation, the connection relationship based on graph theory can be proposed as where represents the member set of the UAV formation, and the th node is . The edge set is . The adjacency matrix of graphs is , which can be shown as

Assuming that and are two connected nodes in the UAV formation, for one formation with unoriented topology connection, and are all established. But for the one with oriented topology connection, or is founded.

The symmetric Laplacian matrix of the graph is

As mentioned above, the observer matching conditions or the strict positive realness conditions must be satisfied for the system fault estimator design. It means that CF in (3) is a matrix with a full rank column. But for the intermediate observer-based estimator, the above conditions are not needed to meet. The derivation process is shown in [13].

2.1.2. Intermediate Observer

The intermediate variable is defined as where is a matrix which needed to be designed. The derivation of is

Combining (3) and (8), the intermediate estimator can be shown as where and are the estimations of the system states and the intermediate variable. is the estimated value of faults. The centralized output estimation error and distributed output estimation error are and . and are the weights of and , respectively. and are the gain matrixes of the observer. and are all positive, and the sum of them equals one.

and can be defined as where is the output estimation of the ’th node.

2.1.3. System Error

In order to evaluate the estimation errors, the sets of equality are adopted as

The derivations of the estimation errors and are proposed as

In [16, 17], the designed matrix is

If the value of the empirically selected parameter is larger, the convergence rate is faster, and the overshoot is bigger [19]. With derivation, the estimation errors of the UAV formation can be illustrated as where

And the matrixes in (14) are where and are the dimensions of nodes number, faults, and outputs.

In [13], the different forms of (14) for the UAV formation with oriented and unoriented topology connection were also derived. Moreover, the stability of system error (14) was already proved in this reference. It will not be repeated here.

2.2. Typical Fault Models of the UAV Formation
2.2.1. Typical Fault Introduction

During the flight of the UAV formation, the vehicles may be affected by many factors, such as the actuator jam, airframe damage, communication failure, collisions, or environmental impact. These factors, regarded as the typical faults of the UAV formation, may occur at the same time, or one thing happening causes the other to happen. To maintain the safety and reliability of the UAV formation flight, a fault-tolerant health management system must be designed to handle these faults [20]. The descriptions and responses of the typical faults are illustrated as follows.

(1) The Component Failure of UAV. Failures of the onboard actuators, sensors, control systems, flight computers, power systems, and other components are collectively referred to the component level failure [2124]. An example of the actuator fault in the UAV formation is shown in Figure 2.

For component failures of the UAV formation, the health management system can monitor fault signals online in real-time and reduce the impact of measurement deviation and signal drift on system performance through algorithm optimization and other measures [25].

(2) Airframe Damage. Failures of the UAV formation, such as collision with neighboring members or obstacles, may cause damage to the airframe. These failures, as shown in Figure 3, belong to the components level faults. The impact of components or UAV body damage on formation performance is determined by the effectiveness of the health management system [26].

When the components are damaged, the health management system provides the control system with a control scheme adapted to the current situation through online identification and adaptive technology [27].

(3) Communication Failure. Temporary or permanent loss of communication signals between connected members in Figure 4 is caused by interference or communication device failure [28].

When information flow failure occurs in formation, the health management system should make up for the lost information in time to accomplish the tasks [29].

(4) Formation Collision. When UAV deviates from the planned track or the expected motion state, it is considered that the formation is abnormal. This increases the risk of collision with obstacles or neighboring aircrafts [30, 31] like what is shown in Figure 5.

If the formation of UAVs is abnormal and colliding, the monitoring system quickly acquires abnormal information and notices each member. The health management system adopts control decision optimization to adjust the configuration of the formation and the relative movement relationship of nodes in real-time [32, 33].

(4) Environmental Impact. Severe weather (Figure 6) or environmental factors cause performance degradation or failure of the UAV communication system, control system, and actuator [34].

The health management system can monitor the characteristics and signals of the working environment and meteorological conditions and adjust the formation according to real-time feedback.

2.2.2. Modeling of the Typical Faults

(1) Actuator Failure (AF). Typical actuator failures include lock-in place, harder over fault, and floating. During the flight of the UAV formation, any member’s normal control input has been taken by a faulty control signal which is corresponding to the actuator failure [35]. If the actuator fault of UAV happens at time , the control input in (3) can be shown as

The unit step function is expressed as

(2) UAV Component Damage (UCD). The damages of UAV’s components will lead to the change of the formation dynamics. These faults can be regarded as disturbance which belongs to a finite norm [17]. can be proposed as [16] where is the Lipschitz constant.

(3) Communication Failure (COMF). Take the leader-follower formation model as an example, the leader moves independently under the requirements of the planned task. Other followers just go after the leader and receive the state information from the leader periodically. The information flow among the formation nodes constitutes a communication topology, and every node modulates its own state based on the information. Time delay always exists in the communication process which may causes collision during the maneuvering of formation. As a result, the feedback strategy must be adopted in the communication topology to maintain the stability of the UAV formation [36, 37].

The communication failures include transmitter, receiver, and transceiver failures [28]. If the transmitter fails on any node, it may not communicate with other nodes according to the information received from the linked UAVs. Once the failure happened on the receiver, the faulty node will broadcast its decision to others, and the leader will make a new decision on the assignment of the targets for the formation again. In order to make the formation task achievable, the node, which has a partial or complete communication failure, will leave the formation safely and heads to the ground station following a prescribed escape maneuver. Meanwhile, the transceiver of this faulty node must be shut down immediately to prevent its influence on the reconfigured communication topology.

For the communication topology reconfiguration, UAV connected adjacency matrix and the Laplacian matrix need to be reset. Figure 4 shows a connected formation configuration. If there is no communication failure exists, the connection adjacency matrix and the Laplacian matrix are proposed as

If follower 2 has communication failure, it leaves the formation, and follower 3 links to follower 1. The index of follower 3 changes to 2. The connection adjacency matrix and the Laplacian matrix are shown as

(4) Collision Failure (COLF). With the need for configuration maintenance, every node in the formation ought to hold a safe distance from its neighbors. If UAVs are too close to each other, the collision may happen. And if the distance is very long, the time delay of communication may cause other failures [38].

According to the desired safe distance sent by the leader, a scheme of collision avoidance is shown in Figure 7. Every node will get a reward value from the leader depending on the distance to its neighbors. Members in the formation will adjust their states based on these reward values.

The reward value is defined as where and are the minimum and maximum distance between two connected nodes, respectively. Once collisions occur during the flight, the leader must affirm that whether the collided nodes are still in the topology. If that is the case, these nodes quit the formation and fly back to the base station following the leaving strategy as same as the communication failure.

(5) Extreme Environment (EE). If the UAV formation flies in a real environment, such as desert, forest, valley, and ocean, many factors will affect the system’s dynamic stability. For example, the low temperature in the polar region may freeze the wings of the actuator. Or if a UAV is struck by a thunderbolt, the internal communication equipment will be damaged, and the information cannot be transformed in time among the formation nodes. These baneful influences will lead to the failures of onboard actuators, sensors, and control systems. Except for the fault models that have been already mentioned in this section, a wind model is needed to be considered. The perturbation of wind is the main factor that causes flight failure though the design of the aircraft which is relatively perfect [39].

The influence of wind can be regarded as a part of the system disturbance . There are static and dynamic parts in a wind model. The speed of static wind can be proposed as where is the constant wind speed. represents the time-varying part and can be illustrated as where is the maximum value of the static wind. and are the time-varying wind speed increase, decrease, and disappear time.

The speed of the dynamic wind is complex and changes randomly over time. In engineering application, a simplified model has been set up as where is the maximum value of the dynamic wind. is a uniform distribution between and .

As mentioned above, the part which relates to the wind in system disturbance can be shown as

The total system disturbance can be illustrated as

In this paper, the fault estimation will be the main contents which will be discussed in the next section. The basic models of typical faults are just derived in this section. Among these faults models mentioned above, COMF and COLF are relevant to the specific control model of the UAV formation. More simulation, verification and analysis about these two faults will be proposed in future research which will not be included in this paper.

3. Results and Discussion

A four-UAV formation is taken as an instance to analyze the dynamics and estimate different types of faults in this part. The both-way communication topology for the UAV formation is shown in Figure 8.

The connection adjacency matrix and the Laplacian matrix are shown as

The coefficient matrixes in (3) are illustrated as

The gain matrixes for the intermediate observer, which are calculated by the LMI solver, can be shown as

Fault simulation conditions are shown in Table 1.

The components’ damages are assumed as a disturbance for the nodes in the formation. And formation UCD can be proposed as

The wind disturbance model is

The basic parameters for the simulation are illustrated in Table 2.

Figures 912 (without wind disturbance) illustrate the system states and estimations for leaders and followers 1-3, respectively. As shown in these Figures, the states change dramatically after the faults appearing. For the leader, the actuator fault arises at , and the states change matches with the cosine curve basically. This fulfills the set of the AF fault model in Table 1. For the followers 1 and 3, the curves of states and estimation also meet the fault injected strategy. There is no AF fault that happened to follower 2, and the states and estimations results are just affected by the disturbances.

Figure 13 proposes the value comparison of disturbances for the EE fault situation (wind consideration). The amplitude ratio between with and without wind situations is up to a maximum of 60.99. In order to verify the influences of wind disturbances, the results of fault estimation are compared in Figures 14 and 15. In contrast to Figure 14, it shows obvious estimation errors increase in Figure 15. As the curves shown in Figure 16, take follower 1 as an example, the maximum average fault estimation errors of the system rise from 0.26% (without wind) to 0.51% (with wind).

From the comparison between Figures 17 and 18, it proposes that the wind disturbance aggravates the control inputs of the UAV formation. In Figure 17, the control inputs change gently, and the maximum amplitude is below 7 m/s2. Due to the injected fault, leader and followers 1 and 3 need the PNG controller to be acting more to make the system stabler. Once the wind disturbance has been added into the system simulation, a rapid and high-frequency control signal emerged as what is shown in Figure 18. With the linear superposition of faults and disturbances, the maximum amplitude of control input exceeds 12 m/s2, and it costs a longer time (nearly 150 second) for the controller convergence.

4. Conclusions

The fault estimation and dynamic analysis for the leader-follower UAV formation with typical faults were discussed in this paper. The kinematic model of leader and follower was built, and the PNG control model was adopted. Meanwhile, the linearized form of the system state equations was also represented in Section 2. To estimate the system states and faults, an intermediate observer-based estimator had been adopted for the UAV formation in Section 3. In this part, the connection relationship based on graph theory was proposed as the adjacency matrix of graphs and a symmetric Laplacian matrix. Next, it illustrated the intermediate estimator model and the estimation errors. In Section 4, the typical faults models were proposed with the basic concept, normal solution, and physical model. With the institution of the fault-tolerant strategy, five familiar faults models were discussed and derived according to the considerations of fault estimation, disturbances, control strategy, and dynamical analysis. According to the simulation results, the main typical fault estimation and dynamic characteristics of the UAV formation were accomplished. Moreover, it inspected the performance of the estimator and controller with two situations related to the wind disturbance. And the results showed that the fault estimation and dynamic control model were applicable for the UAV formation system.

In the real flight environment, faults and disturbance factors may arise at any time. As a result, the typical fault tolerance should be considered seriously in the fault-tolerant control design for the UAV formation. Additionally, for the sake of meeting the dynamic analysis needs, the model uncertainty, control output perturbation, time-lags effect, and nonlinear model ought to be thought during the modeling of the formation coordinated control strategy. Finally, multifault coupling, mixed estimation method, and multiestimators will be the important works in the UAV formation prognostic and health management field.

Data Availability

Hindawi research data policy request.

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 [grant numbers 62003314, 51909245], Aeronautical Science Foundation of China [grant number 2019020U0002], Shanxi Province Applied Basic Research Project [grant numbers 201901D211244, 201801D221039], Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi [grant number 2019L0570], Youth Science and Technology Research Fund, and Science Foundation of North University of China [grant number XJJ201813].