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.

Annexe D. Théorèmes du p<strong>et</strong>it gain pour des systèmes paramétrés 181<br />

ε ∈ (0,δ −1 (∆)), x(t 0 ) ∈ R nx <strong>et</strong> u ∈ L nu<br />

∞ avec max { |x(t 0 )|, ‖u‖ ∞<br />

} < δ(ε). Premièrement, on<br />

remarque que, d’après (D.28) <strong>et</strong> le fait que γ y ∈ K,<br />

{<br />

γ y (s) ≤ γ y (m) < m si s ∈ [0,m)<br />

γ y (s) < s si s ∈ [m,M].<br />

On en déduit, d’après (D.25), (D.26), (D.29) <strong>et</strong> (D.33), que :<br />

|y(t)| ≤ max { β(|x(t 0 )|,0),γ y (‖y‖ [t0 ,t) ),γu (‖u‖ [t0 ,t) ),c }<br />

y<br />

(D.33)<br />

‖y‖ [t0 ,t)<br />

≤ max { β(δ(ε),0),γ u (‖u‖ [t0 ,t) ),c} , (D.34)<br />

en remarquant que,<br />

(<br />

ε ∈ [0, sup<br />

il s’en suit<br />

ς∈[0,∞)<br />

)<br />

β(ς,0))<br />

(<br />

)<br />

ε ≥ sup<br />

ς∈[0,∞)<br />

β(ς,0)<br />

⇒<br />

⇒<br />

(<br />

)<br />

β(δ(ε),0) ≤ β(ϑ −1 (ε),0) ≤ ε<br />

(<br />

)<br />

β(δ(ε),0) ≤ sup<br />

ς∈[0,∞)<br />

β(ς,0) ≤ ε ,<br />

|y(t)| ≤ ‖y‖ [t0 ,t)<br />

≤ max { ε,γ u (‖u‖ [t0 ,t) ),c} .<br />

Ainsi, le système (D.1)-(D.3) est (˜γ u ,c,∆)-uniformément pratiquement stable <strong>et</strong> donc (˜γ u ,c, ¯∆)-<br />

uniformément pratiquement stable (puisque ¯∆ ≤ ∆) d’après la Définition D.1.1.<br />

Etape 2. Attractivité (˜γ u ,c, ¯∆)-uniforme pratique.<br />

Soient t 0 ∈ R, r ∈ (0, ¯∆), ε ∈ (c,∞), x(t 0 ) ∈ R nx <strong>et</strong> u ∈ L nu<br />

∞ avec max { }<br />

|x(t 0 )|, ‖u‖ ∞ < r.<br />

Parallèlement à (D.34),<br />

{<br />

}<br />

|y(t)| ≤ max β(|x(t 0 )|,0),γ y (‖y‖ [t0 ,t) ),γu (‖u‖ [t0 ,t) ),c y<br />

}<br />

‖y‖ [t0 ,t)<br />

≤ max<br />

{β(r,0),γ u (‖u‖ [t0 ,t) ),c . (D.35)<br />

Plusieurs suites sont maintenant définies : (T r<br />

i ) i∈Z ≥0<br />

, ( ˆT r<br />

i ) i∈Z ≥0<br />

<strong>et</strong> (M r i ) i∈Z ≥0<br />

. Soient T r 0 = 0,<br />

M r 0 = r, T r 1 > 0 est choisi suffisamment grand tel que β(M r 0 ,T r 1 ) ≤ γy (β(r,0)). Soit ˆσ(s) =<br />

max{σ x (s),σ y (β(s,0))} pour s ∈ R ≥0 , Mi r est défini par, pour i ∈ Z >0 :<br />

{<br />

Mi r = max ˆσ(r),σ t (T0 r + . . . + Ti r ),σ y (c),c x<br />

}. (D.36)<br />

D’autre part, Ti+1 r > 0 est choisi suffisamment grand tel que<br />

<strong>et</strong> ˆT r<br />

i<br />

β(M r i ,T r<br />

i+1 ) ≤ (γy ) i+1 (β(r,0)), (D.37)<br />

= T r 0 + . . . + T r<br />

i , pour i ∈ Z ≥0.

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

Saved successfully!

Ooh no, something went wrong!