Mathematical Approaches in Advanced Control Theories 2013View this Special Issue
Research Article | Open Access
Saeed Ahmadizadeh, Jafar Zarei, Hamid Reza Karimi, "Robust Fault Detection of Linear Uncertain Time-Delay Systems Using Unknown Input Observers", Journal of Applied Mathematics, vol. 2013, Article ID 829715, 12 pages, 2013. https://doi.org/10.1155/2013/829715
Robust Fault Detection of Linear Uncertain Time-Delay Systems Using Unknown Input Observers
This paper deals with the problem of fault detection for linear uncertain time-delay systems. The proposed method for Luenberger observers is developed for unknown input observers (UIOs), and a novel procedure for the design of residual based on UIOs is presented. The design procedure is carried out based on the model matching approach which minimizes the difference between generated residuals by the optimal observer and those by the designed observer in the presence of uncertainties. The optimal observer is designed for the ideal system and works so that the fault effect is maximized while the exogenous disturbances and noise effects are minimized. This observer can give disturbance decoupling in the presence of noise and uncertainties for linear uncertain time-delay systems. The developed method is applied to a numerical example, and the simulation results show that the proposed approach is able to detect faults reliably in the presence of modeling errors, disturbances, and noise.
Fault detection and isolation (FDI) is an essential and challenging problem in many industrial applications. Among the various reported methods, much attention has been paid to model based approaches in the field of control engineering in recent years. For example, fault detection problem for discrete-time Markov jump systems and switched systems is investigated in [1, 2], respectively. The problem of fault reconstruction for a class of descriptor linear systems using sliding mode observers is presented in . The sliding mode observers have been designed such that the actuator fault can be reconstructed using output measurements. The data-driven scheme for FDI is presented in  which exploits an adaptive residual generator and a bank of isolation observers. The designed scheme obtains observer parameters without identification of complete process model.
However, model based approaches are based on some idealized assumptions, one of which is that the mathematical model of the plant is a faithful replica of the plant dynamics . As the mathematical model of a plant hardly represents its complete behavior, due to the existence of model uncertainty, noise, and unknown disturbances, it is essential to design a fault diagnosis system to take these effects into consideration. Motivated by the abovementioned issues, a robust fault detection scheme is exploited to design fault detection systems so that high sensitivity to faults as well as low sensitivity to uncertainties and perturbation can be obtained. Optimization techniques are widely used to solve this problem. One of the commonly used approaches to design such FDI scheme is representing the design procedure by and performance indexes. The main advantage of this approach is that it can be solved by linear matrix inequality (LMI) . In [7, 8], a two-step FDI design methodology is presented. In this methodology, the optimal fault detection filter (FDF) has firstly been designed, neglecting the existence of model uncertainty. Next, the FDF, which is used as residual generator, has been obtained via model matching technique. The same approach is used in ; however, different dynamics is considered for the FDF.
Time delay is an inherent characteristic of many industrial systems; therefore, robust FDI problem for LTI systems with time delay received great attention over recent decades, and numerous articles have been presented. One approach is to solve the formulated design procedure using the eigenstructure assignment approach in which the residual signal is thoroughly decoupled from delay-free unknown input. Then the effect of the unknown input is minimized using norm . In the presence of uncertainty, the same approach as delay-free case can be employed to obtain a robust FDI system. Indeed, solving the model matching problem results in achieving an FDF which acts the same as the optimal one [11–13]. Although the same approach is considered in these references, solving procedures are completely different owing to the difference between the dynamic of the filter and system. In , the problem of robust FDF design for the class of linear systems has been investigated. The system is subjected to mixed neutral and discrete time-varying delays and some nonlinear perturbations. The Luenberger type observer has been utilized to design FDF such that the residual signals effectively show fault occurrence.
Another approach commonly used to robust FDI scheme is to employ the unknown input observers (UIO), in which the residual is designed to be sensitive to faults but insensitive to unknown disturbances. Although the UIO has been widely used in estimation problems in both time delay and delay-free systems [15–18], there are few references that handle the problem of designing robust FDI [19, 20]. In , a design procedure has been proposed for delay-free systems so that perturbations and exogenous signals have less effect on the residual signal and the fault has a detectable effect on the residual; however, the problem has not been presented in model matching technique. Motivated by this consideration, a robust FDF design using UIO for uncertain systems with time delay is presented and solved using model matching approach. In contrast to our previous work , we are concerned to design a robust FDF for the case in which the dynamic characteristic of fault signal is known. For this purpose, a two-step design procedure is developed. In the first step, the optimal fault detection based on UIO is designed for the system without uncertainty. Next, the UIO-based fault detection filter is approached to optimal one in the sense of norm. It is demonstrated through simulation that the presented fault detection observer is robust against uncertainty and sensitive enough to the faults.
Notation. The notations used throughout the paper are fairly standard. and represent identity matrix and zero matrix; the superscript “” stands for matrix transposition. refers to the Euclidean vector norm or the induced matrix 2-norm. represents a block diagonal matrix. The notation means that is real symmetric and positive definite; the symbol * denotes the elements below the main diagonal of a symmetric block matrix.
2. Problem Statement
Many different industrial systems such as mechanical, electrical, meteorological, chemical, economic, and biological systems include time delay. In many studies linearized model of these systems around point of operation is considered. However, there are always some discrepancies between the real dynamics of the system and linearized model. These differences arise from systems uncertainty, as a consequence of neglecting dynamics, and changes in system parameters. Therefore, the following linear uncertain system with additive disturbances and time delay is considered to represent the described model: where is the state vector, is the output vector, is the input vector, is an unknown scalar function representing the disturbance that belongs to , denotes the faults, and represents the noise. Note that , , and are the norm bounded time-varying uncertainties of the matrices , , and , respectively, and is a constant delay. It is assumed that the characteristics of uncertainty matrices belong to where and are predefined matrices. It is supposed that all over the paper the dimensions of matrices are compatible if they are not explicitly mentioned.
The dynamic characteristic of fault signal can be described by  where is the time when a fault occurs and and are known matrices with appropriate dimensions. The initial time, , and initial state, , are supposed to be unknown. The dynamic equation (3) represents any fault with known dynamic characteristic and unknown amplitude and phase .
The observer matrices will be designed such that the disturbance and input are decoupled from the estimation error defined by . When UIO-based filter defined by (4) is applied to the system described in (1), the state estimation error will be
In the absence of uncertainties and faults, it is shown that the observer, defined by (4), is UIO for the predefined system by (1) if the following conditions are satisfied . Condition 1: Condition 2: Condition 3: Condition 4: Condition 5: where denotes a null matrix with compatible dimension. Using these relationships, and considering definitions in (12), the state estimation error dynamic (6) is transformed to (13):
In order to use the UIO for fault detection purposes, a residual signal should be defined. Difference between measured output and estimated output is usually considered as a residual signal. In current work, a more general form for residual reference signal is considered as follows:
The goal of robust fault detection problem is to minimize the performance index defined in (15) for all classes of model uncertainties belonging to . In general, this performance index is minimized using model matching approach which minimizes the difference between the residual signal () and reference residual signal () in the presence of the worst case disturbance signals. This performance index has been minimized by the following steps.
Step 1. The ideal residual signal generator system has been designed for the system without uncertainty defined in (16). The residual signal shows the maximum sensitivity to the fault signal while it has the minimum sensitivity to disturbance, noise, and unknown inputs.
Furthermore, using (2) it is easy to see that , , can be expressed by
Before developing theorems that are utilized in designed procedure, the following lemmas, which are useful to prove the theorems, are introduced.
Lemma 1 1 (see ). Condition 5 is solvable if and only if the following relation holds:
The general solution of condition 5 can be calculated by where is an arbitrary matrix with an appropriate dimension.
Lemma 2. Suppose that M, N, and are compatible and ; then there exists a scalar such that the following equation holds:
(a) Reference Model Selection (Step 1). Reference model selection is an important key to the design of robust fault detection filter for linear uncertain time-delay systems. To this end, the analogues procedure as that for fault detection in  is extended for delay systems considering the UIO as the fault detection filter. According to (16), the reference residual signal can be written as sum of two signals, and . The reference model should be chosen such that the effect of exogenous signals on the reference residual signal is minimized while the effect of fault signal is maximized. These two tasks are described mathematically by where is the transfer function between two signals. The following two theorems provide conditions which ensure the asymptotic stability of (16). They also provide the conditions that increase the sensitivity of the residual signal from faults and decrease the sensitivity of residual signal from noise.
Theorem 3. For given , if there exist symmetric positive matrices , , , , , , and such that the following LMI holds:
then the system (28) is asymptotically stable and . Furthermore, the UIO matrices are obtained from conditions 2 to 5, and , , ,
Proof. Condition is equivalent to . Now Consider the Lyapunov-Krasovskii function which is defined as . Then we have
Assume for . Since , it can be concluded that
Taking derivative from and considering (28) yield
Hence, implies . Using the Schur complement theorem (26) is concluded from (31). Indeed, the inequality (26), without considering (27), includes nonlinear terms of , , and which lead the LMI to be infeasible. To overcome this problem, define , , and . Using conditions 2, 3 and (23) it can be shown that (27) makes the LMI feasible. It completes the proof.
Theorem 4. For given , if there exists symmetric positive matrices , , , ,, , and such that the following LMI holds:
then the system (35) is asymptotically stable, and . Moreover, the UIO matrices are obtained from conditions 2 to 5, and ,
Proof. Condition is equivalent to . Now consider the Lyapunov-Krasovskii function which is defined as . Then we have
Assume for . Since , we have
Taking derivative from and considering (35) yield
Hence, implies . is equivalent to
Then, (39) can be written as
Making use of Lemma 2 with , we have
Applying Schur complement to (40) and changing variables , , and , the LMI (32) is obtained. To overcome the infeasibility of (33), the same variables as those selected in Theorem 3 are used. It completes the proof.
Remark 6. It is desired to obtain a reference residual system which has maximum sensitivity to the fault as well as the minimum sensitivity to the exogenous signal. This aim can be formulated by performance index defined by . To this end, an iterative optimization method presented in  is developed for the proposed structure. The procedures of this method are as follows.(1)Choose appropriate values of and .(2)Solve the LMI (26), and find a feasible solution for , , , , , , and matrices. (3)Set , , , and . Then, solve (26) and (32) by increasing to find a feasible solution for , , , , ,, and . (4)Increase and decrease and go to step 2. Continue this procedure until the feasible solution cannot be found for LMIs (26) and (32).
(b) Robust UIO Design (Step 2). As mentioned before, the residual signal generator system is obtained by minimizing (17). To this end, Theorem 8 is presented which guarantees that the overall system (19) is asymptotically stable and performance index (17) is minimized. Before presenting Theorem 8, the following theorem is presented which helps prove Theorem 8.
Proof. Define the following Lyapunov-Krasovskii function:
The performance index can be written as
Assume for . Since , we have
Taking derivative from (45) and considering (37) yield
implies . The can be written as
Using Lemma 2, one can write the following inequality:
Considering (49), (50) and using Schur complement (48) lead to (44). It completes the proof.
Theorem 8. For a given , if there exist symmetric positive matrices , , , , , and , matrices , , and , and constants , , and such that LMI holds, then the overall system (19) is asymptotically stable, and . The observer matrices are calculated by considering (4), (5), and conditions 2 to 5, and , , and . The LMI coefficients are defined as where
Proof. In Theorem 7 assume that and . Then, using system dynamic (19) it is straight forward to see that are the same as (37). Without considering (52), the inequality (51) includes nonlinear terms of , , and which lead the LMI to be infeasible. To overcome this problem, define , , and . Using conditions 2, 3 and (23) it can be seen that (52) makes the obtained LMI feasible. It completes the proof.
Remark 9. It should be noted that the present work differs from  in the following perspectives.(a)The results in  are obtained without considering dynamic characteristic for fault; however, the current results are achieved by considering dynamic characteristic that is modeled by (3). Hence, the design procedure in  is not applicable for the current case.(b)The residual signal is constructed based on (14) which uses both estimation error and delay in estimation error; however, the residual signal in  is constructed using estimation error. Since two design parameters and appear in the LMIs, the obtained LMIs are more flexible.
Remark 10. After designing the FDI system, residual evaluation methods and appropriate level of threshold should be selected to take a decision about the occurrence of fault. According to (13) and (14), the residual signal for fault-free system satisfies the following equation: where
can be computed offline, and under the assumption that we have . Since the signal is supposed to be known online, the value of can be determined online by , where . can be computed by Theorem 7. Therefore, the threshold value can be evaluated by Since values of (53) and (54) increase by passing the time and, consequently, need more memory in real application, one can use root-mean-square (RMS) norm of , defined in (56), to detect the fault signals: where is designed parameter.
3. Simulation Results
The main objective of this section is to investigate the effectiveness of the designed UIO. To this end, a numerical example is used and simulation results are presented. Consider a system which is defined by (1) with the following matrices:
Uncertainties are also defined by the following matrices in (2):
The dynamic characteristic of fault is considered as
The first step to design the fault detection system is to solve the LMIs (26) and (32) in Theorems 3 and 4. The Yalmip LMI toolbox is used to solve the LMIs. To start the iterative optimization method presented in Remark 6, the initial values and are selected. Using this procedure, the following results are obtained:
Using these values, the LMI (51) is solved and the observer dynamic matrices are obtained as follows: