Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
we have
....
T....
+ (I -
..
GkCk)Pk,k-l(GkCk)
==(1 - OkCk)Pk,k-l .
(3.23)
(3.24)
== E(xo)
xklk-l == Ak-1Xk-llk-l
xklk == xklk-l + Gk(Vk - CkXk1k-l)
k == 1,2, ....
xOlo
(3.25)
Vk
x(kh),
== 0,1,.
43
Fig. 3.1.
, ", - -
-~
x(t)
"'-,
I
I
x(O)
1h2 ..
~k+l
= ~k + h~k +"2
Xk+l
= Xk + hXk ,
Xk
where Xk ~ x(kh) and k = 0,1,. In addition, in many applications only the position (vector) of the flying object is observed
at each time instant, so that Vk = CXk with C = [I 0 0] is
measured. In view of Exercise 3.8, to facilitate our discussion we
only consider the tracking model
(3.26)
44
= 0,
E("1k) = 0,
E(~k~;) = Qk 6kl,
E(xo~;) = 0,
E("1k"1l) = rk 6kl,
E(Xo"1k) = 0,
Pk,k-l[2,2] =
Pk,k-l[1,3]
h2
= P k- 1[1, 3] + hPk- 1[2, 3] + 2Pk-1[3, 3] + Qk-l[l, 3],
= Pk,k-l [3,2]
= Pk-l[2, 3] + hPk-l[3, 3] + Qk-l[2, 3],
Pk,k-l [3,3] = Pk-l [3,3] + Qk-l [3,3] ,
Pk,k-l [2,3]
Exercises
45
(3.27)
Exercises
3.1. Let A =f. 0 be a non-negative definite and symmetric constant
matrix. Show that trA > o. (Hint: Decompose A as A = BB T
with B =f. 0.)
3.2. Let
j-I
ej
Cj(Xj -
Yj-I) = C j
(Xi -
Pi-l,iVi) ,
'1.=0
define
WO,"', W r ,
Y(Wo,"', w r )
r
y= LPiWi,
i=O
Let
j-I
Zj
= Vj
Cj
Pj-l,iVi
i=O
ej
3.4. Let
Ilzjll-lzj'
Show that
j-I
Yj-I
=L
Pj-l,iVi
i=O
and
j-I
Zj
Vj -
Cj
Pj-l,iVi .
i=O
Show that
j
= 0,1," . ,k - 1.