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.

104 Chapitre 5. Conditions suffisantes pour l’émulation d’observateurs pour les NCS<br />

γ e 1 ∈ R >0 obtenu est différent selon la méthode employée, or celui-ci a une grande influence<br />

sur le MATI. Puisqu’il est difficile d’affirmer que l’une ou l’autre méthode fournit l’estimé le<br />

plus précis, nous préférons laisser le choix à l’utilisateur.<br />

Preuve. Soient ξ 0 ∈ R n ξ<br />

<strong>et</strong> e ∈ L ne<br />

∞.<br />

1. Analyse à l’aide de fonctions de Lyapunov<br />

Puisque (A − ΛC) est Hurwitz, pour toute matrice Q réelle symétrique <strong>et</strong> définie positive, il<br />

existe une matrice P ayant les mêmes propriétés telle que : (A − ΛC) T P + P (A − ΛC) = −Q<br />

(cf. Théorème 4.6 dans [98]). Dérivons V (ξ) = ξ T P ξ le long de (5.61) :<br />

˙V ≤ −λ min (Q)|ξ| 2 + 2|ξ||P Λ||e|<br />

≤<br />

− λ min(Q)<br />

λ max (P ) V + 2 |P Λ|<br />

√<br />

λmin (P ) |e|√ V . (5.67)<br />

Soit Ṽ = √ V , (5.67) donne :<br />

˙Ṽ ≤ − λ min(Q)<br />

2λ max (P )Ṽ<br />

+<br />

|P Λ|<br />

√<br />

λmin (P ) |e|,<br />

ainsi, en invoquant le principe de comparaison (Lemme 3.4 dans [98]), on peut montrer que,<br />

pour tout t ≥ t 0 ≥ 0 :<br />

Ṽ (t) = √ V (t) ≤ exp<br />

(<br />

− λ min(Q) √V<br />

2λ max(P ) 0)) (t − t 2λ (t0 ) +<br />

max(P )<br />

√ |P Λ| ‖e‖ λmin (P )λ min (Q) [t 0 ,t) ,<br />

ainsi,<br />

|ξ(t)|<br />

≤<br />

√<br />

λmax(P )<br />

λ min (P ) exp (<br />

)<br />

2λ max(P ) (t − t λ<br />

0) |ξ 0 | + 2 max(P )<br />

λ min (P )λ min (Q) |P Λ| ‖e‖ [t 0 ,t) . (5.68)<br />

− λ min(Q)<br />

Le résultat désiré est obtenu avec :<br />

γ1 e λ max (P )<br />

= 2<br />

|P Λ|. (5.69)<br />

λ min (P )λ min (Q)<br />

2. Analyse basée sur la solution analytique<br />

On peut directement obtenir la propriété de stabilité entrée-état en intégrant le système<br />

(5.61). En eff<strong>et</strong>, lorsque la condition initiale est ξ 0 ∈ R n ξ, la solution de (5.61) est :<br />

ξ(t) = exp (t(A − ΛC)) ξ 0 − ∫ t<br />

0<br />

exp ((t − s)(A − ΛC)) Λe(s) ds. (5.70)<br />

Par conséquent,<br />

∫ t<br />

|ξ(t)| ≤ | exp (t(A − ΛC)) ξ 0 | +<br />

∣ exp ((t − s)(A − ΛC)) Λe(s) ds<br />

∣<br />

0<br />

(∫ t<br />

)<br />

≤ | exp (t(A − ΛC)) ξ 0 | + |exp ((t − s)(A − ΛC)) Λ| ds ‖e‖ [0,t) . (5.71)<br />

0<br />

Il suffit alors de borner ∫ t<br />

0 |exp ((t − s)(A − ΛC)) Λ| ds pour obtenir γe 1 . □

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

Saved successfully!

Ooh no, something went wrong!