03.01.2015 Views

THÈSE DE DOCTORAT Ecole Doctorale « Sciences et ...

THÈSE DE DOCTORAT Ecole Doctorale « Sciences et ...

THÈSE DE DOCTORAT Ecole Doctorale « Sciences et ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Chapitre 7. Convergence semiglobale pratique d’observateurs émulés pour les NCS 153<br />

Dans [50], l’observateur ci-dessous est développé :<br />

˙¯x = A¯x + Λ(y − ȳ) + Gγ (H ¯x + K (y − ȳ)) + φ(y) (7.45)<br />

ȳ = C ¯x, (7.46)<br />

où ¯x ∈ R nx , ȳ ∈ R ny , Λ est une matrice réelle de dimensions appropriées. Il est supposé qu’il<br />

existe une matrice réelle symétrique définie positive P <strong>et</strong> ν ∈ R >0 tels que :<br />

[<br />

]<br />

(A − ΛC) T P + P (A − ΛC) + νI P G + (H − KC) T<br />

G T ≤ 0. (7.47)<br />

P + (H − KC) 0<br />

Lorsque les mesures du système sont transmises via un réseau ordonnancé avec comme<br />

séquence d’instants de transmission {t i } i∈Z>0 telle que υ ≤ t i − t i−1 ≤ τ pour tout i ∈ Z >0 ,<br />

υ, τ ∈ R >0 <strong>et</strong> t 0 ∈ R ≥0 l’instant initial. Le système (7.40)-(7.46) peut s’écrire sous la forme :<br />

˙ξ = (A − ΛC)ξ − Λe + Gγ (H(ξ + z)) − Gγ (Hz + K(Cξ + e))<br />

+φ (C(ξ + z)) − φ (e + C(ξ + z)) ∀t ∈ [t i−1 ,t i ](7.48)<br />

ż = Az + Λ (e + Cξ) + Gγ (Hz + K(e + Cξ))<br />

+φ (e + C(ξ + z)) ∀t ∈ [t i−1 ,t i ] (7.49)<br />

ė = ˆf P (z) − CA(ξ + z) − CGγ (H(ξ + z)) − Cφ (C(ξ + z)) ∀t ∈ [t i−1 ,t i ](7.50)<br />

ξ + = ξ (7.51)<br />

z + = z (7.52)<br />

e + = h(i,e), (7.53)<br />

où z = ¯x, ˆf P est défini par (4.46) ou (4.48) <strong>et</strong> h par (4.29), (4.38), (E.1) ou (4.49). L’Hypothèse<br />

7.2.3 est satisfaite d’après le lemme suivant.<br />

Lemme 7.3.1 Pour tout ξ 0<br />

t ≥ t 0 ≥ 0 :<br />

|ξ(t)| ≤ max<br />

∈ R n ξ, e ∈ L ne<br />

∞, les solutions de (7.48) vérifient, pour tout<br />

{β 2 (|ξ 0 |,t − t 0 ),γ e 2 (‖e‖ [t 0 ,t) ) }<br />

, (7.54)<br />

avec, pour s,t ∈ R ≥0 ,<br />

√<br />

(<br />

)<br />

λ max (P )<br />

β 2 (s,t) =<br />

λ min (P ) s exp ν<br />

−<br />

4λ max (P ) t ,<br />

√<br />

γ2(s) e = 4 λ max (P )<br />

[<br />

]<br />

|P G|θ γ (|K|s) + |P Λ|s + |P |θ φ (s) .<br />

ν λ min (P )<br />

Preuve. Soient ξ 0 ∈ R n ξ<br />

(7.48) :<br />

<strong>et</strong> e ∈ L ne<br />

∞ . Considérons V (ξ) = ξT P ξ, le long des solutions de<br />

˙V = ξ T [ (A − ΛC) T P + P (A − ΛC) ] ξ + 2ξ T P G [γ (H(ξ + z)) − γ (Hz + K(Cξ + e))]<br />

−2ξ T P Λe + 2ξ T P [φ (C(ξ + z)) − φ (e + C(ξ + z))] .

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

Saved successfully!

Ooh no, something went wrong!