This paper purposes the design of a fault detection filter for stochastic systems with mixed time-delays and parameter uncertainties. The main idea is to construct some new Lyapunov functional for the fault detection dynamics. A new robustly asymptotically stable criterion for the systems is derived through linear matrix inequality (LMI) by introducing a comprehensive different Lyapunov-Krasovskii functional. Then, the fault detection filter is designed in terms of linear matrix inequalities (LMIs) which can be easily checked in practice. At the same time, the error between the residual signal and the fault signal is made as small as possible. Finally, an example is given to illustrate the effectiveness and advantages of the proposed results.

1. Introduction

Stochastic systems have strong practical relevance in mechanical systems, economics, systems with human operators, and other engineering areas. Meanwhile, the filtering problem has many applications in the areas of signal processing, signal estimation, pattern recognition, and many practical control systems. Therefore, the filter design problems and the stochastic systems have become important areas of research and received great attention over the past few years [16].

With the rising demand for higher safety and increasing demand for higher performance in the modern industries, the research on fault detection for dynamic systems has received more and more attention during the past two decades, like model-based schemes [7], knowledge-based approaches [8], and signal-based methods [9], and so forth. Particularly, the problem of model-based fault detection has been an active research area among them. The basic objective of model-based fault detection is to construct the residual generator, and to determine the residual evaluation function and the threshold. An alarm of fault will be generated, when the value of the evaluation function is greater than the stated threshold. However, randomly occurring nonlinearities and the existence of unknown inputs may seriously affect the performance of model-based fault detection systems. Therefore, robustness issue plays an important role in the application of model-based fault detection schemes. Increasing the robustness of residual to unknown inputs and modelling errors and enhancing the sensitivity to faults are of prime importance in designing a model-based fault detection system. Among different methods for fault detection, the model-based approach has been widely used in recent years. So far, the problem of fault detection has been thoroughly investigated for a variety of systems including uncertain systems [2, 1014], time-delay systems [1517], and Markovian jump linear systems [18].

Besides, time-delay is one of the major sources of instability and poor performance of a practical control system. And many results on stochastic systems with time delays have been reported in the literature [1012] and the references therein. There is a need to discuss the distributed delays that occur very often in practical systems. The engineering significance of distributed delays has been widely recognized, and a number of corresponding results have been published; see, for example, [15]. The distributed delays in the discrete-time setting, on the other hand, have received little attention. It is well known that nonlinearities exist universally in practical systems, and therefore nonlinear control has been an ever hot topic in the past few decades.

As far as we know, the delay-dependent criteria on fault detection filter design for delayed stochastic systems with parameter uncertainties have not been fully studied, which is still open. Motivated by the above discussion and in order to obtain less conservative results, we choose an appropriate new Lyapunov functional and establish a new integral inequality in the stochastic setting. What is more, because we have carefully considered the ranges for the time-varying delays, our criteria can be applicable to both fast and slow time-varying delays. The stability criteria obtained are in terms of linear matrix inequalities (LMIs) which can be checked efficiently via the LMI toolbox. Finally, a numerical example is also given to demonstrate the effectiveness and advantages of our theoretical results.

Notations. The notations used throughout the paper are fairly standard. The superscript “” stands for matrix transposition; denotes the -dimensional Euclidean space; is the set of all real matrices; the notation means that is a positive definite matrix; and represent identity matrix and zero matrix, respectively; and diag() denotes the diagonal matrix. The vector norm is taken to be Euclidean, and the matrix norm is the corresponding induced one. denotes the expectation operator. is the space of square-integrable vector function over . In symmetric block matrices, we use an asterisk () to represent a term that is induced by symmetry. Matrices, if their dimensions are not explicitly stated, are assumed to be compatible for algebraic operations.

2. Problem Formulation and Some Preliminaries

The simplest and most fundamental case considered is the problem of quadratic stabilization for the following system: where is the state and is the control input. Then, we add discrete time-delays , , while describe the distributed time-delays. In addition, we are motivated to study the fault detection problem for a class of discrete-time systems involving stochastic time-delay, such that we consider the following stochastic time-delay system: where is the state; is the process output; is the unknown input which belongs to ; is the fault to be detected; , , , , , , and are real known constant matrices with compatible dimensions. The discrete time-delay is a time-varying differentiable function satisfying , while denotes the discrete time-delays, and the constant satisfies the following convergence conditions , .

Assumption 1. The nonlinear function satisfies the following condition: for any , , , where , are constants.

Assumption 2. The stochastic variables , , and and mutually uncorrelated Bernoulli distributed white sequences that account for, respectively, the phenomena of randomly occurring discrete time-delays, distribute time-delays, and nonlinearities. A natural assumption on the sequences , , and is made as follows:

In a networked environment, it is quite common that the measurements of the system are quantized during the signal transmission. Let us denote the quantizer as which is symmetric, that is, , .

The map of the quantization process is . In this paper, we are interested in the logarithmic static and time-invariant quantizer. For each, the set of quantization levels is described by , , , and each of the quantization levels corresponds to a segment, such that the quantizer maps the whole segment to this quantization level. According to [19], the quantizer is given by where , such that with ; the measurements with quantization effect can be expressed as with .

Consider the following full-order fault detection filter for system (2): where is the filter state vector, is the so called residual that is compatible with the fault vector , and , , and are appropriately dimensioned filter matrices to be designed.

From (2), (5), and (7), we can obtain the following filtering error system: with

In order to conduct the stability analysis for the above systems, it is necessary to make the following definitions and lemmas.

Definition 3. Consider the system (8) with ; it is said to be mean-square exponentially stable if for any initial conditions, there exist a and , such that , . Moreover, if , then the system is said to be robust asymptotically mean-square stable.

Definition 4. Given a scalar , the error system (8) is said to be mean-square robustly exponentially stable with the attenuation level if the error system (8) with is mean-square robustly exponentially stable, and under zero initial condition, the following is true for all nonzero : Correspondingly, system (7) is said to be stochastic filter of system (2).

We further adopt a residual evaluation stage including an evaluation function and a threshold of the following form: where denotes the maximum time step of the evaluation function. Based on (16), the occurrence of faults can be detected by comparing with according to the following rule: (with faults) alarm; no faults.

Remark 5. The parametric uncertainties , , , and satisfy where and , and satisfies .

Lemma 6. Let , , and be real matrices of appropriate dimensions with . Then, for any scalar , one has

Lemma 7 (Schur complement). Given constant matrices , , and , where and , then if and only if

Lemma 8 (Liu et al. [5]). For any constant matrix , , , and constants . If the series concerned is convergent, then one has

3. Main Results

In this section, we will investigate a sufficient condition on the performance analysis for the filter error system (8). And then, the solution to the fault detection filter design for the system (2) is listed as follows.

Theorem 9. For nominal system of (8) with given filter parameters and the index , the fault detection dynamics is robustly exponentially stable in mean square, if there exist constant , positive matrices , , , and any matrices with appropriate dimensions, such that the following LMIs hold:

Proof. For simplicity, let Then, we have the following equation: For this system, we construct the following Lyapunov functional: with
Taking the difference of the functional along the solution of the system, we obtain
It is obvious that Then, we have the following equations: By using Lemma 8, we have From Assumption 1, , we have .
It can be deduced that there exists such that where denotes the unit column vector having one element on its th row and zeros elsewhere.
Now, we are ready to prove the exponential stability of the system (8) with . Combining (16)–(24), we can easily see that where
If , we can obtain that by Schur complements (Lemma 7), whereThen, the system (8) with is mean-square robustly asymptotically stable. Furthermore, along the same line of the proof for Theorem 1 in [15], the exponential stability of system (8) can be confirmed on the mean-square sense.
Next, we will establish the performance of the filtering error system (8) under the zero initial condition. To this end, we introduce And, it is obvious to see that Along the same line as the proof of the stability of system (7), , wherewe can show that .
Letting , we obtain
This completes the proof.

Next, we are in a position to deal with the design of the filter output feedback controller for the system (8) and obtain the main result of this paper in the following theorem.

Theorem 10. For given constants , , and a scalar , the fault detection filter (7) exists such that error system (8) is robustly asymptotically exponentially stable in mean square, if there exist constant , positive matrices , , and , and any matrices , , , and with appropriate dimensions, respectively,

If is a feasible solution of (15), there exist nonsingular matrices and satisfying . The fault detection filter parameters in the form of (7) are given as follows:

Proof. The condition in (31) pledges that .
This inequality implies that and are nonsingular by Schur complement. If the condition in (32) is feasible, there exist nonsingular matrices , satisfying .
Then, we introduce the following matrices:
Obviously , are nonsingular.
Let then .
Pre- and postmultiplying inequality (32) by ,  and  letting , , we can obtain (8). This completes the proof.

When there are parameters uncertainties, we have the following corollary.

Corollary 11. For given constants , and a scalar , the fault detection filter (7) exists such that error system (8) is robustly asymptotically exponentially stable in mean square, if there exist constant , , positive matrices , , and , and any matrices , , , and with appropriate dimensions, respectively,where, , , , , , , , , , , , , and have been defined in Theorem 9: If is a feasible solution of (15), there exist nonsingular matrices and satisfying . The fault detection filter parameters in the form of (7) are given as follows:

Proof. When considering the system with uncertain parameters, we need to replace , , , with , , , in (32). Then, (32) changes into , where ; .
Using Schur complement and lemma, we can derive (37). This completes the proof.

4. Illustrative Example

In this section, a numerical example will be presented to illustrate the effectiveness of our results.

Example 1. Consider the system (2) with the parameters listed as follows [13]:
Let the time-varying communication delays satisfy . For the measurement quantization, the parameters of the logarithmic quantizer are set as and . Then, the fault detection filter parameters can be obtained from Corollary 11 as follows.
For the parameters listed previously, by Corollary 11 in our paper, we can obtain the following feasible filtering parameters: and the performance index between the robustness and sensitivity is .

Example 2. To show the usefulness and effectiveness of the designed fault detection filter, let the external disturbance be . Figures 1 and 2 show the residual signal and evolution of residual function , respectively, when the fault signal is given as It indicates that the designed filter can detect the fault effectively. In [13], the fault can be detected in 6 time steps after its occurrence. However, from Figure 2, we can see that the fault can be detected in 4 time steps after its occurrence. Therefore, it can be seen that the residual can not only reflect the fault in time but also detect the fault without confusing it with the disturbance .

5. Conclusion

The fault detection filter design for stochastic systems with time-varying delays has been investigated in this research. Based on the Lyapunov functional method, sufficient conditions are obtained to ensure that the error systems are mean-square robustly asymptotically stable, and then the filters are designed in terms of LMIs. Numerical example has been given to illustrate the effectiveness of the proposed main results. The foregoing results have the potential to be useful for the study of stochastic systems.


This research was supported by the National Basic Research Program of China (2010 CB732501), the Fund of Sichuan Provincial Key Laboratory of Signal and Information Processing (SZJJ2009-002), and the Fund of Sichuan Provincial Key Laboratory of Signal and Information Processing (SGXZD0101-10-1).