Research Article | Open Access
Supeng Zhu, Haoyu Cheng, Wenxing Fu, Xiaohan Zhao, Wenyuan Li, Yifeng Ma, "Integrated Fault Detection and Fault Tolerant Control for Switched Systems with Asynchronous Switching", Mathematical Problems in Engineering, vol. 2020, Article ID 6510527, 13 pages, 2020. https://doi.org/10.1155/2020/6510527
Integrated Fault Detection and Fault Tolerant Control for Switched Systems with Asynchronous Switching
The problem of integrated fault detection and fault tolerant control for switched systems with asynchronous switching is focused on in this paper. Based on the switched model, the inherent asynchronous switching is taken into consideration. The asynchronous switching means that the switching of filters/controllers will always lag behind the switching of modes, which will degrade the performance of the closed-loop system. The Lyapunov functional method and mode-dependent average dwell time method are combined for the analysis of the finite-time stability of the switched system. The properties of each subsystem are taken into consideration, which are less conservative. To achieve optimal performance, the filters and controllers are designed simultaneously. The parameters of filters and controllers are given in the form of linear matrix inequalities. In the end, the numerical example is given to illustrate the effectiveness of the proposed method.
Switched system is a higher-level abstraction of hybrid system, which consists of a series of continuous-time (or discrete-time) subsystems and switching signal governing the switching among the subsystems [1, 2]. Switched systems provide a unified framework for flexible modeling tool for many physical or man-made systems with switching feature, such as flight control systems , industrial electronics , and networked control systems [5, 6]. Because of the advantages in modeling and controller design, great advancements have been obtained in both theory and application recently. Among these researches, the problems of stability and stabilization analysis [7, 8], controller design [9, 10], and filter design  have been investigated. To mention a few, the problem of stability of switched systems is studied in , whose switching sequences are generated by a Muller automaton. The sliding mode controller for semi-Markovian jump systems via output feedback is designed in . The sufficient condition on the sliding surface synthesis is presented and the stochastic stability of Markovian system is guaranteed. Moreover, the problem of output-feedback controller design for linear parameter-varying (LPV) system is addressed in . The uncertainties of the scheduling parameters are taken into consideration and the stability and L2-gain performance of closed-loop system are guaranteed.
The basic problems of controller design are stability and stabilization analysis, which have been extensively studied in the past decades. The stability analysis methods in the Lyapunov sense mainly include common Lyapunov functional method and multiple Lyapunov functional method. It is well known that the common Lyapunov functional method is mainly applied in the problem of stability analysis of arbitrary switching. However, it is difficult to find a common Lyapunov function for all subsystems. Thus, it is necessary to consider stability of switched systems with constrained switching. It has been verified in existing researches that multiple Lyapunov functional method not only has flexibility but also can reduce the conservativeness. Moreover, in , the multiple Lyapunov functional method and average dwell time (ADT) method are combined to analyze the stability of switched system with asynchronous switching. The sufficient conditions to guarantee the stability of the closed-loop system are given in the form of linear matrix inequalities (LMIs). In addition, the information transformation relies on the network and there always exist time delay and data missing, which will cause the lag between the controllers and subsystems. Thus, there will exist matched periods and unmatched periods during each subsystem, which is called asynchronous switching. The energy of switched system will increase during the unmatched periods and decrease during the matched periods, which has arisen extensive attention in recent years. To decrease the conservativeness of ADT method, the mode-dependent average dwell time (MDADT) method is firstly introduced in . The properties of each subsystem are taken into consideration, which leads to less conservative results. A new adaptive control method is proposed for a class of general switched uncertain nonlinear systems in . An improved MDADT method is introduced to ensure the global boundedness of closed-loop system is guaranteed. The problem of adaptive tracking control for switched uncertain nonlinear systems with unmodeled dynamics is solved by adaptive control scheme. To deal with the problem of controller design for uncertain switched time-delay nonlinear systems with non-lower-triangular structure, the adaptive neural output-feedback controller is proposed in . Neural networks, adaptive back-stepping technique, and variable separation method are applied to construct the controller. Lyapunov-Krasovskii functional method and ADT method are employed to guarantee the stability of closed-loop system. In , the problem of adaptive neural tracking control for uncertain switched nonlinear non-lower-triangular system is investigated. An adaptive neural tracking control method has been presented by using adaptive back-stepping and multiple Lyapunov functions techniques, which can ensure that all signals remain bounded and the tracking error can eventually converge to a small neighborhood of the origin. Moreover, in , the problem of stability for slowly switched systems is investigated. The stability of switched system with stable subsystems and unstable subsystems is analyzed and the multiple discontinuous Lyapunov functional method is firstly derived. Tighter bounds on the dwell time are given and simulation results are provided to illustrate the advantages of the results.
With the increasing demands for higher reliability and high safety, the problems of fault detection and fault tolerant control attract more and more attention. The problem of fault detection filter design for nonlinear switched system is investigated in . The persistent dwell time method and quasi-time-dependent Lyapunov functional method are combined to analyze the stability of the system. Moreover, a fuzzy-parameter-dependent fault detection filter is proposed to ensure the error system is stable with prescribed performance. A more general and less conservative method is introduced. The problem of robust passive fault detection for switched LPV systems with measurable and unmeasurable scheduling parameters is focused on in . A switched Takagi-Sugeno (T-S) interval observer is proposed to estimate the state. Multiple Lyapunov functional method and ADT method are combined to analyze the stability of switched system. Sufficient conditions to ensure the convergence and the robustness of observer are given in the form of LMIs. In addition, to overcome the problem of interferences from actuator faults for partially unknown system, fault tolerant controller based on reinforcement learning is proposed . Different from the traditional method, the fuzzy integral reinforcement learning fault tolerant tracking algorithm runs in real time, which is more reliable and sensitive to deal with the occurrence of failures. In , the observer-based fault estimation and active dynamic output feedback controller are designed for switched T-S fuzzy stochastic system. A novel piecewise fuzzy Lyapunov function is introduced and delay-dependent sufficient conditions to ensure the stability of closed-loop system are given in the form of LMIs. Finite-time boundedness is discussed and less conservative results are obtained. The reduced-order fault estimation observer is designed in , the dimension of the designed estimator is reduced, and the fault can be completely unknown and unbounded. The fault tolerant controller is proposed to stabilize the switched stochastic systems.
The results mentioned above are under the assumption that the fault detection filter and fault tolerant controller are designed separately. However, the performances of fault detection filters and fault tolerant controllers will influence each other. The output signal can be viewed as the input of fault detection filter, while the output of filter is the input of the controller. Thus, the traditional design method will no doubt give rise to conservativeness. In , the problem of closed-loop fault detection for flight vehicle is investigated. The flight vehicle is modeled as switched system and ADT method is applied to analyze the global stability of system. However, compared to MDADT method, ADT method will lead to conservative results. Moreover, most of the mentioned literature focus on the Lyapunov asymptotic stability, which is defined over an infinite time interval. However, in practice, we often need to focus on the response of system during a finite time interval. The Lyapunov asymptotic stability cannot ensure the desired performance, which introduces the study on finite-time stability. In , the problem of H∞ controller design for morphing aircraft with asynchronous switching is studied. The finite-time stability is analyzed by the aid of MDADT method and Lyapunov functional method. Simulation results demonstrate the effectiveness of the proposed method. To the best of the authors’ knowledge, the problem of integrated fault detection and fault tolerant control for switched system with asynchronous switching has not been fully investigated yet, which motivated the research in the paper.
Inspired by the literatures above, the problem of integrated fault detection and fault tolerant control for switched system is studied in this paper to reduce the complexities and achieve optimal performance. It is obvious that the data missing will always exist in practical system; thus, the asynchronous switching caused by data missing is considered. Moreover, the finite-time stability is ensured to obtain better performance. The switched model of flight vehicle is given based on the nonlinear dynamic system of HiMAT at first. Then the fault detection filters and fault tolerant controllers are designed simultaneously and the parameters are given in the form of LMIs. The MDADT method and multiple Lyapunov functional method are combined to guarantee the finite time stability of closed-loop system. Simulation in the end demonstrates the effectiveness and superiority of proposed method.
The paper is organized as follows: The problem statement is shown in Section 2. In Section 3, the main results of the paper are given. The simulation is given to demonstrate the effectiveness of proposed method in Section 4, which is followed by the conclusion in Section 5.
2. Preliminaries and Problem Statement
The flight vehicle considered in this paper is the HiMAT vehicle, which is an open-loop unstable unmanned flight vehicle applied in many fields. Based on , 20 uncoupled operating points of HiMAT are given, which can cover the nonlinear dynamics of whole flight envelope. The operating points will be depicted in Table 1.
For simplicity and conciseness, the longitudinal model of the flight vehicle is taken into consideration to verify the problem of fault detection and fault tolerant control. Moreover, the stability and maneuverability depend on the short period motion. Therefore, we can obtain the longitudinal short period discrete-time switched model of HiMAT within full flight envelop by setting the sampling time of continuous-time model as T, which can be described as follows:where denotes the state vector, where is the attack angle and is pitch rate; is the output vector; denotes the input signal, where , , and denote the elevator, elevon, and canard deflection, respectively; is the external disturbance and denotes the fault signal; and belong to . , , , , and are system matrices with appropriate dimensions, where is the switching signal, and we have , where is the number of subsystems.
In practical flight control systems, there always exists data missing because of network transformation. To simplify the proof, we suppose that the data missing exists in the channel from sensors to filters/controllers.
Thus, the measured output can be described aswhere is random variable to describe the data missing and takes value in finite set of , which is a Bernoulli distributed white sequence and satisfies the following mathematical expectation values:where is a constant value, which is called the data missing rate.
The fault detection system is composed of residual generator and residual evaluator. In this paper, we design the fault detection filters as follows to generate the residual signal.where is the state of filters, denotes the estimated value of output signal, is the residual signal, and are the parameters of the filters to be determined.
To ensure the stability and the transient performance under the condition with faults, the fault tolerant controllers are proposed. We define the tracking error of output signal as ; then the problem of controller design can be summarized as constructing flight control system and making sure that
Define the integral of tracking error as
Thus, the fault tolerant controllers are proposed as follows to ensure that the system is robust to fault signal.where and are the parameters of controllers to be designed.
Because of the existence of network, the switching of filters/controllers will lag behind that of subsystems, which is called asynchronous switching. Thus, there will exist unmatched periods and matched periods in each subsystem. The energy of the switched system will increase during the unmatched periods and decrease during the matched periods, which will lead to performance degradation. The increase rate during the unmatched period of ith subsystem is defined as bi, the decay rate is set to be ai, and the increase coefficient of energy function at the switching instant of ith subsystem is ; the length of the unmatched period in ith subsystem is .
Based on the statement above, define the error of measured vector as , the augment state vector as , the augment error as , and the augment disturbance as ; then one can obtain the closed-loop system of flight vehicles as follows:where ; ; ; ; ; ; ; .
In this paper, the finite-time theory and switched control theory are combined to guarantee the stability and transient performance of the system. The following definitions and assumptions are introduced to simplify the proof.
Assumption 1. For given constant Nf, the external disturbance satisfieswhere is a given constant and denotes the upper bound of the disturbance in given time interval.
Definition 1 (see ) (finite-time stability, FTS). For given matrix , we have positive constants , , and with and switching signal . The closed-loop system (8) with , , and is finite-time stable with respect to if equation (10) holds.
Definition 2 (see ) (finite-time bounded, FTB). For given matrix , we have positive constants , , and with and switching signal . The closed-loop system (8) with external disturbance satisfying equation (9) is finite-time stable with respect to if equation (11) holds.
Definition 3 (see ) (finite-time H∞ performance). For given matrix , we have positive constants , , and and switching signal . The closed-loop system (8) is said to have finite-time H∞ performance if the system is finite-time bounded and equation (12) holds.where is prescribed performance.
The residual evaluation stage is composed of an evaluation function and a threshold. In this paper, the residual evaluation function and the threshold function are defined in equations (13) and (14).where L is the length of evaluation time window. The decision can be made according to
3. Main Results
In this section, the problems that integrated fault detection and fault tolerant will be considered and the parameters of the filters/controllers will be derived in the form of LMIs.
3.1. Stability Analysis
Definition 4 (see ). For a given switching signal and constants and with , define as the switching number of ith subsystem during the time interval (k0, k1). If equation (16) holds for given and , then N0i is called the mode-dependent chatter bounds and is called the mode-dependent average dwell time, where denotes the running time of ith subsystem in the time interval .
Lemma 1 (see ). For given constants , , , , , , , , and , if there exist matrices and , , such thatthen the switched system with MDADT satisfying equations (18) and (19) is finite-time bounded with respect to .
where , , , , , , , , , and .
Lemma 2. For given matrix with , we can obtain equation (20) by performing singular value decomposition to C:where and with , , and are orthogonal matrices; and are nonzero singular values of C.
If there exists satisfying equation (21), we can obtain , such that , where and
Proof. If , , and , we can obtain thatwhich completes the proof.
Theorem 1. Given constants , , , , , , , and , if there exist matrices and , , such that
Proof. The Lyapunov functions of the switched system are defined as follows:where , .
Let . Under zero initial conditions, we can obtain thatSimilarly, we can conclude thatDefine and make a congruence transformation to equation (25) by ; then we can obtain equation (32). Similarly, one can obtain equation (33) by making a congruence transformation to equation (26).By the aid of Schur component, we can conclude that equation (32) is equivalent to , and equation (33) is equivalent to ; that is,Similar to the proof in Theorem 1, we can obtain equation (35) by setting as . Moreover, the switched system (8) is finite-time bounded with respect to by setting and if equations (23)–(28) are satisfied.Together with the fact that , we can conclude thatMultiplying both sides of equation (36) by , one can obtain thatTogether with equations (27) and (28), we haveAccording to equations (37) and (38), we haveMoreover, it is noted that . Thus, we can conclude thatLet ; we haveBased on the above statement, we can obtain the closed-loop switched system (8) which is finite-time bounded with prescribed H∞ performance .
The sufficient conditions to guarantee that the system is finite-time bounded with prescribed performance are given in Theorem 1, and the solutions of the controllers and filters will be given in Theorem 2.
3.2. Controllers and Filters Design
Theorem 2. Consider the switched system (8) and constant parameters , , , , , , , and . If there exist matrices and , , such thatthen the switched system (8) with MDADT satisfying (27) and (28) is finite-time bounded with prescribed H∞ performance, and the parameters of the controllers and filters can be given aswhere , , , , , , , , , , , and . and can be given by the singular value decomposition for . We have and .
Proof. It is supposed that equation (49) can be obtained by singular value decomposition:where and are orthogonal matrices.
Thus, based on Lemma 2, one can obtain that there exist matrices and , such thatwhere and .
Substitute (8) into (25) and let , , and ; thus we have (44). Similarly, substituting the system matrices into (26), we have (45). The parameters of the controllers and filters can be achieved by , , and through (46)–(48), which completes the proof.
Remark 1. Compared to , the integrated fault detection and control are investigated. Because the fault detection filter and controller will influence each other, the method proposed in this article will overcome the undesirable response caused by the separated design of fault detection filter and controller, which can ensure optimal performance and avoid designing trial and error.
4. Numerical Example
The longitudinal motion dynamics of the vehicle can be modeled as a switched system. Define the sampling time as T = 0.02 s, and the flight trajectory in the subsystems is set to be 19-18-12-9-8-4-2-1. Based on the nonlinear model of flight vehicle and data in , we can obtain the system matrices and input matrices of each subsystem as follows:
In order to illustrate the effectiveness of the proposed method, the fault signal is set to be a constant bias fault of elevator . Thus, the fault signal can be described as
In addition, the external disturbance is set to be harmonics wind gust, which can be generated as follows:where denotes the state vector, whose initial value is set to be .
The probability of packet dropouts from output to filter/controller is set to be , the maximum allowable upper bound of packet dropouts is set to be , the length of time window , upper bound of the disturbance , and performance attenuation ; one can obtain the parameters of fault detection filters and fault tolerant controllers by the aid of equations (46)–(48) in Theorem 2. Thus, the simulation results are shown in Figures 1–5. The trajectories of residual signal and residual evaluation function are shown in Figure 1. One can obtain that the residual can estimate the fault signal accurately. The threshold Jth = 0.0054 and the detection time is 0.02 s. Thus, the fault detection filters in this paper can detect the fault signal efficiently. The response of attack angle is depicted in Figure 2; we can conclude that the response of attack angle can track the input signal, even when there exist disturbance and fault signal. The fault signal will lead to performance degradation, but stability and tracking performance can be guaranteed by the aid of fault tolerant controller. Moreover, the control surface deflections are shown in Figures 3–5. We can see that they are practical and achievable. Based on the statement above, we can conclude that the fault detection filters can detect the fault signal effectively and the fault tolerant controller can ensure the stability and tracking performance.
In order to demonstrate the superiority of the proposed method, the comparisons are given in this section.
The MDADT method is introduced in this paper. Compared to the traditional ADT method, the properties of each subsystem are taken into consideration and less conservative results are obtained. We can obtain the results of the switched system under MDADT method and ADT method in Table 2, from which we can conclude that the MDADT method is less conservative and ADT method can be viewed as a special case of MDADT method.