Abstract
For the non-Gaussian singular time-delayed stochastic distribution control (SDC) system with unknown external disturbance where the output probability density function (PDF) is approximated by the rational square-root B-spline basis function, a robust fault diagnosis and fault tolerant control algorithm is presented. A full-order observer is constructed to estimate the exogenous disturbance and an adaptive observer is used to estimate the fault size. A fault tolerant tracking controller is designed using the feedback of distribution tracking error, fault, and disturbance estimation to let the postfault output PDF still track desired distribution. Finally, a simulation example is included to illustrate the effectiveness of the proposed algorithms and encouraging results have been obtained.
1. Introduction
In order to improve the reliability of practical stochastic systems, fault diagnosis and fault tolerant control for stochastic dynamic systems has long been one of the important areas of control theory and application [1–4]. Stochastic distribution control (SDC) system is a new branch of stochastic system control in which the output is the non-Gaussian probability density function (PDF) of the system output. The equations of these systems describe the relationship between the input PDF and output PDF of systems rather than the traditional relationship between input and output. SDC theory was proposed by professor Wang [5], which has been applied on some actual processes, for instance, the paper evenness control in the process of paper making, high polymer polymerization process of chemical industry, and flame distribution control. In the framework of non-Gaussian SDC systems, it has very important theoretical significances and deep application prospect to develop fault diagnosis and fault tolerant control technology for complex industrial processes in which the control product quality and the distribution of indirect indicators need to be controlled.
With the study of fault diagnosis for non-Gaussian SDC systems, some fault diagnosis algorithms have been proposed. For fault diagnosis of SDC systems, observer or filter-based methods are mainly used so far [6–10], in which the information of system output PDF and other measured information generate residuals in order to analyze and estimate the change of fault. A stable filter-based residual generator is constructed such that the fault can be detected and diagnosed for general stochastic systems in [6]. In [7], a nonlinear neural network observer is designed for fault diagnosis in which the adaptive tuning rule for network parameters is determined by the Lyapunov stability theorem. In [8] a fault diagnosis algorithm is proposed based on iterative learning observer for SDC system. Otherwise, in [11], a novel fault-estimation observer is designed for Takagi-Sugeno (T-S) fuzzy systems with actuator faults, and the problem of fault tolerant control is addressed. For fault tolerant control, the active fault tolerant control is mainly used so far. Combined with the controller design method without fault, such as optimal control, PI control, sliding mode control, and model reference adaptive control, the controller can be reconfigured or reconstructed when fault occurred. When the target PDF is known, the purpose of fault tolerant control is to make the output PDF of the systems still track a given PDF as close as possible after the fault happened. It has been shown in [8] that an optimal control strategy is designed to reconfigure the controller to compensate the influence of the fault on the system performance. A fault tolerant controller based on PI tracking control is proposed for a time-delayed SDC system in [12] and for singular time-delayed SDC system in [13]. In [14], a fuzzy fault tolerant control scheme is developed to guarantee the closed-loop system to be exponentially stable in mean square. When the target PDF is unknown, introduce the concept of entropy to fault tolerant control of non-Gaussian SDC systems, in which the purpose is to minimize the uncertainty of the system output after fault happened [15, 16].
Although the model descriptions of SDC systems are always the dynamic link relations between the input and the weights of output PDFs, the conventional dynamic links do not meet the practical requirements because of the existence of some algebraic constraint conditions between some state variables. Thus, it is necessary to study the SDC systems in the framework of singular systems [8, 13, 16–18]. Due to the material delivering by conveyor belt, system modeling, and data operation and transmission, time-delay widely exists in actual industrial systems. Time-delay can make system performance degradation and even make systems unstable; at the same time, time-delay will largely reduce the effectiveness of the fault diagnosis and fault tolerant control. The results of fault diagnosis and fault tolerant control for singular time-delayed SDC systems are focused on the model approximated by the linear or square-root B-spline model [13, 18]. The rational square-root B-spline model can guarantee that the weights of feedback control are positive at the same time independent of each other compared with other B-spline models [19]. External disturbance widely exists in various industrial processes and this situation will turn to be very complicated for fault diagnosis [9, 20], but controller design to eliminate the influence of disturbance is not considered. Thus, it is significant to study fault diagnosis and fault tolerant control for non-Gaussian singular time-delayed SDC system with external disturbance based on the rational square-root model approximation.
In this paper, a robust fault diagnosis and fault tolerant control approach is proposed for non-Gaussian singular time-delayed stochastic distribution system with external disturbance based on the rational square-root approximation. The external disturbance is considered and supposed to be generated by a linear exogenous system, and a full-order observer is designed to estimate the disturbance. Then an adaptive observer is constructed to estimate fault information. The gain matrices can be determined by solving the corresponding linear matrix inequalities (LMIs). In order to eliminate the influence of fault and disturbance, a fault tolerant tracking controller is designed to track the desired PDF. An augmentation control input is defined to contain the feedback of output PDF tracking error and the estimation of fault and disturbance, so that the control input of the SDC system can eliminate the influence of fault and disturbance on the system performance, leading to fault tolerant tracking control. Finally, the computer simulation results show the effectiveness of the algorithm.
The main contributions of this paper can be summarized as follows. Comparing with most of the existing studies of SDC system with disturbance, integrated fault diagnosis and fault tolerant control is achieved; rather only fault diagnosis is considered. Besides, the influence of disturbance to the system performance can be rejected by the fault tolerant controller. The rational square-root model is used to approximate the output PDF of the singular time-delayed SDC system, as a contrast, linear, or square-root model is used in the existing studies of singular time-delayed SDC system.
2. Model Description
Denoting as the PDF of the system output with being defined on a known bounded interval , the continuous singular time-delayed SDC system can be expressed as follows:where is the state vector, is the control input vector, is the weight vector and is the fault vector, and is the time-delay term. is a real valued continuous function. , , , , , , and are system parameter matrices with . Equation (2) represents the static model of the output PDF approximated by the square-root B-spline model. It is denoted thatwhere is the prespecified basis function, is the approximation weight which is only related to , and is the number of basis functions. is the unknown external disturbance which can be supposed to be generated by a linear exogenous system described by
Remark 1. From literatures [21], many kinds of disturbances in engineering can be described by this model, for example, unknown constant and harmonics with unknown phase and magnitude. In most existing results, the disturbances are restricted to be bounded exogenous signals. The state variable of the exogenous system is the target of estimation, is the form of disturbance, and and are the known parameter matrices with suitable dimensions.
The following assumptions are used throughout this paper.
Assumption 2. is observable, and is observable.
Assumption 3. The fault and disturbance occurring in SDC system are bounded; that is, and , where and are two positive constants.
Assumption 4. The system (1) is regular and impulse-free; that is, and .
With the assumptions, there exist two matrices such that the following equationholds. It is assumed that holds simultaneously. Then the SDC system (1) can be transformed aswhere , , , and , which can be determined as follows:
3. Fault Diagnosis
In order to reject the disturbance and eliminate the influence to the fault diagnosis, a full-order observer is constructed to estimate the external disturbance. Denoting , the full-order system is constructed by augmenting state (1) with exogenous system (4) as follows:whereThe full-order observer is designed as follows:where is observer gain matrix, is the residual signal, andwhere , , and .
Lemma 5 (see [19]). There exists a constant such that the following equation holds, where and and are the maximum and minimum eigenvalues of matrix , respectively.
Then, it can be obtained that The full-order observation error dynamic system can be formulated as follows:where is the gain matrix to be determined later.
The purpose of fault diagnosis is to estimate the size of fault. The fault diagnosis observer is constructed as follows:where . Then the observation error dynamic system is obtained as follows:where , . , , and are gain matrices to be determined later.
Combing (14), (16), and (17), the following augmentation error dynamic system can be obtained aswhereSelect the reference output as follows:For the constants and , the generalized performance is denoted as follows:
Theorem 6. For the matrices and and constants , there exist positive definite symmetric matrices and , positive definite matrices and , and gain matrices , , , and satisfying , , , , and the following LMI, and then the augmenting error dynamic system (18) is stable and satisfies where
Proof. Select the following Lyapunov functions , , and as follows:It can be obtained that the first-order derivatives of , , and are given as follows:Denote , and consider an auxiliary function as the performance indexThen it can be obtained that , whereFrom the Schur complement lemma, equals inequality (22), leading to . Then where when , , , , and . It can be obtained that Since , is proved. This completes the proof.
4. Fault Tolerant Control
After estimating the fault and disturbance, it is necessary to design a fault tolerant controller to make the postfault output PDF still track the desired PDF. A given desired PDF can be described as follows:where is the expected weight vector of desired PDF . Let Then the tracking error dynamic system can be expressed as follows:DenoteThen an augmentation control input containing the system input and the information of desired PDF is constructed as , where the former item is the reconstructed control input and the latter is the extended information of desired PDF. The tracking error dynamic system can be rewritten as follows:Assume that is the feedback of the tracking error, fault, and disturbance, then it can be obtained that where and .
Theorem 7. For the given constant and a small positive constant , suppose that there exist positive definite symmetric matrices and matrices , , and such that the following LMI holds, and then the tracking error dynamic system (34) is stable.
Proof. Select the following Lyapunov function as follows:where . It can be obtained that , and denote ; then holds. The first-order derivative of can be obtained as follows:where andSubstituting and into and premultiplying and postmultiplying to the left and the right side of , it can be obtained thatAdding to , thenWhen , it can be acquired that . According to the Schur complement lemma, is equivalent to . Thus, when holds,is satisfied, and then , leading to and the tracking error dynamic system (34) is stable.
By substituting and into (35), the practical fault tolerant tracking controller can be formulated as follows:
5. A Simulation Example
To illustrate the effectiveness of the proposed algorithms, a SDC system whose output PDF can be approximated by the following B-spline functions , , is considered aswhere is an interval function defined as
The system parameter matrices of the SDC system (1) are given as follows:The exogenous disturbance can be described by (4), and the corresponding parameter matrices are given as follows:The time-delay is selected as and the sampling time is chosen as 0.1 s. It is assumed that the fault is constructed as follows:The reference output is denoted such thatIt can be calculated from the LMIs of Theorems 6 and 7 thatThe disturbance and its estimation have been shown in Figure 1. The fault diagnosis result has been presented in Figure 2. It can be seen that the desired fault diagnosis result has been obtained and the influence of disturbance has been rejected. The initial PDF, the desired PDF, and the final PDF with fault tolerant control are given in Figure 3. In Figures 4 and 5, the three-dimensional mesh plot shows the changes of the output PDF without and with fault tolerant control, respectively. Before fault occurs, the fault tolerant controller has not been reconstructed, so the disturbance cannot be rejected. The influence of disturbance is shown in Figure 4. By comparing Figures 4 and 5, the effectiveness of the fault tolerant control can be seen.
6. Conclusions
In this paper, a fault diagnosis and fault tolerant control algorithm is given for the non-Gaussian singular time-delayed SDC system based on the rational square-root B-spline approximation model. The external disturbance is taken into consideration. A full-order observer is designed to estimate the disturbance, and then an adaptive observer is constructed to estimate the fault. Using the feedback of output PDF tracking error and the estimation of fault and disturbance, the augmentation control input is designed to make the postfault PDF still track the desired PDF. The Lyapunov stability theorem and LMI method are used to analyze the stability of the augmentation observation error dynamic system and tracking error dynamic system, and performance of fault diagnosis is guaranteed. The simulations have further confirmed the efficiency of the proposed fault diagnosis and fault tolerant control algorithm.
Competing Interests
The authors declare that they have no competing interests.
Acknowledgments
This work was supported by the National Natural Science Foundation of China (No. 61374128), State Key Laboratory of Synthetical Automation for Process Industries, the Science and Technology Innovation Talents 14HASTIT040 in Colleges and Universities in Henan Province, China, and Excellent Young Scientist Development Foundation 1421319086 of Zhengzhou University, China.