Discrete Dynamics in Nature and Society
Volume 2015 (2015), Article ID 867206, 13 pages
http://dx.doi.org/10.1155/2015/867206

Research Article

Fault Detection for Linear Discrete Time-Varying Descriptor Systems with Missing Measurements

Guangfu Deng and Huihong Zhao

Clean Energy Research and Technology Promotion Center, Dezhou University, Dezhou 253023, China

Received 18 October 2014; Accepted 19 November 2014

Academic Editor: Zidong Wang

Copyright © 2015 Guangfu Deng and Huihong Zhao. 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 deals with the problem of fault detection for a class of linear discrete time-varying descriptor systems with missing measurements, and the missing measurements are described by a Bernoulli random binary switching sequence. We first translate the fault detection problem into an indefinite quadratic form problem. Then, a sufficient and necessary condition on the existence of the minimum is derived. Finally, an observer-based fault detection filter is obtained such that the minimum is positive and its parameter matrices are calculated recursively by solving a matrix differential equation. A numerical example is given to demonstrate the efficiency of the proposed method.

1. Introduction

During the last four decades, the fault diagnosis theory has received considerable attention, and many remarkable achievements have been obtained [1–6]. As mentioned in [2], it is well recognized that the model-based fault diagnosis techniques can be classified into three classical approaches: observer-based methods, parity space methods, and parameter identification based methods. Most of the achievements on fault diagnosis always assume that the observations contain the signal to be detected. However, in practice, the observation may contain the signal in a random manner. In this paper, the fault detection problem for a class of linear discrete time-varying descriptor systems with random missing measurements is investigated.

In practice, time variability is the inherent characteristic of most systems. Recently, research on fault diagnosis of linear systems with time-varying parameters has attracted more and more attention; see, for example, [7–22]. By dividing the filter gain matrix into two sections, an unknown input decoupling optimal filter for linear stochastic systems has been designed in [7], and its application on fault diagnosis has also been addressed. By employing the invariant subspace method and game theory, a game fault detection filter has been proposed in [8]. Based on parity space approach and stochastic signal processing methods, the fault detection and isolation have been studied for a class of linear discrete systems with stochastic inputs and deterministic disturbances and faults in [15, 21]. By applying adaptive observer method, a residual generator has been provided for linear discrete time-varying systems in [19, 22], and the residual adaptive threshold is derived by set-membership computations based on zonotopes. By assuming that the mean and variance of the fault and disturbances are known, the optimal fault detection filter for a class of stochastic systems has been developed in [10, 11, 13, 16]; however, in general, the prior information of the fault cannot be obtained. By solving a min-max problem with a generalized least-squares cost criterion, a generalized least-squares fault detection filter has been designed in [9, 12]. By using an adaptive observer method, a fault diagnosis technique for linear time-varying systems has been developed in [14, 17, 18]. However, to the best of authors’ knowledge, few reports on fault diagnosis problem of linear discrete time-varying descriptor systems have been published, which motivates the present study.

In classical fault diagnosis theories, all residual signals are obtained in the case that the measured output contains valid information. However, the data packet dropout is inevitable in navigation and guidance system, industrial control system, and network control system. Thus, in recent years, increasing attention has been paid to fault diagnosis problems for systems with missing measurements [23–25]. By employing the linear matrix inequality technique, both full-order and reduced-order fault detection filters have been considered for a class of linear discrete time-invariant systems with missing measurements and parameter uncertainty in [23]. In finite frequency domain, the fault detection problem has been concerned with systems with missing measurements in [24], and the fault detection scheme has been utilized to an aircraft model. In [25], the missing measurements are described by Markov random process, and the residual generator is presented as a discrete-time Markovian jump linear system. Note that the existing results mainly focus on the nondescriptor systems; there are few achievements on fault detection problem for descriptor systems with missing measurements. Therefore, in this paper, we aim to design the fault detection filter and residual evaluation scheme for a class of linear discrete time-varying descriptor systems with random missing measurements.

In this paper, based on the estimation method proposed in [26], a new fault detection filter design approach is developed for a class of linear discrete time-varying descriptor systems with random missing measurements. First, the fault detection problem is converted to the problem in which a certain indefinite quadratic form has a minimum and the fault detection filter parameter matrices are such that the minimum is positive. Then, by applying matrix analysis method, a necessary and sufficient condition for the indefinite quadratic form is analyzed. And by guaranteeing the positivity of the minimum, the parameter matrices of the fault detection filter are obtained. Moreover, the residual evaluation function and threshold are designed for the fault detection. Finally, a numerical example is provided to illustrate the performance of the fault detection filter and the residual evaluation scheme.

2. Problem Statement

Consider a discrete time-varying descriptor system described by the following model:

where , , , , and are the state, external disturbance input, uncertain measurement output, measurement noise, and fault to be detected, respectively; , , and are bounded signals belonging to ; is a positive integer; , , , , and are known real-time-varying matrices with appropriate dimensions; and is a singular matrix with , ; the random variable is a Bernoulli distributed white sequence taking the values of 0 and 1 with

where denotes the mathematical expectation, denotes the probability distribution, and is a known positive scalar.

Hypothesis 1. The initial matrices of system (1) satisfy the condition that .

The fault detection problem under investigation in this paper can be stated as follows. Given a disturbance attenuation level , based on the measurement output sequence , find a residual signal . If it exists, the following inequality is satisfied:

where

is a given positive definite matrix function which reflects the relative uncertainty of the initial state about the initial state estimate . Without loss of generality, let .

Even if the measurement data are fully available, the valid information of fault is not contained in the measurement output when . Thus, an one-step lag fault detection issue is defined as (3) to overcome this problem.

Define the following new variables:

Thus, system (1) can be described as the following augmented model:

where

For the purpose of fault detection, the following observer-based fault detection filter is proposed as a residual generator:

where . Thus, the fault estimation problem can come down to the following: find the parameter matrices and ; if they exist, the performance index (3) is satisfied.

According to system (6), the performance index (3) is reexpressed as

where and , and assume that and .

Define

Then, the fault detection problem is equivalent to the following:

(1) of (10) has minimum with respect to and ;(2) can be chosen such that the value of at its minimum is positive.

In the following, we will first discuss the mathematical expectation of based on system (6). Then, the existence of the minimum over and can be derived. Finally, a solution to parameter matrices and will be obtained such that .

3. Main Results

From (6) and (10), we have

Notice that

where

Then, we have

Thus, can be further expressed as

where

In virtue of the above variables, for all , we have

Lemma 1 (see [26]). Consider matrices , , , and of appropriate dimensions, and is symmetric. If and only if and , for any , we have

If the minimum is attained, it is unique if and only if . Moreover, the optimal solution is derived by .

3.1. Existence Conditions of the Minimum

According to Lemma 1, has the minimum if and only if . When , let

Therefore, when , has the minimum if and only if .

Furthermore, for all , we can obtain the following equation from (17):

To ensure that (20) is positive definite, must be positive definite. Assume that is satisfied, and note that

Therefore, . If and only if the Schur complement of in (20) is positive definite, we have .

Define

And notice that

Then,

Moreover, we obtain

Thus, it is readily known that has a minimum if and only if .

In light of the above discussion, we have the following results.

Theorem 2. Consider the linear discrete time-varying descriptor system (1), given a scalar ; then has a minimum over and if and only if , where

3.2. Design of the Fault Detection Filter

According to Lemma 1, it is known that if has a minimum over and , the optimal solution is

When , we have

Furthermore, notice that

Then,

Hence,

From the above analysis, we obtain

As such,

Thus,

Based on the above discussion, we present the main results of this paper.

Theorem 3. Consider system (1), given a scalar ; then the fault detection filter (8) that achieves (3) exists if, and only if, and

where is calculated by (26).

Proof. Note that has a minimum over and if and only if , and the minimum is

It is readily seen that a positive minimum of is guaranteed by setting , . Furthermore, substituting into (34), we obtain

In the light of the above equation, the parameter matrices of (8) can be given by (35). Hence, the theorem is proven.

From Theorem 3 in this section, the fault detection filter can be computed in the following steps.

Step 1. Set , , , and ; calculate and in (9).

Step 2. Calculate and using (26) and (28).

Step 3. If , let , and go to Step 4; otherwise, exit.

Step 4. Let ; compute using (26).

Step 5. If , compute , , and using (35) and (8), and go to Step 4; otherwise, exit.

Step 6. Repeat Steps 4 to 5 till .

Remark 4. Note that the system augmentation has been applied to design the fault detection filter (8); it may lead to more expensive computational cost. Fortunately, an simultaneous state and unknown input estimator for descriptor system have been proposed in [27], and an fixed-lag smoother for missing measurements system has been given in [28], so it is possible, in the future, to design a new fault detection filter with lower computational cost by using the algorithm given in [27, 28].

4. Residual Evaluation

When the design of the fault detection filter has been completed, the next task is residual evaluation. First, the following residual evaluation function and the threshold are introduced to facilitate fault detection:

The following strategy is applied for fault detection:

If, for all , , the system (1) can be redescribed as follows:

Employing a similar technical line of Section 3 in this paper, we can obtain the residual signal of system (40). For a given scalar , by employing performance index (3) and Theorem 3, we can judge whether the residual evaluation function with zero initial conditions achieves the following inequality:

Note that and are bounded signals, so there exist and such that

Suppose that the minimum achieving (41) is ; then we have

Thus, the residual threshold can be defined as

Finally, it can be judged based on the strategy given in (39).

5. A Numerical Example

Consider the discrete system (1) with the following parameters:

Set and . The unknown signals , , and are supposed to be

By applying Theorem 3, the fault detection filter is designed. Figure 1 shows the residual signal when and , and Figure 2 shows the residual evaluation function and threshold when and . Figure 3 shows the residual signal when and , and Figure 4 shows the residual evaluation function and threshold when and . It is shown that the tracking performance of fault detection filtering is good in the above two cases. Figure 5 shows the variation law of random parameter when . Figure 6 shows the residual signal when and , and Figure 7 shows the residual evaluation function and threshold when and . Figure 8 shows the residual signal when and , and Figure 9 shows the residual evaluation function and threshold when and . It is shown that the tracking performance of fault detection filtering is weakening when the system has missing measurements, but the threshold in Figures 7 and 9 has good performance.

Figure 1: Residual signal when and .

Figure 2: Residual evaluation function and threshold when and .

Figure 3: Residual signal when and .

Figure 4: Residual evaluation function and threshold when and .

Figure 5: Random parameters when .

Figure 6: Residual signal when and .

Figure 7: Residual evaluation function and threshold when and .

Figure 8: Residual signal when and .

Figure 9: Residual evaluation function and threshold when and .

6. Conclusions

In this paper, the Bernoulli random binary switching sequence has been applied to describe missing measurements, and it has been used as a basis on the study of the fault detection problem for linear discrete time-varying descriptor systems. The main contribution of this paper is to develop a novel approach on solving the fault detection problem for time-varying descriptor systems with missing measurements. An augmented system has been first obtained, and a relationship has been established between the fault detection problem and a certain indefinite quadratic form problem. By applying matrix analysis method, a necessary and sufficient existence condition and the explicit formula of the fault detection filter have been derived. The residual evaluation function and the threshold have been designed to facilitate fault detection. Finally, the proposed algorithm has been proved to be effective by a numerical example.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported in part by the National Natural Science Foundation of China (nos. 61403061, 60774004, and 61273097), the Science and Technology Development Project of Dezhou, China (no. 2012B05), the Talent Introduction Project of Dezhou University, China (no. 311432), and the Solar Energy Special Project of Dezhou University, China (no. 14ZX03). The authors would like to thank the editor and reviewers for valuable comments and constructive suggestions aimed at improving the quality of this paper.

References

A. Mahapatro and P. M. Khilar, “Fault diagnosis in wireless sensor networks: a survey,” IEEE Communications Surveys and Tutorials, vol. 15, no. 4, pp. 2000–2026, 2013.

S. X. Ding, Model-Based Fault Diagnosis Technique, Springer, Berlin, Germany, 2008.

Q. Shen, B. Jiang, and P. Shi, “Adaptive fault diagnosis for T-S fuzzy systems with sensor faults and system performance analysis,” IEEE Transactions on Fuzzy Systems, vol. 22, no. 2, pp. 274–285, 2014.

S. Zhang, K. R. Pattipati, Z. Hu, X. Wen, and C. Sankavaram, “Dynamic coupled fault diagnosis with propagation and observation delays,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 43, no. 6, pp. 1424–1439, 2013.

L. Yao, J. Qin, A. Wang, and H. Wang, “Fault diagnosis and fault-tolerant control for non-Gaussian non-linear stochastic systems using a rational square-root approximation model,” IET Control Theory & Applications, vol. 7, no. 1, pp. 116–124, 2013.

N.-B. Hoang and H.-J. Kang, “A model-based fault diagnosis scheme for wheeled mobile robots,” International Journal of Control, Automation and Systems, vol. 12, no. 3, pp. 637–651, 2014.

J. Chen and R. J. Patton, “Optimal filtering and robust fault diagnosis of stochastic systems with unknown disturbances,” IEE Proceedings—Control Theory and Applications, vol. 143, no. 1, pp. 31–36, 1996.

W. H. Chung and J. L. Speyer, “A game-theoretic fault detection filter,” IEEE Transactions on Automatic Control, vol. 43, no. 2, pp. 143–161, 1998.

R. H. Chen and J. L. Speyer, “Residual-sensitive fault detection filter,” in Proceedings of the 7th IEEE Mediterranean Conference on Control and Automation, pp. 835–851, Haifa, Israel, 1999.

R. H. Chen and J. L. Speyer, “Optimal stochastic fault detection filter,” in Proceedings of the American Control Conference, pp. 91–96, San Diego, Calif, USA, June 1999.

R. H. Chen and J. L. Speyer, “Optimal stochastic multiple-fault detection filter,” in Proceedings of the 38th Conference on Decision and Control, pp. 4965–4970, Phoenix, Ariz, USA, 1999.

R. H. Chen and J. L. Speyer, “A generalized least-squares fault detection filter,” International Journal of Adaptive Control and Signal Processing, vol. 14, no. 7, pp. 747–757, 2000.

R. H. Chen and J. L. Speyer, “Robust multiple-fault detection filter,” International Journal of Robust and Nonlinear Control, vol. 12, no. 8, pp. 675–696, 2002.

A. P. Xu and Q. H. Zhang, “Fault detection and isolation based on adaptive observers for linear time varying systems,” in Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, Spain, 2002.

F. Gustafsson, “Stochastic fault diagnosability in parity spaces,” in Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, Spain, 2002.

R. H. Chen, D. L. Mingori, and J. L. Speyer, “Optimal stochastic fault detection filter,” Automatica, vol. 39, no. 3, pp. 377–390, 2003.

A. Xu and Q. Zhang, “Residual generation for fault diagnosis in linear time-varying systems,” IEEE Transactions on Automatic Control, vol. 49, no. 5, pp. 767–772, 2004.

Q. H. Zhang, “An adaptive observer for sensor fault estimation in linear time varying systems,” in Proceedings of the 16th IFAC World Congress, Prague, Czech Republic, 2005.

C. Combastel and Q. Zhang, “Robust fault diagnosis based on adaptive estimation and set-membership computations,” in Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS '06), pp. 1273–1278, Beijing, China, September 2006.

X. Li and K. Zhou, “A time domain approach to robust fault detection of linear time-varying systems,” in Proceedings of the 46th IEEE Conference on Decision and Control (CDC '07), pp. 1015–1020, New Orleans, La, USA, December 2007.

F. Gustafsson, “Statistical signal processing approaches to fault detection,” Annual Reviews in Control, vol. 31, no. 1, pp. 41–54, 2007.

C. Combastel, Q. H. Zhang, and A. Lalami, “Fault diagnosis based on the enclosure of parameters estimated with an adaptive observer,” in Proceedings of the 17th World Congress the International Federation of Automatic Control, pp. 7314–7319, Seoul, South Korea, 2008.

H. Gao, T. Chen, and L. Wang, “Robust fault detection with missing measurements,” International Journal of Control, vol. 81, no. 5, pp. 804–819, 2008.

Y. Long and G.-H. Yang, “Fault detection in finite frequency domain for networked control systems with missing measurements,” Journal of the Franklin Institute, vol. 350, no. 9, pp. 2605–2626, 2013.

P. Zhang, S. X. Ding, and P. M. Frank, “Fault detection of networked control systems with missing measurements,” in Proceedings of the 5th Asian Control Conference, pp. 1258–1263, IEEE Press, New York, NY, USA, 2004.

J. Y. Ishihara, M. H. Terra, and J. P. Silva, “ estimation for rectangular discrete-time descriptor systems,” in Proceedings of the American Control Conference, pp. 5650–5654, Minneapolis, Minn, USA, June 2006.

H. Zhao, C. Zhang, and G. Xing, “ filtering and smoothing for linear discrete time-varying descriptor systems with unknown inputs,” IET Control Theory & Applications, vol. 6, no. 5, pp. 734–743, 2012.

H. Zhao and C. Zhang, “ fixed-lag smoothing for linear discrete time-varying systems with uncertain observations,” Applied Mathematics and Computation, vol. 224, pp. 387–397, 2013.