About this Journal Submit a Manuscript Table of Contents
Mathematical Problems in Engineering
Volume 2012 (2012), Article ID 623426, 20 pages
http://dx.doi.org/10.1155/2012/623426
Research Article

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

1Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, Harbin 150001, China
2Faculty 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 [69], 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) [1723], descriptor observer method [2426], and PI observer [2729], 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, 2023]. 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 [3133], 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.

623426.fig.001
Figure 1: Fault signal and its reconstruction signal .
623426.fig.002
Figure 2: Fault signal and its reconstruction signal .
623426.fig.003
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 [3436].

Acknowledgment

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

References

  1. J. Chen and R. J. Patton, Robust Model-Based Fault Diagnosis for Dynamic Systems, Kluwer Academic Publishers, 1999. View at Zentralblatt MATH
  2. 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. View at Publisher · View at Google Scholar
  3. 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. View at Publisher · View at Google Scholar · View at Scopus
  4. 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. View at Publisher · View at Google Scholar · View at Scopus
  5. 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. View at Publisher · View at Google Scholar · View at Scopus
  6. J. Hu, Z. D. Wang, Y. Niu, and S. K. Lampros, “H 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. View at Publisher · View at Google Scholar
  7. B. Shen, Z. Wang, H. Shu, and G. Wei, “On nonlinear H filtering for discrete-time stochastic systems with missing measurements,” IEEE Transactions on Automatic Control, vol. 53, no. 9, pp. 2170–2180, 2008. View at Publisher · View at Google Scholar
  8. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  9. 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. View at Publisher · View at Google Scholar · View at Scopus
  10. 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. View at Publisher · View at Google Scholar
  11. 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. View at Publisher · View at Google Scholar · View at Scopus
  12. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  13. 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. View at Scopus
  14. 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.
  15. D. Koenig, S. Mammar, and B. Marx, “H fault detection and isolation for descriptor systems: a matrix inequalities approach,” in Proceedings of the American Control Conference, pp. 1080–1081, May 2002. View at Scopus
  16. 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. View at Publisher · View at Google Scholar · View at Scopus
  17. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  18. 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. View at Publisher · View at Google Scholar · View at Scopus
  19. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  20. 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. View at Publisher · View at Google Scholar · View at Scopus
  21. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  22. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  23. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  24. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  25. 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  26. 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. View at Publisher · View at Google Scholar · View at Scopus
  27. 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. View at Publisher · View at Google Scholar · View at Scopus
  28. 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. View at Publisher · View at Google Scholar · View at Scopus
  29. 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. View at Publisher · View at Google Scholar · View at Scopus
  30. 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. View at Publisher · View at Google Scholar · View at Scopus
  31. 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. View at Scopus
  32. 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. View at Scopus
  33. 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. View at Scopus
  34. J. Qiu, G. Feng, and J. Yang, “A new design of delay-dependent robust H 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. View at Publisher · View at Google Scholar · View at Scopus
  35. 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. View at Publisher · View at Google Scholar · View at Scopus
  36. 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. View at Publisher · View at Google Scholar · View at Scopus