Professional Documents
Culture Documents
www.elsevier.com/locate/automatica
Brief paper
Abstract
This paper addresses the problem of simultaneously estimating the state and the input of a linear discrete-time system. A recursive lter,
optimal in the minimum-variance unbiased sense, is developed where the estimation of the state and the input are interconnected. The input
estimate is obtained from the innovation by least-squares estimation and the state estimation problem is transformed into a standard Kalman
ltering problem. Necessary and sufcient conditions for the existence of the lter are given and relations to earlier results are discussed.
2006 Elsevier Ltd. All rights reserved.
Keywords: Kalman ltering; Recursive state estimation; Unknown input estimation; Minimum-variance estimation
1. Introduction
Thanks to its applications in fault detection and in state estimation for geophysical processes with unknown disturbances,
the problem of state estimation for linear systems with unknown inputs has received considerable attention during the
last decades.
For continuous-time systems, necessary and sufcient conditions for the existence of an optimal state estimator are
well-established (Darouach, Zasadzinski, & Xu, 1994; Hou &
Mller, 1992; Kudva, Viswanadham, & Ramakrishna, 1980).
Furthermore, design procedures for the reconstruction of unknown inputs have received considerable attention (Hou &
Patton, 1998; Xiong & Saif, 2003).
For discrete-time systems, earliest approaches were based
on augmenting the state vector with an unknown input vector, where a prescribed model for the unknown input is assumed. To reduce computation costs of the augmented state
lter, Friedland (1969) proposed the two-stage Kalman lter
where the estimation of the state and the unknown input are
This paper was not presented at any IFAC meeting. This paper was
recommended for publication in revised form by Associate Editor George
Yin under the direction of Editor I. Petersen.
Corresponding author. Tel.: +32 16 32 17 09; fax: +32 16 32 19 70.
E-mail addresses: steven.gillijns@esat.kuleuven.be (S. Gillijns),
bart.demoor@esat.kuleuven.be (B. De Moor).
0005-1098/$ - see front matter 2006 Elsevier Ltd. All rights reserved.
doi:10.1016/j.automatica.2006.08.002
112
2. Problem formulation
(1)
yk = Ck xk + vk ,
(2)
yk yk Ck xk|k1 ,
(7)
(3)
(4)
xk|k
= xk|k1 + Gk1 dk1 ,
(5)
xk|k = xk|k
+ Kk (yk Ck xk|k
),
(6)
yk = Ck Gk1 dk1 + ek ,
(8)
where ek is given by
ek = Ck (Ak1 xk1 + wk1 ) + vk ,
(9)
(10)
(11)
(12)
113
+ Rk .
(16)
Mk = (FkT R k1 Fk )1 FkT R k1 ,
(13)
(14)
Under the assumption that Sk1 Ck Gk1 has full column rank,
the LS solution dk1 of (14) equals
dk1 = (FkT R k1 Fk )1 FkT R k1 yk ,
(15)
(17)
(18)
Dening
Lk Kk + (In Kk Ck )Gk1 Mk ,
Eq. (18) is rewritten as
xk|k = xk|k1 + Lk (yk Ck xk|k1 ),
(19)
(20)
(21)
where the last step follows from the unbiasedness of the input
estimator. Substituting (21) in (16), yields
4. State estimation
,
xk = Ak1 xk1 + wk1
where
(22)
(23)
wk1
= (In Gk1 Mk Ck )wk1 Gk1 Mk vk .
(24)
114
E[x x T ]
An expression for the error covariance matrix Pk|k
k k
follows from (22) to (24),
T
= Ak1 Pk1|k1 Ak1
+ Qk1
Pk|k
(25)
(26)
+ wk1
) K k vk ,
(27)
vkT ] = Gk1 Mk Rk . Note that (27) has a close
where E[wk1
connection to the Kalman lter. This expression represents the
dynamical evolution of the error in the state estimate of a
Kalman lter with gain matrix Kk for the system (Ak , Ck ),
where the process noise wk1
is correlated with the measurement noise vk . The calculation of the optimal gain matrix Kk
has thus been reduced to a standard Kalman ltering problem.
It follows from (26) and (25) that the error covariance matrix
Pk|k is given by
,
Pk|k = Kk R k KkT Vk KkT Kk VkT + Pk|k
(28)
where
(31)
(32)
R k = Ck Pk|k
CkT + Rk + Ck Sk + SkT CkT ,
CkT + Sk ,
Vk = Pk|k
(29)
(30)
k1
Hi yi + N x0|0 ,
(33)
i=0
where we dropped the dependence of Hi and N on k for notational simplicity. A necessary and sufcient condition for (33)
to be an unbiased estimator of dk1 , is given in the following
lemma.
Lemma 9. The estimator (33) is unbiased if and only if N = 0,
Mk satises (11) and Hi Ci Gi1 = 0 for every i < k.
Proof. Sufciency: It
follows from (10) that if Hi Ci Gi1 = 0
for every i < k, then k1
i=0 Hi E[yi ] = 0. Furthermore, for Mk
satisfying (11), Mk yk and consequently also (33), with N = 0,
are unbiased estimators of dk1 .
Necessity: Assume that (33) is an unbiased estimator of dk1 .
Since no prior information about dk1 is available and since yk
is the rst measurement containing information about dk1 , we
conclude that E[Mk yk ] = dk1 and that consequently also (11)
must hold. Furthermore, the expected value of the sum of the
last two terms in (33) is zero for any unknown input sequence
d0 , d1 , . . . , dk1 if and only if Hi Ci Gi1 = 0 for every i < k
and N = 0.
In the remainder of this section, we only consider unbiased
input estimators of the form (33). We now prove that the mean
square error
2k1 E[dk1 dk1 22 ]
115
(34)
Acknowledgements
Our research is supported by Research Council KULeuven: GOA AMBioRICS, several PhD/postdoc and fellow
grants; Flemish Government: FWO: PhD/postdoc grants,
projects, G.0407.02 (support vector machines), G.0197.02
(power islands), G.0141.03 (Identication and cryptography),
G.0491.03 (control for intensive care glycemia), G.0120.03
(QIT), G.0452.04 (new quantum algorithms), G.0499.04
(Statistics), G.0211.05 (Nonlinear), research communities
(ICCoS, ANMMM, MLDM); IWT: PhD Grants, GBOU (McKnow); Belgian Federal Science Policy Ofce: IUAP P5/22
(Dynamical Systems and Control: Computation, Identication and Modelling, 20022006); PODO-II (CP/40: TMS
and Sustainability); EU: FP5-Quprodis; ERNSI; Contract Research/agreements: ISMC/IPCOS, Data4s, TML, Elia, LMS,
Mastercard.
(35)
References
Anderson, B. D. O., & Moore, J. B. (1979). Optimal ltering. Englewood
Cliffs, NJ: Prentice-Hall.
116