Adaptative high-gain extended Kalman filter and applications
Adaptative high-gain extended Kalman filter and applications
Adaptative high-gain extended Kalman filter and applications
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
tel-00559107, version 1 - 24 Jan 2011<br />
trajectory.<br />
Definition 32<br />
For a “forgetting horizon” d>0, the innovation is:<br />
� t<br />
Id (t) =<br />
t−d<br />
3.3 Innovation<br />
�y (t − d, x (t − d) , τ) − y (t − d, z (t − d) , τ)� 2 dτ (3.4)<br />
where y (t0,x0, τ) denotes the output of the system (3.2) at time τ with x (t0) =x0.<br />
Hence y (t − d, x (t − d) , τ) denotes y(τ), the output of the process. Notice that y (t − d, z (t − d) , τ)<br />
is not the output of the observer.<br />
For a good implementation, it is important to underst<strong>and</strong> the significance of this definition.<br />
Figure 3.1 illustrates the situation at time t. Innovation is obtained as the square of the<br />
L 2 distance between the black (plain) <strong>and</strong> the red (dot <strong>and</strong> dashed) curves. They respectively<br />
represent the output of the system on the time interval [t−d, t], <strong>and</strong> the prediction performed<br />
with z(t − d) as initial state.<br />
y(t)<br />
z(0)<br />
x(0)<br />
0<br />
0<br />
t-d<br />
Output traj.<br />
Estimated output<br />
y(t-d,z(t-d),t)<br />
t<br />
time<br />
Figure 3.1: The Computation of Innovation.<br />
The importance of innovation in this construction is explained by the following lemma.<br />
As we will see in Section 3.8, this is the cornerstone of the proof.<br />
Lemma 33<br />
Let x0 1 ,x02 ∈ Rn , <strong>and</strong> u ∈ Uadm. Let us consider the outputs y � 0,x0 1 , ·� <strong>and</strong> y � 0,x0 2 , ·�<br />
of system (3.2) with initial conditions respectively x0 1 <strong>and</strong> x02 . Then the following property<br />
(called persistent observability) holds:<br />
∀d >0, ∃λ 0 d > 0 such that ∀u ∈ L1 b (Uadm)<br />
�x 0<br />
1 − x 0<br />
2� 2 ≤ 1<br />
λ 0 d<br />
� d<br />
�y � 0,x 0 1, τ � − y � 0,x 0 2, τ � � 2 dτ. (3.5)<br />
0<br />
41