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 3. Backstepping robuste échantillonné 51<br />

Nous nous intéresserons, dans notre étude, à l’approximation d’Euler de la classe de<br />

systèmes étudiée. Dans le cas général où le signal exogène d est élément de L n+1<br />

∞ , l’approximation<br />

suivante sera considérée, pour k ∈ Z ≥0 :<br />

x((k + 1)T ) = x(kT ) +<br />

∫ (k+1)T<br />

kT<br />

f(x(kT ),u(kT ),d(s)) ds. (3.11)<br />

Lorsque d est continûment dérivable (comme dans §3.5), le modèle approximé d’Euler peut<br />

prendre la forme suivante, pour k ∈ Z ≥0 :<br />

x((k + 1)T ) = x(kT ) + T f(x(kT ),u(kT ),d(kT )). (3.12)<br />

Il n’est pas nécessaire de connaître l’expression analytique du discrétisé exact afin de<br />

prouver qu’une approximation est fortement consistante. Des conditions suffisantes sont par<br />

exemple proposées dans la Proposition 1.5 de [112]. Dans notre cas, si l’on nomme les approximés<br />

d’Euler de (3.11) <strong>et</strong> (3.12) respectivement F Euler, 1<br />

T<br />

<strong>et</strong> F Euler, 2<br />

T<br />

, on peut voir que<br />

FT e = F Euler, i<br />

T<br />

+ O(T 2 ), i ∈ {1,2}, <strong>et</strong> que, par définition des grand <strong>«</strong> O », (3.10) est satisfaite.<br />

Ces approximations sont donc fortement consistantes avec (3.3).<br />

En conséquence, les propriétés de stabilité de (3.3) peuvent être déduites de l’analyse de<br />

la stabilité de (3.4) (de manière équivalente de (3.11) ou (3.12)) d’après le théorème suivant<br />

qui est une conséquence directe du Théorème 3.2 dans [108].<br />

Théorème 3.2.1 Si le système (3.4) est Lyapunov SP-SEE (SP-AS) <strong>et</strong> si l’entrée est localement<br />

uniformément bornée, c’est-à-dire que pour tout ∆ x ∈ R >0 il existe T ∗ ,∆ u ∈ R >0 tels<br />

que, pour tout T ∈ (0,T ∗ ) <strong>et</strong> |x| ≤ ∆ x on a<br />

|u T (x)| ≤ ∆ u , (3.13)<br />

alors le système discrétisé exact (3.3) est également SP-SEE (SP-AS).<br />

Les propriétés de stabilité du système à données échantillonnées original (3.2) peuvent<br />

ensuite être déduites de celles du discrétisé exact sous de faibles conditions, cf. [155].<br />

3.3 Problématique<br />

L’objectif de ce chapitre est de synthétiser des lois de commande qui garantissent des<br />

propriétés de stabilité semiglobale pour les systèmes sous forme strict-feedback :<br />

˙η = f(η) + g(η)ξ + d 1 (3.14)<br />

˙ξ = u + d 2 , (3.15)<br />

où x = (η, ξ) ∈ R n+1 avec η ∈ R n <strong>et</strong> ξ ∈ R, est le vecteur d’état, u ∈ R celui d’entrée qui<br />

est échantillonné <strong>et</strong> bloqué à une période constante T ∈ R >0 . Les champs de vecteur f ∈<br />

C 1 (R n ,R n ) <strong>et</strong> g ∈ C 1 (R n ,R) sont supposés connus <strong>et</strong> f(0) = 0. Le vecteur d = (d 1 ,d 2 ) ∈ L n+1<br />

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

Saved successfully!

Ooh no, something went wrong!