THÈSE DE DOCTORAT Ecole Doctorale « Sciences et ...
THÈSE DE DOCTORAT Ecole Doctorale « Sciences et ...
THÈSE DE DOCTORAT Ecole Doctorale « Sciences et ...
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