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.
114 Chapitre 6. Extension des observateurs de Karafyllis-Kravaris aux NCS<br />
générale de systèmes [92]. Le principe est le suivant. Considérant un observateur continu, une<br />
variable auxiliaire est introduite afin de remplacer le vecteur de mesures indisponible entre<br />
deux instants d’échantillonnage. Celle-ci évoluera le long des mêmes champs de vecteurs que<br />
la sortie du système <strong>et</strong> sera réinitialisée lorsque les mesures sont reçues. On nommera ces<br />
structures observateurs de Karafyllis-Kravaris.<br />
L’objectif de c<strong>et</strong>te étude est d’étendre les observateurs de Karafyllis-Kravaris aux NCS.<br />
Nous avons vu au Chapitre 4, que c<strong>et</strong>te construction correspond à l’émulation d’un observateur<br />
continu associé à une fonction de blocage particulière, Pred. Ce chapitre offre ainsi une<br />
alternative au Chapitre 5 pour l’utilisation de bloqueurs Pred, puisque d’autres conditions<br />
sont considérées <strong>et</strong> que la convergence de l’observateur est analysée à l’aide d’outils différents.<br />
Nous en déduirons par conséquent de nouvelles bornes sur le MATI. Nous montrerons que les<br />
conditions requises sont également satisfaites par les observateurs linéaires <strong>et</strong> à grand gain.<br />
Des comparaisons des MATI obtenus à l’aide des deux méthodes sont présentées sur deux<br />
exemples.<br />
Ce chapitre est organisé de la façon suivante. Après avoir rappelé quelques définitions <strong>et</strong><br />
résultats de stabilité dans §6.2, le principe des observateurs de Karafyllis-Kravaris est rappelé<br />
dans §6.3 pour les systèmes à données échantillonnées. Dans §6.4, le problème est réécrit<br />
dans les mêmes coordonnées qu’aux Chapitres 4 <strong>et</strong> 5 pour les NCS, afin de comparer les<br />
hypothèses avec celles précédemment considérées. L’extension aux NCS est ensuite présentée<br />
pour un nouvelle classe de protocoles dite à excitation persistante qui inclut le protocole RR<br />
<strong>et</strong> les protocoles dynamiques TOD. Il est montré que les observateurs linéaires <strong>et</strong> à grand gain<br />
satisfont les hypothèses requises dans §6.5. Ces résultats sont ensuite appliqués à un exemple<br />
numérique <strong>et</strong> étendu à un observateur pour un robot flexible dans §6.6.<br />
6.2 Préliminaires<br />
Dans son livre [181], Eduardo Sontag définit un système comme un obj<strong>et</strong> mathématique qui<br />
satisfait notamment la propriété de semi-groupe (Définition 2.1.2), i.e. pour un système décrit<br />
par une équation différentielle ordinaire, toute solution x(·,t 0 ,x 0 ) coïncide avec celle ayant<br />
pour condition initiale x(t 1 ,t 0 ,x 0 ) pour tout t ≥ t 1 > t 0 (que l’on note ˜x(·,t 1 ,x(t 1 ,t 0 ,x 0 ))).<br />
L’intérêt grandissant pour les systèmes hybrides a amené les automaticiens à rencontrer des<br />
<strong>«</strong> systèmes » qui ne vérifient plus c<strong>et</strong>te propriété (voir Exemple 2.7 dans [91]). Afin de combler<br />
ce vide, un cadre théorique a été développé dans [89, 90] pour l’analyse des systèmes vérifiant<br />
une propriété de semi-groupe dite faible, qui fut par la suite le point de départ de plusieurs<br />
études dont [91] où un théorème du p<strong>et</strong>it gain est proposé. Celui-ci présente notamment<br />
la particularité de ne pas nécessiter la bornitude des états du système contrairement aux<br />
formulations classiques [86, 184]. C’est ce théorème qui est utilisé dans [92] pour prouver<br />
la convergence des observateurs à données échantillonnées <strong>et</strong> que nous utiliserons dans ce<br />
chapitre.