Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering

Volume 2014, Article ID 358601, 10 pages

http://dx.doi.org/10.1155/2014/358601
Research Article

On Fault Estimator Design for Linear Discrete Time-Varying Systems under Unreliable Communication Link

1School of Electrical Engineering, University of Jinan, Jinan 250022, China

2School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore 639798

3School of Control Science and Engineering, Shandong University, Jinan 250061, China

Received 24 April 2014; Revised 3 July 2014; Accepted 6 July 2014; Published 17 July 2014

Academic Editor: Weihai Zhang

Copyright © 2014 Yueyang Li 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 investigates the fixed-lag fault estimator design for linear discrete time-varying (LDTV) systems with intermittent measurements, which is described by a Bernoulli distributed random variable. Through constructing a novel partially equivalent dynamic system, the fault estimator design is converted into a deterministic quadratic minimization problem. By applying the innovation reorganization technique and the projection formula in Krein space, a necessary and sufficient condition is obtained for the existence of the estimator. The parameter matrices of the estimator are derived by recursively solving two standard Riccati equations. An illustrative example is provided to show the effectiveness and applicability of the proposed algorithm.

1. Introduction

To satisfy the growing demands for reliability and safety in control systems, more and more research efforts are made for model-based fault detection (FD) during the past decades; see [16] and references therein. Basically, the FD issue concerns designing a fault detection filter (FDF) for generating a residual signal such that the sensitivity of residual to fault is intensified by enhancing the robustness to the disturbance. In reviewing of the development of FD, with the aid of linear matrix inequality (LMI) techniques, much attention has been paid to linear time-invariant (LTI) systems with various characteristics such as time-delay, model inaccuracy, time-dependent switching mode, and uncertain observations; see [710] and related works. Recently, some contributions are devoted to linear time-varying (LTV) systems since most practical industrial processes can be represented or well approximated by time-varying dynamics [11]. For example, in [11, 12], unified optimal solutions are derived in the framework of maximizing and FD performance indices for linear continuous time-varying (LCTV) and linear discrete time-varying (LDTV) systems, respectively. In [1315], the filtering based fault estimation methods are proposed for LDTV systems in virtue of the Krein space based reorganized innovation analysis and projection theory in the background of [1621].

On another front line, with the rapid progress of networked control systems and distributed sensor/actuator systems, the packet dropout caused by sensor gain reductions may happen when transmitting information under unreliable links. The random uncertainty introduced by packet dropouts evidently deteriorates the performance of the FDF. Many contributions are dedicated to FD issue for systems with incomplete measurements by employing the LMI formulated fault estimation approach over infinite horizon; we refer to [2226] and references therein. For finite-horizon case, an fault estimator for LDTV systems with multiple packet dropouts is designed in [27] based on the stochastic bounded real lemma (BRL), while a two-objective optimization FD method for LDTV systems with intermittent observations is addressed in [28]. Unfortunately, if there is no sensor fault in the measurement channel or the data packet is not time-stamped, the algorithms proposed in [27, 28] will fail. This indicates that research on FD problem for LDTV systems subject to intermittent measurements has not been fully investigated yet, which is the main motivation of the present study.

To overcome the drawbacks in the existing results, a novel fault estimator design method for LDTV systems with intermittent observations is proposed. The contribution of this paper consists in three aspects as follows:(1)an fixed-lag fault estimator design problem is formulated by establishing an equivalent system and its corresponding deterministic performance index;(2)by employing the reorganized innovation analysis approach and the projection theory in Krein space, a necessary and sufficient condition of the existence of the estimator is derived;(3)a recursive fault estimation algorithm is proposed, which is apt to be online applied for finite-horizon.

The rest of the content is organized as follows. Section 2 provides the formulation of the concerned problem. Section 3 presents our main results of designing the fault estimator. The proposed approach is applied to a time-varying model to illustrate its applicability in Section 4. Finally, the paper is ending with some conclusions.

Notations. Throughout this paper, vectors in the Krein space are represented by boldface letters, and vectors in the Euclidean space are denoted by normal letters. For a matrix , and stand for the transpose and inverse of , respectively. denotes is positive (negative) definite. means the set of -dimensional real vectors. and denote identity matrix and zero matrix with appropriate dimensions, respectively. E means the mathematical expectation of . means , where is a positive integer. The symbol represents the linear space spanned by the sequence taking values in the time interval . denotes the occurrence probability of the event “ ”. represents the Kronecker delta function, which is equal to unity for and zero for . means a block diagonal matrix with diagonal blocks .

2. Problem Formulation and Preliminaries

Consider the following LDTV system: where , , , , and denote the state, sensor measurement, process noise, observation noise, and fault, respectively. , , and belong to . , and are known time-varying matrices with appropriate dimensions. is a Bernoulli distributed binary stochastic variable to describe the measurement packet dropouts, which satisfies with being a known constant. The value of can be obtained by empirical observations, experimentations, and statistical analysis [29].

The main purpose of this paper is as follows: given a prescribed disturbance attenuation level , by collecting the observations , find as a suitable estimation of the fault signal such that the following -step delayed performance index is fulfilled with being a positive integer: where , .

Due to the fact that the denominator of the left side of (3) is positive, (3) can be rewritten as where . Consequently, according to [30], the fixed-lag fault estimation problem can be restated as follows: given a constant , design an estimator in the following way: where denotes a stable operator which generates a bounded operator mapping from , , to , such that the indefinite cost function (4) has a positive minimum with respect to , , and .

Remark 1. In the existing results, for example, [2228], the Bernoulli distributed random variables are introduced to describe the packet dropping or finite step measurement time-delay phenomenon. It is noteworthy that the designed estimators only depend on the probability, that is, , rather than . This indicates that the desired fault estimator does not require the time stamp of the data packet.

Remark 2. Notice that when is affected by the so-called sensor fault with the following form: the existing BRL based fault estimation algorithm in [27] is applicable in a “filter” manner. In the case that , the estimator is supposed to be designed as a “smoother” with the proposed performance index (4). In this scenario, the methodology in [27] may induce computational burden via state augmentation approach and the gain matrices of the estimator are arduous to be derived due to some coupled product terms. In what follows, a Krein space based fault estimator design scheme will be addressed to overcome the aforementioned defects.

3. Main Results

In this section, inspired by [31, 32], an equivalent Krein space stochastic system and a corresponding performance index are first introduced. Then, by exploiting the reorganized innovation analysis and the projection theory in Krein space, the fault estimator is derived.

3.1. Krein Space Model Design

Before we proceed, we would like to propose the following lemma to construct an auxiliary stochastic system in Krein space.

Lemma 3. Given a scalar and an integer , then the performance (4) is fulfilled if and only if there exists a fault estimator such that the following inequality holds: subject to the following dynamic constraints: where and are the fictitious observations with their corresponding observation noises and , respectively. The instantaneous value of at each time instant is equal to along with .

Proof. Consider the following.

Necessity. From (1), the state transition matrix is defined as hence, we have Define Then, in view of (10), we have where Thus, by substituting (12) into (4) and taking (2) into consideration, we have where Therefore, if the performance index (4) is satisfied, then, following the same line with the correlation between (1) and (4), we have subject to the dynamics (8) over , , and .

Sufficiency. For (8), since the value of is equivalent to and , in light of (14), it is easy to find out that for a given constant and an integer , , which indicates that if holds, then the performance (4) is satisfied. Combing the sufficiency and necessity part, the proof is complete.

In virtue of Lemma 3, the auxiliary performance index in (7) can be converted into the following compact form: where From (8) and (17), we have where Thus, according to [20, 21], we introduce the following Krein space system associated with (8), (16), (18), and (19): where , , , , and are uncorrelated white noises in Krein space satisfying with , , and being fictitious noise in Krein space corresponding to (17).

Consequently, on the basis of Lemma in [20], we have the following lemma.

Lemma 4. For (8), given a scalar and an integer , then the performance (7) has a minimum over if and only if and have the same inertia, where is the covariance matrix of innovation sequence given by where is the projection of onto . Furthermore, the minimum value of is where and are, respectively, calculated from the Krein space projections of and onto .

Remark 5. According to Lemmas 3 and 4, the purpose of establishing the dynamic model (8) associated with (7) is to derive a positive minimum of the cost function (4) by applying the projection theory in Krein space. Notice that although the measurement is a substantially stochastic sequence, the instantaneous values of and at each instant are available for the estimator. Thus, the equivalent cost function (7) and its corresponding dynamic constraint are constructed in a “conditional expectation” sense by gathering up (cf. (14) in the proof of Lemma 3).

3.2. Kalman Filtering in Krein Space

From the analysis above, the key step to achieve our goal is to find a suitable and . To this end, let then where and are zero-mean white noises with the following covariance matrices, respectively: It is easy to check out that span the same linear space as .

To proceed, the following definition is introduced.

Definition 6 (see [32]). For , the estimator is the optimal estimation of on the observation . For , the estimator is the optimal estimation of on the observation .

In accordance with (24), the innovation sequence is defined as follows: where with the corresponding covariance matrices given as

In light of Lemma in [20], the innovation sequences are uncorrelated white noises and span the same linear space as .

For deriving , applying the Krein space based projection formula in [21] by taking (21) and (22) into account, we have that where with .

In addition, following the definition of and (32), is the solution to the following standard Riccati equation:

For calculating with the initial condition , we apply the projection formula once again such that where with , and is computed recursively in the following form:

Similarly, the projection formula is reutilized to compute ; that is, where , is obtained recursively in terms of

Finally, in order to calculate which is associated with and , define , and then, from (38), we know that Combining (29) and (40), we have where and are the same as in (37) and (39).

3.3. Fault Estimator Design

From analysis and lemmas above, we are now in the position to give our main results for designing the fault estimator, which is summarized in the following theorem.

Theorem 7. For (8), given a scalar and an integer , then the fixed-lag fault estimator that satisfies (7) exists if and only if In this case, a feasible fault estimator is given by where , , and are calculated by (32), (34), (35), (37), and (39).

Proof. For , applying the block triangular factorization technique to in (41), we have where . Thus, from Lemma 4, we know that and have the same inertia if and only if as well as . Furthermore, based on (25) and (44), has a minimum if (42) are satisfied, where Since , to guarantee , combining (38) with (45), we know that a possible choice of is which indicates (43). This completes the proof.

Remark 8. It can be seen from Theorem 7 that the superiority of the proposed algorithm lies in three aspects:(i)in contrast with the results in [2226], the proposed algorithm can be applied to systems with time-varying ;(ii)comparing to the result in [27], the parameter matrices of the addressed estimator are given in terms of standard Riccati equations with the same dimension “ ” of system (8), where no coupled Lyapunov equation with higher dimension is needed;(iii)the fault can be estimated in an arbitrary fixed-lag “ .”

4. An Illustrative Example

To illustrate the effectiveness and the applicability of the proposed method, we will implement our algorithm on a time-varying model. The following system matrices are adopted which are borrowed from [33, 34]: The process noise is uniformly randomly chosen from the interval and the measurement noise is assumed as . The fault signal is assumed to be time-varying in the following sinusoidal form: and the expectation of is assumed as , where Figure 1 displays the switching mode of .

358601.fig.001
Figure 1: The change mode of .

Set , , , and ; we design the fault estimator by applying Theorem 7. Figure 2 displays the fault signal and its estimation simultaneously. Figure 3 shows the value of which is the error between the fault and its estimation. It can be seen from the results that our algorithm can track the fault signal no matter whether the random packet dropouts occur.

358601.fig.002
Figure 2: Fault and its estimation.
358601.fig.003
Figure 3: Fault estimation error.

5. Conclusions

The problem of fixed-lag fault estimator design for LDTV systems subject to intermittent observations has been dealt with. Special efforts have been made to handle the multiplicative uncertainty introduced by the random measurement packet dropouts. Through defining a couple of equivalent dynamic system and performance index, the fault estimator has been derived by using the projection formula in Krein space based on the reorganized innovation approach. The parameter matrices of the estimator have been calculated by solving two standard Riccati equations. The proposed algorithm has been applied to an LDTV model to illustrate its effectiveness and applicability.

Conflict of Interests

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

Acknowledgments

This work is partially supported by the National Natural Science Foundation of China (no. 61203083, no. 61304045, no. 61304013, and no. 61074021), the Doctoral Foundation of University of Jinan (no. XBS1242), and the Science and Technology Development Plan Program of Shandong Province (no. 2013GGX10117).

References

  1. M. Blanke, M. Kinnart, and J. Lunze, Diagnosis and Fault-Tolerant Control, Springer, Berlin, Germany, 2006.
  2. S. X. Ding, Model-based Fault Diagnosis Techniques, Springer, Berlin, Germany, 2008.
  3. M. Chadli, A. Abdo, and S. X. Ding, “H-/H fault detection filter design for discrete-time Takagi-Sugeno fuzzy system,” Automatica, vol. 49, no. 7, pp. 1996–2005, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  4. R. M. G. Ferrari, M. M. Polycarpou, and T. Parisini, “Distributed fault detection and isolation of large-scale discrete-time nonlinear systems: an adaptive approximation approach,” IEEE Transaction on Automatic Control, vol. 57, no. 2, pp. 275–290, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  5. J. Cai, C. Wen, H. Su, and Z. Liu, “Robust adaptive failure compensation of hysteretic actuators for a class of uncertain nonlinear systems,” IEEE Transactions on Automatic Control, vol. 58, no. 9, pp. 2388–2394, 2013. View at Publisher · View at Google Scholar · View at Scopus
  6. J. Liu and D. Yue, “Event-based fault detection for networked systems with communication delay and nonlinear perturbation,” Journal of the Franklin Institute, vol. 350, no. 9, pp. 2791–2807, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  7. N. Meskin and K. Khorasani, “Robust fault detection and isolation of time-delay systems using a geometric approach,” Automatica, vol. 45, no. 6, pp. 1567–1573, 2009. View at Publisher · View at Google Scholar · View at MathSciNet
  8. A. Casavola, D. Famularo, and G. Franz, “A robust deconvolution scheme for fault detection and isolation of uncertain linear systems: an {LMI} approach,” Automatica, vol. 41, no. 8, pp. 1463–1472, 2005. View at Publisher · View at Google Scholar · View at MathSciNet
  9. Y. Zhang, H. Fang, and Z. Liu, “Fault detection for nonlinear networked control systems with Markov data transmission pattern,” Circuits, Systems, and Signal Processing, vol. 31, no. 4, pp. 1343–1358, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. Y. Zhang, Z. Liu, H. Fang, and H. Chen, “H fault detection for nonlinear networked systems with multiple channels data transmission pattern,” Information Sciences, vol. 221, no. 1, pp. 534–543, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  11. X. Li and K. Zhou, “A time domain approach to robust fault detection of linear time-varying systems,” Automatica, vol. 45, no. 1, pp. 94–102, 2009. View at Publisher · View at Google Scholar · View at MathSciNet
  12. M. Zhong, S. X. Ding, and E. L. Ding, “Optimal fault detection for linear discrete time-varying systems,” Automatica, vol. 46, no. 8, pp. 1395–1400, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  13. M. Zhong, S. Liu, and H. Zhao, “Krein space-based H fault estimation for linear discrete time-varying systems,” Acta Automatica Sinica, vol. 34, no. 12, pp. 1529–1533, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  14. M. Zhong, D. Zhou, and S. X. Ding, “On designing H fault detection filter for linear discrete time-varying systems,” IEEE Transaction on Automatic Control, vol. 55, no. 7, pp. 1689–1695, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  15. B. Shen, S. X. Ding, and Z. Wang, “Finite-horizon H fault estimation for linear discrete time-varying systems with delayed measurements,” Automatica, vol. 49, no. 1, pp. 293–296, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  16. H. Zhang, L. Xie, D. Zhang, and Y. C. Soh, “A reorganized innovation approach to linear estimation,” IEEE Transactions on Automatic Control, vol. 49, no. 10, pp. 1810–1814, 2004. View at Publisher · View at Google Scholar · View at MathSciNet
  17. H. Zhang, L. Xie, Y. C. Soh, and D. Zhang, “H fixed-lag smoothing for discrete linear time-varying system,” Automatica, vol. 41, no. 5, pp. 839–846, 2005. View at Publisher · View at Google Scholar · View at MathSciNet
  18. H. Zhang, G. Feng, and C. Han, “Linear estimation for random delay systems,” Systems and Control Letters, vol. 60, no. 7, pp. 450–459, 2011. View at Publisher · View at Google Scholar · View at Scopus
  19. H. Zhang, X. Lu, W. Zhang, and W. Wang, “Kalman filtering for linear time-delayed continuous-time systems with stochastic multiplicative noises,” International Journal of Control, Automation and Systems, vol. 5, no. 4, pp. 355–363, 2007. View at Google Scholar · View at Scopus
  20. H. Zhang and L. Xie, Control and Estimation of Systems with Input/Output Delays, Springer, Berlin , Germany, 2007. View at MathSciNet
  21. B. Hassibi, A. H. Sayed, and T. Kailath, “Linear estimation in Krein spaces. I. Theory,” IEEE Transactions on Automatic Control, vol. 41, no. 1, pp. 18–33, 1996. View at Publisher · View at Google Scholar · View at MathSciNet
  22. H. Dong, Z. Wang, and H. Gao, “On design of quantized fault detection filters with randomly occurring nonlinearities and mixed time-delays,” Signal Processing, vol. 92, no. 4, pp. 1117–1125, 2012. View at Publisher · View at Google Scholar · View at Scopus
  23. J. Yu, M. Liu, W. Yang, and P. Shi, “Robust fault detection for Markovian jump systems with unreliable communication links,” International Journal of Systems Science, vol. 44, no. 11, pp. 2015–2026, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  24. X. Wan, H. Fang, and F. Yang, “Fault detection for a class of networked nonlinear systems subject to imperfect measurements,” International Journal of Control, Automation, and Systems, vol. 10, no. 2, pp. 265–274, 2013. View at Google Scholar
  25. D. Zhang, Q. Wang, L. Yu, and H. Song, “Fuzzy-model-based fault detection for a class of nonlinear systems with networked measurements,” IEEE Transactions on Instrumentation and Measurement, vol. 62, no. 12, pp. 3148–3159, 2013. View at Publisher · View at Google Scholar · View at Scopus
  26. S. M. M. Alavi and M. Saif, “Fault detection in nonlinear stable systems over lossy networks,” IEEE Transactions on Control Systems Technology, vol. 21, no. 6, pp. 2129–2142, 2013. View at Publisher · View at Google Scholar · View at Scopus
  27. Y. Y. Li and M. Y. Zhong, “Designing robust H fault detection filter for linear discrete time-varying systems with multiple packet dropouts,” Acta Automatica Sinica, vol. 36, no. 12, pp. 1788–1796, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  28. Y. Li, S. Liu, and Z. Wang, “Fault detection for linear discrete time-varying systems with measurement packet dropping,” Mathematical Problems in Engineering, vol. 2013, Article ID 697345, 9 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  29. J. Nilsson, Real-time control systems with delays [Ph.D. dissertation], Lund institute of Technology, 1998.
  30. A. A. Stoorvogel, H. H. Niemann, A. Saberi, and B. Sannuti, “Optimal fault signal estimation,” International Journal of Robust and Nonlinear Control, vol. 12, no. 8, pp. 697–727, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  31. H. Zhao and C. Zhang, “H fixed-lag smoothing for linear discrete time-varying systems with uncertain observations,” Applied Mathematics and Computation, vol. 224, pp. 387–397, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  32. X. Lu, H. Zhang, and J. Yan, “On the H deconvolution fixed-lag smoothing,” International Journal of Control, Automation and Systems, vol. 8, no. 4, pp. 896–902, 2010. View at Publisher · View at Google Scholar · View at Scopus
  33. J. Ma and S. Sun, “Optimal linear estimators for systems with random sensor delays, multiple packet dropouts and uncertain observations,” IEEE Transactions on Signal Processing, vol. 59, no. 11, pp. 5181–5192, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  34. M. Moayedi, Y. K. Foo, and Y. C. Soh, “Adaptive Kalman filtering in networked systems with random sensor delays, multiple packet dropouts and missing measurements,” IEEE Transactions on Signal Processing, vol. 58, no. 3, pp. 1577–1588, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus