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 />

5.1 Multiple Inputs, Multiple Outputs Case<br />

− y (t − d, z(t − d),s) denotes the output of the system of Subsection 5.1 computed over<br />

the interval s ∈ [t − d; t] with z(t − d) as the initial state,<br />

− y is the measured output of dimension ny.<br />

Let us now denote n∗ = max � �<br />

n1,n2, ..., nny , the size of the largest block, <strong>and</strong> define the<br />

matrix:<br />

⎛<br />

1/θ<br />

⎜<br />

∆i = ⎜<br />

⎝<br />

n∗−ni 0<br />

0<br />

1/θ<br />

... 0<br />

n∗ .<br />

−(ni−1)<br />

. ..<br />

. ..<br />

. ..<br />

.<br />

0<br />

0 . . . 0 1/θn∗ ⎞<br />

⎟<br />

⎠<br />

(5.2)<br />

−1<br />

<strong>and</strong> ∆ is given by diag(∆1, ..., ∆ny). The definition of Qθ is the same as before:<br />

Qθ = θ∆ −1 Q∆ −1 .<br />

We need to provide a new definition for the matrix Rθ. To do so, we begin with the matrix:<br />

⎛<br />

θ<br />

⎜<br />

δθ = ⎜<br />

⎝<br />

n∗−n1 0 ... 0<br />

0 θn∗ . −n2 .. .<br />

. .. . .. 0<br />

0 . . . 0 θn∗ ⎞<br />

⎟<br />

⎠<br />

−nny<br />

,<br />

<strong>and</strong> set:<br />

The initial state of the observer is:<br />

− z(0) ∈ χ ⊂ R n ,<br />

Rθ = 1<br />

θ δθRδθ.<br />

− S(0) ∈ Sn(+), the set of the symmetric positive definite matrices,<br />

− θ(0) = 1.<br />

Remark 48<br />

This definition can also be used for single output systems. Since (ny = 1) ⇒ (n = n1 <strong>and</strong><br />

n ∗ = n) ⇒ (n ∗ − n1 = 0). Therefore:<br />

− δθ =1,<br />

− ∆ is the same as in Chapter 3, equation (3.3).<br />

5.1.3 Convergence <strong>and</strong> Proof<br />

The convergence theorems remain as presented in Chapter 3:<br />

Theorem 49<br />

For any time T ∗ > 0 <strong>and</strong> any ε ∗ > 0, there exist 0 < d < T ∗ <strong>and</strong> a function F (θ, Id) such<br />

that for any time t ≥ T ∗ :<br />

�x (t) − z (t)� 2 ≤ ε ∗ e −a (t−T ∗ )<br />

where a>0 is a constant (independent from ε ∗ ).<br />

95

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

Saved successfully!

Ooh no, something went wrong!