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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Chapitre 6. Extension des observateurs de Karafyllis-Kravaris aux NCS 121<br />

Remarque 6.4.4 De la même manière que (6.14) <strong>et</strong> l’Hypothèse 6.4.2 sont équivalentes, on<br />

peut montrer que (6.34) l’est avec :<br />

|L fP h i P (h O(z)) − L fP h i P (h O(z) + ξ)| ≤ ¯σ i (|x 0 | + |z 0 |,t) + K i ‖e‖ [t0 ,t) , (6.35)<br />

ce qui perm<strong>et</strong> de faire le lien entre l’Hypothèse 6.4.3 <strong>et</strong> (6.20).<br />

6.4.2 Pour des protocoles à excitation persistante<br />

On se concentre dans c<strong>et</strong>te sous-section sur les protocoles définits ci-dessous. La séquence<br />

de transmission {t i } i∈Z>0 ⊂ R ≥0 est définie comme dans §6.3. On nomme {t j i } i∈Z >0<br />

⊂ R ≥0 la<br />

sous-séquence d’instants auxquels le nœud j ∈ {1, . . . ,l} a accès au réseau.<br />

Définition 6.4.1 On appelle protocole à excitation persistante tout protocole qui satisfait les<br />

propriétés suivantes :<br />

(i) chaque séquence {t j i } i∈Z >0<br />

est non bornée ;<br />

(ii) pour tout j ∈ {1, . . . ,l} il existe υ j ∈ R >0 , τ j ∈ [υ,∞) tels que υ j ≤ t j i+1 − tj i ≤ τ j pour<br />

tout i ∈ Z ≥0 .<br />

Les instants de transmission d’un même nœud ne sont donc plus périodiques. La condition<br />

(i) assure qu’aucun nœud n’est ignoré après un temps donné, tandis que (ii) garantit l’existence<br />

d’une borne supérieure sur l’intervalle de temps séparant deux instants de transmission<br />

d’un même nœud. Ces deux propriétés évitent que l’information d’un nœud soit ou tende à<br />

être oubliée avec le temps. Ce type de protocoles a été étudié dans [190]. On constate que<br />

le protocole RR est bien à excitation persistante tandis que rien ne garantit a priori que le<br />

TOD le soit. Concernant la stabilité éventuelle de tels protocoles, il est difficile de statuer de<br />

manière générale puisqu’ils ne sont pas définis par leur comportement à chaque instant de<br />

transmission mais sur un intervalle de temps, à la différence des Définitions 4.2.1 <strong>et</strong> 4.3.1. De<br />

plus, dans ce chapitre contrairement au précédent, l’analyse ne repose pas sur la stabilité du<br />

protocole.<br />

Théorème 6.4.1 Supposons que les Hypothèses 6.4.1-6.4.3 soient vérifiées, pour les protocoles<br />

à excitation persistante, si<br />

l∑<br />

τ j K j < 1 (6.36)<br />

j=1<br />

alors le système (6.23)-(6.28) est RFC <strong>et</strong> il existe β ∈ KL tel que, pour tout (ξ 0 ,z 0 ,e 0 ) ∈<br />

R n ξ+n z+n e<br />

:<br />

|(ξ(t),e(t))| ≤ β(|ξ 0 | + |z 0 | + |e 0 |,t). (6.37)

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

Saved successfully!

Ooh no, something went wrong!