Académique Documents
Professionnel Documents
Culture Documents
Derivation
Kalman Filter
Derivation Overview
1. State extrapolation
x$ k +1 = Φ k +1 x$ k
2. Covariance Extrapolation
Pk- +1 = Φ k +1 Pk Φ kT+1 + Qk
4. State Update
[
x$ k +1 = x$ -k +1 + K k +1 z k +1 − H k +1x$ -k +1 ]
5. Covariance Update
Pk +1 = Pk- +1 − K k +1 Hk +1 Pk- +1
Kalman Filter
Derivation Definitions and Identities
δz
δ
δz 1
x
= M
δx δ
z
δ
xn nx1
δz δz
δ L
δ a1n
δ z 11
a
= M O M
δA δ δz
z
δ L
am1 δ amn
Kalman Filter
Derivation Definitions and Identities
δx T y δy T x
(1) =y=
δx δx
δx T Nx
(2) = 2Nx ( where N is symmetric)
δx
δ ( A x + b) M( A x + b)
T
(3) = 2 A TM A x + 2 A T M b = 2 A T M ( A x + b)
δx
δ
(4 ) trace ( AC) = C T
δA
Note for A C to be square, dim A = dim C T
δ
(5 ) trace ( ABA T ) = 2 A B (where B is symmetric)
δA
Kalman Filter
Derivation Definitions and Identities
= [ P −1 + H T R −1 H] [P −1 + H TR −1H]P − H TR −1HP
−1
= P − [ P −1 + H T R −1 H] H TR −1HP
−1
Process: x k +1 = Φ k +1 x k + w k
Measurement: zk = Hkxk + vk
Assumptions: E [ x 0 ] = µ 0x
E [ w k ] = 0∀k
E [ v k ] = 0∀k
{ }
cov w k , w j = Q k δ kj
{ }
cov v k , v j = R k δ kj
cov{ x 0 , x 0 } = P0
{ }
cov w k , v j = 0 , ∀ k ,
cov{ x 0 , w k } = 0 , ∀ k ,
{ }
cov x 0 , v j = 0 , ∀ j
Kalman Filter
Derivation Assumptions
zk = Hk x k + v k
Kalman Filter
Derivation Goal
x$ k +1 = K ′k +1x$ k + K k +1zk + 1
′ .
Step 1. For unbiased x$ k , develop exp ression for K k+1 Substitute for K ′k+1 to
obtain state update exp ression (equation 4).
Define Pk +1 (equation 2)
For x$ k +1 to be unbiased, E [ x$ k +1 − x k +1 ] = 0.
14243
~
x k +1
Kalman Filter
Derivation Step 1
x$ k +1 − x k +1 = K ′k+1 x$ k + K k +1 z k +1 − x k +1
The final step is to take the expectation of this expression and set it equal
to zero. For the right hard side to be equal to zero, the following must be
true
which implies
or
or equivalently
It remains to find the value of Kk+1 which minimizes the covariance of the
estimation error
Kalman Filter
Derivation Step 1
~
x k +1 = x$ k +1 − x k +1
σ 12
Pk +1 looks like O
σ n2
σ 12 + L + σ n2 = Trace Pk +1
Pk +1 = E [ ~ x kT+1 ]
x k +1 ~
X$ -k+1 = Φ k +1 X$ k
Kalman Filter
Derivation Step 2
Pk +1 = E ~{
x k +1 ~
x −k +T1 }
= Φ E (~
k +1 {x −x k k ) ( ~
x k − x k ) T
}Φ kT+1 + E {w k+1 w kT+1}
= Φ k +1 Pk Φ kT+1 + Q k +1
B. Find the cov ariance Pk +1 (the cov ariance of the final estimation error, equation 5).
It will be a function of K k +1 and Pk- +1 .
(
U sin g the identity x$ k +1 = x$ -k+1 − K k +1 z k +1 − Hk +1x$ -k+1 in )
~
x k +1 = x$ k +1 − x k +1
Gives
x k +1 = [ I − K k +1Hk +1 ] x$ -k+1 + K k +1 z k +1 − x k +1
~
= [ I − K k +1Hk +1 ] x$ -k+1 + K k +1 [ Hk +1 x k +1 + v k +1 ] − x k +1
[ ] [ ]
= x$ -k+1 − x k +1 − K k +1Hk +1 x$ -k+1 − x k +1 + K k +1v k +1
[ ]
= [ I − K k +1Hk +1 ] x$ -k+1 − x k +1 + K k +1 v k +1
= [ I − K k +1Hk +1 ] ~
x -k+1 − K k +1 v k +1
Kalman Filter
Derivation Step 2
Thus
x k +1 = x$ k +1 − x k +1 = [ I − K k +1 Hk +1 ] ~
~ x -k+1 + K k +1 x k +1
Taking the expected value of both sides will provide us with an expression
for Pk+1
x k +1 = E [ ~
Pk +1 = Cov ~ x T k +1 ]
x k +1 ~
= [ I − K k +1 Hk +1 ]Pk- +1 [ I − K k +1 Hk +1 ] + K k +1 R k +1 K Tk +1
T
U sin g P as shorthand notation for Pk- +1 , K for K k +1, R for R k +1, and H for Hk +1
Pk +1 = (I − K H) P (I − K H) + K R K T
T
= (I − K H) P (I − H T K T ) + K R K T
= P − K H P − P HTK T + K H P H T K T + K R K T
Tr Pk +1 = Tr P − 2 Tr K H P + Tr K(H P H T )K T + Tr K R K T
Kalman Filter
Derivation Step 2
(P HTK T ) = K H P
T
U sin g the identities
Tr (P H TK T ) = Tr (K H P)
δ Tr A B A T
= 2 A B where B is symmetric
δA
δ Tr A C
= CT
δA
δ Tr Pk + 1
= −2 P H T + 2 K H P H T + 2 K
δK
K = P H T (H P H T + R )
−1
[H ]
−1
K k +1 = Pk +1 H
- T
k +1 k +1
- T
Pk +1 H
k +1
+ R k +1
Pk +1 = (I − K k +1 Hk +1 ) Pk- +1 [ I − K k +1Hk +1 ] + K k +1 R k +1 K Tk +1
T
Pk +1 = (I − K k +1 Hk +1 ) Pk- +1
Kalman Filter
Derivation Summary
[
x$ k +1 = x$ -k +1 + K k +1 z k +1 − Hk +1 x$ -k +1 ]
where
x$ -k +1 = Φk +1 x$ k
Pk- +1 = Φk +1 Pk ΦkT+1 + Q k +1
[ ]
−1
K k +1 = Pk- +1 HTk +1 Hk +1 Pk- +1 HTk +1 + R k +1
Pk +1 = [ I − K k +1 K k +1 ]Pk- +1
Kalman Filter
Derivation Alternate Gain Expression
The standard Kalman Filter algorithm computes the gain Kk+1, then computes the
updated covariance Pk+1 as a function of the gain.
[H ]
−1
K k +1 = Pk +1 H
- T
k+1 k +1
-
Pk +1 HT
k+1 + R k +1
Pk +1 = [ I − K k +1 Hk +1 ] Pk- +1
Usually dim z < dim x (size measurement vector smaller than number of states), so
this formulation is desirable.
Kalman Filter
Derivation Alternate Gain Expression
This form is
[( ) ]
−1 −1
Pk +1 = Pk +1-
+H
T
k +1 R −1
k +1 H k +1
K k +1 = Pk +1 HTk +1 R −k1+1
Pk +1 = (I − K k +1 Hk +1 )Pk +1 = Pk +1 - Pk +1 H (H )
-1
- - - T
k +1 k +1
-
Pk +1 H T
k +1 + R k +1 Hk +1 Pk- +1
[(P ) ]
MIL −1 −1
= -
k +1
+H
T
k +1 R −1
k +1 Hk +1
(H ) [(P ) ]
-1 GE −1 −1
−1
K k +1 = Pk +1 H
- T
k +1 k +1
-
Pk +1 H T
k +1 + R k +1 = -
k +1
+H T
k +1 R k +1 Hk +1 HTk +1 R −k1+1