28.01.2013 Views

Adaptative high-gain extended Kalman filter and applications

Adaptative high-gain extended Kalman filter and applications

Adaptative high-gain extended Kalman filter and applications

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!