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