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.

96 Chapitre 5. Conditions suffisantes pour l’émulation d’observateurs pour les NCS<br />

est en accord avec le fait que le problème est résolu lorsque les contraintes de communication<br />

sont ignorées (e = 0). Afin de soulager les notations, nous avons choisi d’om<strong>et</strong>tre c<strong>et</strong>te<br />

dépendance. Dans la suite de l’analyse, nous prendrons implicitement β 2 qui dépend, non pas<br />

de τ, mais des bornes sur τ indiquées dans les énoncés des théorèmes <strong>et</strong> corollaires.<br />

Remarque 5.2.2 On remarque que ζ ∈ K, puisque c<strong>et</strong>te fonction continue est strictement<br />

croissante sur [0, 1 L ln( 1 ρ<br />

)) <strong>et</strong> ζ(0) = 0.<br />

L’hypothèse de stabilité suivante sur le système (5.2) garantira la bornitude des états du<br />

système (5.1)-(5.6).<br />

Hypothèse 5.2.4 Le système (5.2) est UEBEB avec pour entrée (ξ,e,w) <strong>et</strong> des gains linéaires,<br />

i.e. il existe α ∈ K <strong>et</strong> γ ξ 3 ,γe 3 ,γw 3 ∈ R ≥0 tels que, pour tout z 0 ∈ R nz , (ξ,e,w) ∈ L n ξ+n e+n w<br />

∞ , les<br />

propriétés suivantes sont satisfaites par les solutions de (5.2) :<br />

|z(t)| ≤ α(|z 0 |) + γ ξ 3 ‖ξ‖ [t 0 ,t) + γe 3 ‖e‖ [t 0 ,t) + γw 3 ‖w‖ [t 0 ,t)<br />

∀t ≥ t 0 ≥ 0. (5.23)<br />

Remarque 5.2.3 Tout au long de c<strong>et</strong>te étude, les gains des perturbations exogènes, γi<br />

w où<br />

i ∈ {1,2,3}, sont supposés linéaires uniquement afin de simplifier l’exposé. En eff<strong>et</strong>, tous les<br />

résultats s’appliquent immédiatement pour des gains non linéaires γ w i ∈ K.<br />

Le théorème principal peut maintenant être énoncé.<br />

Théorème 5.2.1 Supposons que les Hypothèses 5.2.1- 5.2.4 soient vérifiées, si τ ∈ [υ,τ 1 ) où<br />

( [<br />

] )<br />

τ 1 = 1 L ln La 1 + γ1 e(γξ 2 +γz 2 γξ 3 )+γz 2 γe 3<br />

[<br />

] , (5.24)<br />

Lρa 1 + γ1 e(γξ 2 +γz 2 γξ 3 )+γz 2 γe 3<br />

si L = 0,<br />

(<br />

1<br />

τ 1 = lim<br />

L→0<br />

L ln<br />

[<br />

La 1 +<br />

[<br />

γ1 e(γξ 2 +γz 2 γξ 3 )+γz 2 γe 3<br />

]<br />

Lρa 1 + γ1 e(γξ 2 +γz 2 γξ 3 )+γz 2 γe 3<br />

]<br />

)<br />

=<br />

a 1 (1−ρ)<br />

γ e 1 (γξ 2 +γz 2 γξ 3 )+γz 2 γe 3<br />

, (5.25)<br />

alors le système (5.1)-(5.6) est UEBEB avec w comme entrée <strong>et</strong> il existe β ∈ KL, σ ∈ K,<br />

¯σ,ε ∈ KK tels que, pour tout ∆ ∈ R ≥0 , (ξ 0 ,e 0 ,z 0 ) ∈ R n ξ+n e+n z<br />

avec |(ξ 0 ,e 0 ,z 0 )| < ∆, w ∈ L nw<br />

∞ :<br />

|(ξ(t),e(t))| ≤ β (|(ξ 0 ,e 0 ,z 0 )|,t − t 0 ) + σ(‖w‖ ∞<br />

) + ¯σ(τ, ‖w‖ ∞<br />

) + ε(τ,∆) ∀t ≥ t 0 ≥ 0.<br />

(5.26)<br />

Preuve. Dans un premier temps, il est prouvé que le système (5.1)-(5.6) est positivement<br />

compl<strong>et</strong> pour toute perturbation w ∈ L nw<br />

∞ . La bornitude des variables ξ, e <strong>et</strong> z est ensuite<br />

déduite. Finalement, la propriété de convergence désirée (5.26) est obtenue.<br />

Etape 1 : Complétude positive.<br />

Soient (ξ 0 ,e 0 ,z 0 ) ∈ R n ξ+n e+n z<br />

, w ∈ L nw<br />

∞ <strong>et</strong> τ ∈ [υ,τ 1). Soit [t 0 ,t max ) l’intervalle d’existence<br />

maximal du système (5.1)-(5.6), où t max ∈ (t 0 ,∞]. Notons que la Proposition 5.2.1 peut

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

Saved successfully!

Ooh no, something went wrong!