Professional Documents
Culture Documents
Kalman Proof
Kalman Proof
Kn
Fn Pn HnT
+ 2Kn Hn Pn HnT
2Fn Pn HnT + 2Kn Hn Pn HnT + 2Kn Rn
Fn Pn HnT + Kn Hn Pn HnT + Kn Rn
+ 2Kn Rn
=0
(1)
=0
=0
=0
=Fn Pn HnT
Kn (Hn Pn HnT + Rn )
=Fn Pn HnT
(2)
1
(3)
B. Equation 98
Equation (98) is repeated here for convenience
Pn+1 = Fn Pn FnT Fn Pn HnT [(Hn Pn HnT + Rn )1 ]T Hn Pn FnT
+
+ Qn
+
+
+
(4)
Rn ) Hn Pn FnT
Rn )1 Hn Pn HnT [(Hn Pn HnT + Rn )1 ]T Hn Pn FnT
Rn )1 Rn [(Hn Pn HnT + Rn )1 ]T Hn Pn FnT
1
(5)
+
+
+
+
+
(6)
Rn ) Hn Pn FnT
Rn )1 Hn Pn HnT (Hn Pn HnT + Rn )1 Hn Pn FnT
Rn )1 Rn (Hn Pn HnT + Rn )1 Hn Pn FnT
1
+ Qn
Simplifying (6), we have
Pn+1 = Fn Pn FnT 2Fn Pn HnT (Hn Pn HnT + Rn )1 Hn Pn FnT
+
+
+
+
(7)
+ Qn
Items in red can be simplified thus,
Hn Pn HnT + Rn [(Hn Pn HnT + Rn )1 Hn Pn FnT ]
(8)
(9)
+ Rn )
(10)
Hn Pn FnT
+ Qn
From (10) we get (11).
Pn+1 = Fn Pn FnT Fn Pn HnT (Hn Pn HnT + Rn )1 Hn Pn FnT
(11)
+ Qn
Consider (11), it can be simplified thus,
Pn+1 = Fn Pn FnT Fn Pn HnT (Hn Pn HnT + Rn )1 Hn Pn FnT + Qn
Pn+1 =
Kn Hn Pn FnT +
Kn Hn )Pn FnT + Qn
Fn Pn FnT
Pn+1 = (Fn
Qn
(12)
(13)
(14)
C. Equation 107
x
n xn = (Kn zn + Kn x
n1 ) xn
(15)
x
n xn = Kn (Hn xn + vn ) + Kn x
n1 (Fn1 xn1 + wn1 )
(16)
T
(Qn1 HnT )Kn
= Qn1 HnT
Kn
Kn
(17)
T
T
= QT
n1 Hn = Qn1 Hn
(18)
E. Equation 125
T
Pn = Kn (Hn Mn1 HnT + Rn )Kn
Kn Hn Mn1
+ Mn1
(19)
T
Mn1 HnT Kn
Substitute Kn = Mn1 HnT [Hn Mn1 HnT + Rn ]1 in (19) for Kn in first term, only
T
Pn = Mn1 HnT [Hn Mn1 HnT + Rn ]1 (Hn Mn1 HnT + Rn )Kn
Kn Hn Mn1
(20)
T
Mn1 HnT Kn
+ Mn1
we have,
T
T
Pn = Mn1 HnT Kn
Kn Hn Mn1 Mn1 HnT Kn
+ Mn1
(21)
(22)
= (I Kn Hn )Mn1
(23)