Mathematical Problems in Engineering

Volume 2012 (2012), Article ID 623426, 20 pages

doi:10.1155/2012/623426

Research Article

Fault-Reconstruction-Based Cascaded Sliding Mode Observers for Descriptor Linear Systems

Jinyong Yu,¹ Guanghui Sun,¹ and Hamid Reza Karimi²

¹Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, Harbin 150001, China

²Faculty of Engineering and Science, University of Agder, 4898 Grimstad, Norway

Received 25 May 2012; Accepted 8 July 2012

Academic Editor: Zidong Wang

Copyright © 2012 Jinyong Yu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper develops a cascaded sliding mode observer method to reconstruct actuator faults for a class of descriptor linear systems. Based on a new canonical form, a novel design method is presented to discuss the existence conditions of the sliding mode observer. Furthermore, the proposed method is extended to general descriptor linear systems with actuator faults. Finally, the effectiveness of the proposed technique is illustrated by a simulation example.

1. Introduction

With the development and applications of modern control techniques, the safety and reliability of control systems are becoming increasingly important. Therefore, the fault diagnosis has become one of the most important techniques to ensure the safety and reliability of control systems [1, 2]. During the last two decades, many significant results have been obtained for the analysis and observer design of fault diagnosis of the regular systems, such as unknown input observers [3, 4], eigenstructure assignment method [5], filtering [6–9], parity space approach [10], and parameter identification approach [11].

Just like regular systems, the fault diagnosis for descriptor systems has recently attracted increasing attention due to their importance in real-world systems. In [12], a parametric approach is proposed to design unknown input observers to realize fault detection of descriptor linear multivariable systems with unknown disturbances. By directly identifying parity space, a model-free approach for fault detection is developed, which can be applied if the model of descriptor systems is unknown [13]. In [14], the factorization approach for robust residual generation is extended to descriptor systems, and then a post-filter is added to ensure the robustness of fault diagnosis. In [15], filter is utilized for providing disturbance rejection and robustness properties of the fault detection and isolation schemes of linear time-invariant descriptor systems. In [16], several sufficient conditions of existence of unknown input observers are obtained for Takagi-Sugeno descriptor systems, which are affected by unknown inputs. Unfortunately, although these methods can successfully generate residuals, they fail to reconstruct fault signals.

Recently, fault reconstruction is a promising alternative for fault detection. Instead of generating residuals, a number of methods, such as sliding mode observers (SMOs) [17–23], descriptor observer method [24–26], and PI observer [27–29], can be used to reconstruct fault signals. The sliding mode control is employed in the situations including state estimation and fault detection, since it is insensitive to matched uncertainties, nonlinearity, or disturbances [30]. Edwards et al. [17] firstly used the concept of the equivalent output error injection signals to reconstruct faults. Tan and Edwards [19] extended this work for robust reconstruction of sensor and actuator faults by minimizing the effect of uncertainty on the reconstruction in an sense. Some well-studied works, aiming at reducing the system constraints associated with the results in [17, 19], have recently appeared in the literature [18, 20–23]. In order to relax the matching conditions, the cascaded sliding mode observer method was proposed to deal with a class of systems with relative degree higher than one [20, 21]. In [22], the auxiliary outputs are defined such that the conventional sliding mode observer in [17] can be used for systems without the observer matching condition. In order to obtain those auxiliary outputs, high-order sliding-mode observers are constructed to act as exact differentiators using a super-twisting algorithm. Inspired by Floquet et al. [22], high-gain approximate differentiators and high-order sliding-mode robust differentiators were proposed to generate auxiliary outputs for the design of sliding mode observers [18, 23].

Although there are many achievements in regular systems, few results have been reported to the descriptor case despite its importance in real-world systems. In [31, 32], the sliding mode observer method was employed to detect and isolate faults and to reconstruct the faults for descriptor systems. However, the uncertainty was not considered in these results. In [33], the sliding mode observer was proposed to minimize the effect of uncertainly on the reconstruction of faults for descriptor systems. Unfortunately, the fault detection filter based sliding mode observer has to satisfy the strict condition in [31–33], which severely limits the applicability of these approaches for a wide range of practical systems.

Motivated by the above discussion, in this paper, we develop a cascaded sliding mode observer method to reconstruct actuator faults for a class of descriptor linear systems. The main contribution of this paper can be summarized as follows: (1) we present a novel cascaded sliding mode observer method to reconstruct actuator faults for a class of descriptor linear systems; (2) in the design process, we remove this restrictive assumption and extend the cascaded sliding mode observer approach of Tan et al. [20, 21] to descriptor systems; (3) a novel cascaded sliding mode observer is designed for reconstructing actuator faults for a class of descriptor linear systems.

The paper is organized as follows. In Section 2, the problem is formulated, and appropriate coordinate transformations are introduced to exploit the system structure. In Section 3 the design algorithm of cascaded sliding mode observer for linear descriptor systems is given. In Section 4, a design method of cascaded sliding mode observer and fault reconstruction for general descriptor systems are presented. In Section 5, an example is given to support the effectiveness of the proposed approach. Finally, the conclusions are drawn.

2. Problem Statement and System Analysis

Consider a descriptor linear system described by

where is the state variable, is the input vector, is the output variable, and is unknown but bounded so that

where the positive scalar is known. The signal models the actuator fault within the system. , , , and are known constant real matrices. Without loss of generality, it is assumed that , , and is full row rank.

In [32], a sliding mode observer is given in the following form:

where is the state vector of the SMO, is the estimation of the state vector , and is the discontinuous output error injection vector defined by

where , , , , , , , , and are parameters to be designed.

For the descriptor system (2.1), the sufficient conditions for the existence of the sliding mode observer (2.3) are as follows:

It is well known that condition (2.5) is quite restrictive and may not apply to a wide range of systems. In the following, we give two more relaxed conditions:

where .

Before presenting the main results, some lemmas are given as follows.

Lemma 2.1. If the conditions (2.7) and (2.8) hold, there exists a nonsingular matrix such that

where , and , .

Proof. if is equal to , the conclusion is obviously true. So the following is to prove the case that is less than .

Obviously, there exists a nonsingular matrix so that and (2.9) hold.

Then,

So there exists a matrix so that

Thus, we have and .

Setting

and , we have

Lemma 2.2. If the following conditions

hold, there exist two nonsingular matrices and such that

where , , , , , , , and the subblock has the structure

in which , , and the pair is detectable.

It can be established easily by Lemma 2 in [33], and hence the proof is omitted.

Lemma 2.3. If the conditions (2.6), (2.7), and (2.8) hold, there exist nonsingular matrices , , and such that

where , , , , , , , , , , and the subblock has the structure

where , , and is detectable.

Proof . By Lemma 2.1, there exists a nonsingular matrix such that (2.9) and (2.10) hold, where .

Obviously,

By Lemma 2.2, there exist two nonsingular matrices and such that (2.18) and (2.19) hold and

Setting , we have

Combining (2.10) and (2.24), we have . Obviously, .

By Lemma 2.3, it can be assumed without loss of generality that system (2.1) has the following form:

where , and

The descriptor system (2.25) may be considered as the system with the fault and the disturbance . Using the fault reconstruction method in [33], the fault can be reconstructed and the gain from the to reconstruction error of fault can be minimized. But the fault and the state cannot be estimated. Inspired by Tan et al. [20, 21], the cascaded sliding mode observer is applied to estimate both the state and fault in the following.

3. Design of Cascaded Sliding Mode Observer

The primary sliding mode observer for system (2.25) is

where is the state vector of the SMO, with and is the estimation of the state vector , and are defined by

, , is full rank, is the discontinuous output error injection vector defined by:

, , , , , , and are parameters to be designed.

In [33], it is shown that for an appropriate choice of observer parameters an ideal sliding motion takes place on in finite time.

Define as the state estimation error, the following estimation error dynamic is obtained:

where ,, , , and .

Assuming the primary sliding mode observer has been designed, and that a sliding motion has been achieved, then , and the error equation becomes

where is the generalized inverse matrix of , is the equivalent output error injection term that can be approximated to any degree of accuracy by replacing (3.8) with

where is a small positive constant.

The remaining system freedom can be used to estimate the state and reconstruct the fault . Equation (3.7) can be rewritten as

where .

For any , there exists a nonsingular matrix so that , where is full row rank. We have

The system (3.9) and (3.11) may be considered as the linear system with the faults, the states and the outputs. Using the sliding mode observer design method for the linear system in [17], we can design a secondary sliding mode observer to estimate and if the following conditions hold:

Obviously, (3.12) are equivalent to

Combined with (3.4), (3.14) is equivalent to

From the above analysis, if the conditions (3.13) and (3.15) satisfy, there exists a cascaded sliding mode observer for the descriptor system (2.1).

Next, the fault reconstruction method based cascaded sliding mode observer is given.

Assuming that the secondary sliding mode observer has been designed and the and are the estimations of and , respectively. Then, the reconstruction signal of the fault is described by

and the estimation of the state is described by

The reconstruction of fault is described by

Equations (3.13) and (3.15) are the sufficient conditions for the existence of the cascaded sliding mode observer, but these cannot be checked using the parameters of the original system (2.1). Now, for system (2.1), sufficient conditions for the existence of the cascaded sliding mode observer can be given by Theorem 3.1.

Theorem 3.1. There exists a cascaded sliding mode observer for system (2.1) if the following conditions hold:

Proof. If is equal to , the conclusion is obviously true. So, the following is to prove the case that is less than .

Substituting (2.8) and (2.25) into (3.20), we have

So we have

By Lemma 1 in [32], (3.13) holds.

Substituting (2.18), (2.19), and (2.20) into (3.21), we can obtain (3.15).

4. Cascaded Sliding Mode Observer Design and Fault Reconstruction for General Descriptor Systems

In Section 2, it is assumed that is full row rank. In the following, it is discussed that is rank deficient. Let .

Now, since , there exists a regular matrix such that (2.1) is restricted system equivalent to

where , , , , , ,, and .

First passing the output through a nonsingular matrix so that

where is row full rank.

Consider a new state which is a filtered version of satisfying

where is a stable (filter) matrix.

Equations (4.1), (4.2), and (4.3) can be combined to form an augmented state-space system with order as follows:

where , , , , , , , , and .

Obviously, the matrix is full row rank so that the cascaded sliding mode observer can be designed using the method in Section 3.

In the following, the existence conditions of the cascaded sliding mode observer for general descriptor systems are given by Theorem 4.1.

Theorem 4.1. There exists a cascaded sliding mode observer for system (2.1) with rank-deficient if the following conditions hold:

Proof. Define a nonsingular matrix as follows:

We have

Combining (4.6), (4.10), (4.11), and (4.12), we have

Define a nonsingular matrix as follows:

We have

Combining (4.7), (4.15), (4.16), and (4.17), we have

Define a nonsingular matrix as follows:

We have

thus,

Define

Then,

Hence,

Combining (4.12), (4.16), and (4.24), we get the conclusion by Theorem 3.1.

Corollary 4.2. There exists a cascaded sliding mode observer for linear system if the following conditions hold:

Proof. Obviously, since for linear systems, (4.5), (4.6), and (4.8) hold. Hence, the following is to prove that (4.7) holds.

In [21], the canonical form of the linear system is given as follows:

where , , is orthogonal, , , and are invertible.

Substituting (4.27) into (4.25), we obtain

Combining (4.25) and (4.28), we obtain

Substituting (4.27) into (4.7), we obtain

Obviously, (4.7) holds.

Remark 4.3. For the linear system, the rank conditions (4.25) and (4.26) are identical to the ones in [21], it is obvious that the conclusion of the paper is more general compared with [21].

5. Simulation

A machine infinite bus system linear model is described as follows [29]:

where , , , and are the generator angles, , , and are the generator speeds. , , and are the mechanical power, is unknown load, the nominal values of inertia , and , of damping , , and , of admittance , , , , , , and and of potential , , , , and are shown in

It is assumed that the available measurements are the generator angles , , , and . In order to illustrate the effectiveness of the design method, it is assumed that there exist faults on the actuator  –. It is easy to verify that the existence conditions of sliding mode observer in [32] do not hold, but the existence conditions of cascaded sliding mode observer hold.

In the following simulation, the cascaded sliding mode observer in Section 3 is designed to reconstruct the actuator faults.

Considering system (5.1) affected by the inputs , , and , the unknown load and an uncertain admittance

where , , ,,.

Figures 1, 2, and 3 show faults and reconstruction signals. Although there exists unknown input and parameter uncertainty in the system, the cascaded sliding mode observer faithfully reconstructs the faults.

Figure 1: Fault signal and its reconstruction signal .

Figure 2: Fault signal and its reconstruction signal .

Figure 3: Fault signal and its reconstruction signal .

6. Conclusions and Future Works

This paper proposes a fault reconstruction method for a class of descriptor systems using cascaded sliding mode observer. The method can effectively relax the restrictions on the existence of a sliding mode observer, which allows the applicability of our proposed method to a wider range of systems. In our future work, the proposed actuator fault reconstruction schemes can be extended to some sensor fault reconstruction problems by using a suitable output filtering technique. Another interesting future research topic is to extend the current results to fault estimation of nonlinear systems based on T-S fuzzy models [34–36].

Acknowledgment

This work was supported by the Fundamental Research Funds for the Central Universities under Grant no. HIT.NSRIF.2012031.

References

J. Chen and R. J. Patton, Robust Model-Based Fault Diagnosis for Dynamic Systems, Kluwer Academic Publishers, 1999.

H. Dong, Z. D. Wang, and H. J. Gao, “Fault detection for Markovian jump systems with sensor saturations and randomly varying nonlinearities,” IEEE Transactions on Circuits and Systems, vol. PP, no. 99, pp. 1–8, 2012.

R. Martínez-Guerra and S. Diop, “Diagnosis of nonlinear systems using an unknown-input observer: an algebraic and differential approach,” IEE Proceedings: Control Theory and Applications, vol. 151, no. 1, pp. 130–135, 2004.

S. Mondal, G. Chakraborty, and K. Bhattacharyya, “Unknown input nonlinear observer for component fault detection and isolation of dynamic systems,” International Journal of Automation and Control, vol. 3, no. 2-3, pp. 154–170, 2009.

B. Chen and S. Nagarajaiah, “Linear-matrix-inequality-based robust fault detection and isolation using the eigenstructure assignment method,” Journal of Guidance, Control, and Dynamics, vol. 30, no. 6, pp. 1831–1835, 2007.

J. Hu, Z. D. Wang, Y. Niu, and S. K. Lampros, “ sliding mode observer design for a class of nonlinear discrete time-delay systems: a delay-fractioning approach,” International Journal of Robust and Nonlinear Control. In press

B. Shen, Z. Wang, H. Shu, and G. Wei, “On nonlinear filtering for discrete-time stochastic systems with missing measurements,” IEEE Transactions on Automatic Control, vol. 53, no. 9, pp. 2170–2180, 2008.

X. He, Z. Wang, and D. H. Zhou, “Robust fault detection for networked systems with communication delay and data missing,” Automatica, vol. 45, no. 11, pp. 2634–2639, 2009.

X. He, Z. Wang, Y. D. Ji, and D. H. Zhou, “Robust fault detection for networked systems with distributed sensors,” IEEE Transactions on Aerospace and Electronic Systems, vol. 47, no. 1, pp. 166–177, 2011.

H. Ye, G. Wang, and S. X. Ding, “A new parity space approach for fault detection based on stationary wavelet transform,” IEEE Transactions on Automatic Control, vol. 49, no. 2, pp. 281–287, 2004.

T. Jiang, K. Khorasani, and S. Tafazoli, “Parameter estimation-based fault detection, isolation and recovery for nonlinear satellite models,” IEEE Transactions on Control Systems Technology, vol. 16, no. 4, pp. 799–808, 2008.

G. R. Duan, D. Howe, and R. J. Patton, “Robust fault detection in descriptor linear systems via generalized unknown input observers,” International Journal of Systems Science, vol. 33, no. 5, pp. 369–377, 2002.

P. Zhang and S. X. Ding, “Fault detection of descriptor systems,” in Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS '06), pp. 378–383, September 2006.

B. Marx, D. Koenig, and D. Georges, “Robust fault diagnosis for descriptor systems—a coprime factorization approach,” in Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processeses (SAFEPROCESS '03), pp. 507–512, 2003.

D. Koenig, S. Mammar, and B. Marx, “ fault detection and isolation for descriptor systems: a matrix inequalities approach,” in Proceedings of the American Control Conference, pp. 1080–1081, May 2002.

B. Marx, D. Koenig, and J. Ragot, “Design of observers for Takagi-Sugeno descriptor systems with unknown inputs and application to fault diagnosis,” IET Control Theory and Applications, vol. 1, no. 5, pp. 1487–1495, 2007.

C. Edwards, S. K. Spurgeon, and R. J. Patton, “Sliding mode observers for fault detection and isolation,” Automatica, vol. 36, no. 4, pp. 541–553, 2000.

W. Chen and M. Saif, “Actuator fault diagnosis for uncertain linear systems using a high-order sliding-mode robust differentiator (HOSMRD),” International Journal of Robust and Nonlinear Control, vol. 18, no. 4-5, pp. 413–426, 2008.

C. P. Tan and C. Edwards, “Sliding mode observers for robust detection and reconstruction of actuator and sensor faults,” International Journal of Robust and Nonlinear Control, vol. 13, no. 5, pp. 443–463, 2003.

C. P. Tan, F. Crusca, and M. Aldeen, “Extended results on robust state estimation and fault detection,” Automatica, vol. 44, no. 8, pp. 2027–2033, 2008.

K. Y. Ng, C. P. Tan, C. Edwards, and Y. C. Kuang, “New results in robust actuator fault reconstruction for linear uncertain systems using sliding mode observers,” International Journal of Robust and Nonlinear Control, vol. 17, no. 14, pp. 1294–1319, 2007.

T. Floquet, C. Edwards, and S. K. Spurgeon, “On sliding mode observers for systems with unknown inputs,” International Journal of Adaptive Control and Signal Processing, vol. 21, no. 8-9, pp. 638–656, 2007.

K. Kalsi, J. Lian, S. Hui, and S. H. Żak, “Sliding-mode observers for systems with unknown inputs: a high-gain approach,” Automatica, vol. 46, no. 2, pp. 347–353, 2010.

Z. Gao and H. Wang, “Descriptor observer approaches for multivariable systems with measurement noises and application in fault detection and diagnosis,” Systems and Control Letters, vol. 55, no. 4, pp. 304–313, 2006.

Q. P. Ha and H. Trinh, “State and input simultaneous estimation for a class of nonlinear systems,” Automatica, vol. 40, no. 10, pp. 1779–1785, 2004.

Z. Gao and S. X. Ding, “Sensor fault reconstruction and sensor compensation for a class of nonlinear state-space systems via a descriptor system approach,” IET Control Theory and Applications, vol. 1, no. 3, pp. 578–585, 2007.

B. Shafai, C. T. Pi, and S. Nork, “Simultaneous disturbance attenuation and fault detection using proportional integral observers,” in Proceedings of the American Control Conference, pp. 1647–1649, May 2002.

Z. Gao and S. X. Ding, “Fault estimation and fault-tolerant control for descriptor systems via proportional, multiple-integral and derivative observer design,” IET Control Theory and Applications, vol. 1, no. 5, pp. 1208–1218, 2007.

D. Koenig, “Unknown input proportional multiple-integral observer design for linear descriptor systems: application to state and fault estimation,” IEEE Transactions on Automatic Control, vol. 50, no. 2, pp. 212–217, 2005.

J. Hu, Z. Wang, H. Gao, and L. K. Stergioulas, “Robust sliding mode control for discrete stochastic systems with mixed time delays, randomly occurring uncertainties, and randomly occurring nonlinearities,” IEEE Transactions on Industrial Electronics, vol. 59, no. 7, Article ID 6022791, pp. 3008–3015, 2012.

T. K. Yeu, H. S. Kim, and S. Kawaji, “Fault detection, isolation and reconstruction for descriptor systems,” Asian Journal of Control, vol. 7, no. 4, pp. 356–367, 2005.

J. Yu and Z. Liu, “Fault reconstruction based on sliding mode observer for linear descriptor systems,” in Proceedings of the 7th Asian Control Conference (ASCC '09), pp. 1132–1137, August 2009.

J. Y. Yu and Z. Y. Liu, “Sliding mode observer-based fault reconstruction for uncertain descriptor linear systems,” Journal of Central South University, vol. 40, no. 1, pp. 273–276, 2009.

J. Qiu, G. Feng, and J. Yang, “A new design of delay-dependent robust filtering for discrete-time T—S fuzzy systems with time-varying delay,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 5, pp. 1044–1058, 2009.

J. Qiu, G. Feng, and H. Gao, “Nonsynchronized-State estimation of multichannel networked nonlinear systems with multiple packet dropouts Via TS Fuzzy-Affine dynamic models,” IEEE Transactions on Fuzzy Systems, vol. 19, no. 1, pp. 75–90, 2011.

H. Dong, Z. Wang, J. Lam, and H. Gao, “Fuzzy-model-based robust fault detection with stochastic mixed time delays and successive packet dropouts,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 42, no. 2, Article ID 6020813, pp. 365–376, 2012.