Abstract
This paper presents a new recursive filter to joint fault and state estimation of a linear time-varying discrete systems in the presence of unknown disturbances. The method is based on the assumption that no prior knowledge about the dynamical evolution of the fault and the disturbance is available. As the fault affects both the state and the output, but the disturbance affects only the state system. Initially, we study the particular case when the direct feedthrough matrix of the fault has full rank. In the second case, we propose an extension of the previous case by considering the direct feedthrough matrix of the fault with an arbitrary rank. The resulting filter is optimal in the sense of the unbiased minimum-variance (UMV) criteria. A numerical example is given in order to illustrate the proposed method.
1. Introduction
This paper is concerned with the problem of joint fault and state estimation of linear time-varying discrete-time stochastic systems in the presence of unknown disturbances. In spite of the presence of the unknown inputs, the robust estimate of the state and the fault enables us to implement a Fault Tolerant Control (FTC). A simple idea consists of using an architecture FTC resting on the compensation of the effect of the fault; see, for example, [1].
Initially, we refer to the unknown input filtering problem largely treated in the literature by two different approaches. The first approach was based on the augmentation of the state vector with an unknown input vector. However, this approach assumes that the model for the dynamical evolution of the unknown inputs is available. When the statistical properties of the unknown input are perfectly known, the augmented state Kalman filter (ASKF) is an optimal solution. To reduce computation costs of the ASKF, Friedland [2] developed the two-stage Kalman filter (TSKF). This latter is optimal only for a constant bias. Many authors have extended Friedland's idea to treat the stochastic bias, for example, [3–5]. Recently, Kim et al. [6, 7] have developed an adaptive two-stage Kalman filter (ATSKF). The second approach treats the case when we do not have a prior knowledge about the dynamical evolution of the unknown input. Kitanidis [8] was the first to solve this problem using the linear unbiased minimum-variance (UMV). Darouach et al. [9] extended Kitanidis's filter using a parameterizing technique to have an optimal estimator filter (OEF). Hsieh [10] has developed an equivalent to Kitanidis's filter noted robust two-stage Kalman filter (RTSKF). Later, Hsieh [11] developed an optimal minmum variance filter (OMVF) to solve the performance degradation problem encountered in OEF. Gillijns and Moor [12] have treated the problem of estimating the state in the presence of unknown inputs which affect the system model. They developed a recursive filter which is optimal in the sense of minimum-variance. This filter has been extended by the same authors [13] for joint input and state estimation to linear discrete-time systems with direct feedthrough where the state and the unknown input estimation are interconnected. This filter is called recursive three-step filter (RTSF) and is limited to direct feedthrough matrix with full rank. Recently, Cheng et al. [14] proposed a recursive optimal filter with global optimality in the sense of unbiased minimum-variance over all linear unbiased estimators, but this filter is limited to estimate the state (i.e., no estimate of the unknown input). In [15], the author has extended an RTSF-noted ERTSF, where he solved a general case when the direct feedthrough matrix has an arbitrary rank.
In this paper, we develop a new recursive filter to joint fault and state estimation for linear stochastic, discrete-time, and time-varying systems in the presence of unknown disturbances. We assume that the unknown disturbances affect only the state equation. While, the fault affects both the state and the output equations, as well, we consider that the direct feedthrough matrix has an arbitrary rank [15].
This paper is organized as follows. Section 2 states the problem of interest. Section 3 is dedicated to the design of the proposed filter. In Section 4, the obtained filter is summarized. An illustrative example is presented in Section 5. Finally, in Section 6 we conclude our obtained results.
2. Statement of the Problem
Assume the following linear stochastic discrete-time system:
where is the state vector, is the observation vector, is the known control input, is the additive fault vector, and is the unknown disturbances. and are uncorrelated white noise sequences of zero-mean and covariance matrices are and , respectively. The disturbance is assumed to have no stochastic description and must be decoupled. The initial state is uncorrelated with the white noises processes and and is a Gaussian random variable with and where denotes the expectation operator. The matrices , , , , , and are known and have appropriate dimensions. We consider the following assumptions:
(i): is observable,(ii): ,(iii): ,(iv): .The objective of this paper is to design an unbiased minimum-variance linear estimator of the state and the fault without any information concerning the fault and the unknown disturbances . We can consider that the filter has the following form:
where the gain matrices and are determined to satisfy the following criteria.
Unbiasedness
The estimator must satisfy
Minimum-Variance
The estimator is determined such that (i)the mean square errors is minimized under the constraint (2.5); (ii)the is minimized under the constraints (2.5) and (2.6).
3. Filter Design
In this section, the fault and the state estimation are considered in the presence of the unknown disturbance in two cases with respect to assumption . Section 3.1 is dedicated to deriving a UMV state and fault estimation filter if matrix has full rank (i.e., ). A general case will be solved by an extension of the UMV state and fault estimation filter in Section 3.2.
3.1. UMV Fault and State Estimation
In this subsection, we will study a particular case when the . The gain matrices and will be determined as that (2.3) and (2.4) can give an unbiased estimation of and . In the next, the UMV fault and state estimation are solved.
3.1.1. Unbiased Estimation
The innovation error has the following form
where
The fault estimation error and the state estimation error are, respectively, given by
The estimators and are unbiased if and satisfy the following constraints:
where , and .
Lemma 3.1. Let ; under the assumptions and , the necessary and sufficient condition so that the estimators (2.3) and (2.4) are unbiased as matrix is full column rank, that is,
Proof. Equations (3.6) and (3.7) can be written as The necessary and sufficient condition for the existence of the solution to (3.9) is We clarify (3.10), and we obtain However, the matrix on the left of the equality has a rank equal to . According to assumptions , and , this can be easily justified by considering that the faults and the unknown disturbances have an independent influences. The condition to satisfy is thus given by (3.8).
3.1.2. UMV Estimation
In this subsection, we propose to determine the gain matrices and by satisfying the unbiasedness constraints (2.5) and (2.6).
(a) Fault Estimation
Equation (3.1) will be written as
Since, does not have unit variance and does not satisfy the assumptions of the Gauss-Markov theorem [16], the least-square (LS) solutions do not have a minimum-variance. Nevertheless, the covariance matrix of has the following form:
where .
For that, can be obtained by a weighted least-square (WLS) estimation with a weighting matrix .
Theorem 3.2. Let be unbiased; the matrix is positive definite and the matrix is full column rank; then to have a UMV fault estimation, the matrix gain is given by where .
Proof. Under that is positive definite and an invertible matrix verifes , so we can rewrite (3.12) as follow. If the matrix is full column rank, that is, , then the matrix is invertible. Solving (3.15) by an LS estimation is equivalent to solve (3.12) by WLS solution: In this way, we can consider that has a unit variance and (3.15) can satisfy the assumptions of the Gauss-Markov theorem. Hence, (3.16) is the UMV estimate of .
In this case, the fault estimation error is rewritten as follows:
Using (3.17), the covariance matrix is given by
(b) State Estimation
In this part, we propose to obtain an unbiased minimum variance state estimator to calculate the gain matrix which will minimize the trace of covariance matrix under the unbiasedness constraint (3.7).
Theorem 3.3. Let be nonsingular; then the state gain matrix is given by
Proof. Considering (3.7) and (3.5), we determine as follows:
So, the optimization problem can be solved using Lagrange multipliers:
where is the matrix of Lagrange multipliers.
To derive (3.21) with respect to , we obtain
Equations (3.7) and (3.22) form the linear system of equations:
If is nonsingular, (3.23) will have a unique solution.
3.1.3. The Filter Time Update
From (3.3), the prior covariance matrix has the following form:
where is calculated by using (2.3) and (2.4):
3.2. Extended UMV Fault and State Estimation
In this section, we consider that . To solve this interesting problem we will use the proposed approach by Hsieh in (2009) [15]. If we introduce (3.2) and (3.3) into (3.4), then we will be able to write the fault error estimation as follows:
Assuming that we define the following notations:
where .
Using the same technique presented in [15], the expectation value of the is given by
When we assume that and for , then we obtain
To obtain an unbiased estimation of the fault, the gain matrix should respect the following constraints:
Equation (3.30) can be written as
where
Using (3.31), we can determine the gain matrix as follows:
where and denotes the Moore-Penrose pseudoinverse of .
The state estimation error is given by
To have an unbiased estimation of the state, the gain matrix should satisfy the following constraints:
From (3.35), we obtain
where
Refering to (3.34), we calculate the error state covariance matrix:
The gain matrix is determin by minimizing the trace of the covariance matrix such as (3.36). Using the Kitanidis method [8], we obtain
where is the matrix of Lagrange multipliers.
If is nonsingular, (3.39) will have a unique solution. So, the gain matrix is given by
The filter time update is the same as that given by (3.24) and (3.25). The obtained filters will be tested by an illustrative example in Section 5.
4. Summary of Filter Equations
We suppose to know the following:
(i)the known input ,(ii)matrices , , , , and ,(iii)covariance matrices and ,(iv)initial values and .We assume that the estimate of the initial state is unbiased and we take the initial covariance matrix .
Step 1. Estimation of fault is
Step 2. Measurement update is
Step 3. Time update is
Remark 4.1. If , then we have for all and it is easier to use the filter obtained in Section 3.1. In this case, the gain matrices and are given by (3.14) and (3.19), respectively.
Remark 4.2. These remarks give the relationships with the existing literature results. (i)If and , the obtained filter is equivalent to ERTSF developed by [15]. (ii)If and , then we have for all and the obtained filter is equivalent to RTSF proposed by [13]. (iii)In the case where and , the filter of [8] is obtained. (iv)In the case where , and , we obtain the standard Kalman filter.
5. An Illustrative Example
To apply our proposed filters we will treat different cases to respect assumption . The parameters of the system (2.1) are given by
In this simulation, four cases of will be considered as follows:
We assume that the fault and the disturbance are given by
where is the unit-step function.
Figure 1 presents the input sequence of the system (2.1). The simulation time is 100 time steps.
In Figure 2, we have plotted the actual and the estimated value of the first element of the state vector . Figures 3 and 4 present the actual and the estimated value of the first element and the second element of the fault vector , respectively. The convergence of the trace of covariance matrices and is shown, respectively, in Figures 5 and 6.
(a)
(b)
(c)
(d)
(a)
(b)
(c)
(d)
(a)
(b)
(c)
(d)
(a)
(b)
(c)
(d)
(a)
(b)
(c)
(d)
The simulation results in Table 1 show the average root mean square errors (RMSEs) in the estimated states and faults.
According to Figures 2–6 and Table 1, we can conclude that if the matrix has full rank, then we obtain a best estimate of the state and the fault (Figures 2(a), 3(a) and 4(a)). On the other hand, when the matrix has not full rank, it is not possible to obtain a best estimate of the various components of the fault (Figures 3(b), 3(c), 3(d), 4(b), 4(c) and 4(d)), but the state estimation remains acceptable (Figures 2(b), 2(c), and 2(d)).
6. Conclusion
In this paper, the problem of the state and the fault estimation are solved in the case of stochastic linear discrete-time and varying-time systems. A recursive unbiased minimum-variance (UMV) filter is proposed when the direct feedthrough matrix of the fault has an arbitrary rank. The advantages of this filter are especially important in the case when we do not have any priory information about the unknown disturbances and the fault. An application of the proposed filter has been shown by an illustrative example. This recursive filter is able to obtain a robust and unbiased minimum-variance of the state and the fault estimation in spite of the presence of the unknown disturbances.