N d'ordre Annee

Ludovic Rifford

Description

Niveau: Supérieur, Doctorat, Bac+8
N? d'ordre : 76-2000 Annee 2000 THESE presentee devant l'UNIVERSITE CLAUDE BERNARD - LYON 1 pour l'obtention du DIPLOME DE DOCTORAT (arrete du 30 mars 1992) presentee et soutenue publiquement le 11 Mai 2000 par Ludovic RIFFORD SPECIALITE : MATHEMATIQUES PURES PROBLEMES DE STABILISATION EN THEORIE DU CONTROLE Apres avis de : M. Jean-Baptiste HIRIART-URRUTY, rapporteur M. Eduardo D. SONTAG, rapporteur M. Richard B. VINTER, rapporteur Jury : M. Hedy ATTOUCH M. Jean-Bernard BAILLON M. Jacques BLUM M. Francis CLARKE, directeur de these M. Jean-Michel CORON

• problemes de stabilisation en theorie du controle


• sinceres remer- ciements aux membres de l'institut


• semiconcave control-lyapunov

Sujets

• Clarke
• Desargues
• Baillon
• Eduardo
• Richard

Informations

• Publié par: profil-zyak-2012
• Nombre de lectures: 40
• Langue: Français
• Poids de l'ouvrage: 2 Mo

Extrait

◦N d’ordre : 76-2000 Ann´ee 2000
THESE
pr´esent´ee
devant l’UNIVERSITE CLAUDE BERNARD -
LYON 1
pour l’obtention
du DIPLOME DE DOCTORAT
(arrˆet´e du 30 mars 1992)
pr´esent´ee et soutenue publiquement le 11 Mai 2000 par
Ludovic RIFFORD
SPECIALITE : MATHEMATIQUES PURES
PROBLEMES DE STABILISATION EN
THEORIE DU CONTROLE
Apr`es avis de : M. Jean-Baptiste HIRIART-URRUTY, rapporteur
M. Eduardo D. SONTAG, rapporteur
M. Richard B. VINTER, rapporteur
Jury : M. Hedy ATTOUCH
M. Jean-Bernard BAILLON
M. Jacques BLUM
M. Francis CLARKE, directeur de th`ese
M. Jean-Michel CORONRemerciements
C’est avec beaucoup de plaisir que je peux aujourd’hui r´ediger ces
remerciements. Je tiens en tout premier lieu `a t´emoigner ma plus
profonde gratitude `a Francis Clarke sans qui cette th`ese n’aurait pas
vu le jour. Ce fut un grand honneur et un immense bonheur de pouvoir
accomplir ce travail sous sa direction ; j’ai pu b´en´efici´e de ses pr´ecieux
conseils et de son soutien constant pour mener `a bien ce travail.
Je tiens `a exprimer toute ma reconnaissance `a Jean-Baptiste
HiriartUrruty, Eduardo Sontag et Richard Vinter qui ont consenti `a ˆetre
rapporteurs de cette th`ese. Je remercie ´egalement Hedy Attouch,
JeanBernard Baillon, Jacques Blum et Jean-Michel Coron qui ont accept´e
de participer `a mon jury de th`ese. Je suis extr`emement flatt´e de voir
toutes ces personnes rassembl´ees autour de mon travail.
Je tiens `a adresser toute ma sympathie et mes plus sinc`eres
remerciements aux membres de l’Institut Girard Desargues au sein duquel
j’ai r´ealis´e ce travail. J’ai ´egalement `a l’esprit tous les bons moments
pass´es avec mes camarades th´esards sans lesquels je n’aurais pas pris
autant de plaisir `a poursuivre mon travail.
Pour finir, je remercie toutes les personnes qui de pr`es ou de loin
m’ont aid´e dans la r´ealisation de ce travail ; je pense en particulier `a
mes parents, `a ma famille, et `a tous ceux et `a toutes celles qui m’ont
support´e.Table des mati`eres
Remerciements iii
Introduction 1
Chapitre I. Pr´eliminaires d’analyse non lisse 15
1. Concepts g´eom´etriques 15
2. Calcul diff´erentiel non lisse 21
3. Fonctions semi-convexes 25
Chapitre II. Fonctions Lyapunov non lisses, application au probl`eme
int´egrateur 29
1. Introduction 29
2. D´efinitions et pr´esentation des r´esultats 30
3. Application au probl`eme int´egrateur 34
4. Preuve des Th´eor`emes 2.7 et 2.8 37
5. Quelques commentaires 50
Chapitre III. Feedback Stabilization and Lyapunov Functions 53
1. Introduction 53
2. A feedback construction 57
3. Construction of a Lyapunov function 65
4. Robustness 73
Chapitre IV. Existence of Lipschitz and semiconcave
controlLyapunov functions 79
1. Introduction 79
2. Definitions and statements of the results 80
3. A Result on Value Functions in finite time 82
4. Proof of Theorem 2.7 86
5. Existence of a semiconcave CLF 98
Chapitre V. Semiconcave control-Lyapunov functions and stabilizing
feedbacks 103
1. Introduction 103
2. Definitions and statements of the results 104
3. Discontinuous stabilizing feedbacks 108
4. Proof of Theorem 2.4 109
5. Proof of Theorems 2.5 and 2.6 111
6. Proof of Theorem 2.7 113
v`vi TABLE DES MATIERES
Chapitre VI. Robust stabilization of the nonholonomic integrator119
1. Introduction 119
2. Feedback control with feedback sampling 121
3. Nonsmooth clf for the nonholomic integrator 124
4. Construction via the integral decrease principle 125
5. Construction via the proximal aiming approach 130
Chapitre VII. Generalized tracking Lemma and Mayer Problem 135
1. Introduction 135
2. The generalized tracking lemma 137
3. Proof of Theorem 1.4 140
Chapitre VIII. Commentaires et perspectives 143
Appendice : La condition de Brockett 147
Bibliographie 153Introduction
Les probl`emes de stabilisation occupent une place importante en th´eorie
du contrˆole. Cette th´eorie, au carrefour de l’analyse, de la g´eom´etrie
et des math´ematiques appliqu´ees s’efforce d’apporter des r´esultats et
des m´ethodes permettant de comprendre et de traiter correctement
des probl`emes associ´es `a des syst`emes command´es. Diriger un
satellite, piloter automatiquement un avion, maintenir un robot dans une
position d’´equilibre instable sont des probl`emes de contrˆole ; dans tous
ces cas, il s’agit de contrˆoler la trajectoire d’un syst`eme r´epondant
`a certaines propri´et´es dynamiques. L’une des motivations essentielles
de la th´eorie du contrˆole est la construction de retours d’´etat
convenables, ou en d’autres termes la mise au point d’une strat´egie qui pilote
convenablement le syst`eme vers l’´equilibre. Lorsque la dynamique du
syst`eme ´etudi´e est lin´eaire sans aucune contrainte sur la commande, la
th´eorie des syst`emes a fourni des outils efficaces pour la construction
de retours d’´etat. Dans le cas non lin´eaire, cependant, ou quand des
contraintes de contrˆole ou d’´etat sont `a respecter, la th´eorie actuelle
est beaucoup moins avanc´ee. Bien que les techniques de lin´earisation
soient souvent satisfaisantes pour des r´esultats purement locaux, il n’en
reste pas moins que le cas totalement non lin´eaire reste aujourd’hui un
d´efi majeur. L’objet principal de cette th`ese est l’application de
nouvelles m´ethodes inspir´ees de l’analyse non-lisse pour la r´esolution du
probl`eme de construction de retour d’´etat non-lin´eaire; nous proc´edons
dans ce qui suit `a une description d´etaill´ee de nos r´esultats.
Avant de commencer l’´etude proprement dite des syst`emes
command´es, il est int´eressant de se pencher sur le cas des syst`emes sans
commande ou autrement dit, sur le cas classique des ´equations
diff´erentielles. Etant donn´e un syst`eme
(1) x˙(t) = f(x(t)),
n nou` f est une application continue de R dans R poss´edant un
´equilibre `a l’origine (c’est `a dire f(0) = 0), il s’agit d’´etudier et mˆeme de
caract´eriser l’existence ´eventuelle de propri´et´es asymptotiques. Nous
dirons que le syst`eme (1) est globalement asymptotiquement stable `a
l’origine (abr´eg´e GAS) s’il v´erifie les deux propri´et´es suivantes :2 INTRODUCTION
n1. Pour tout x ∈ R , toutes les trajectoires x(·) solutions de (1)0
commenc¸ant en x sont d´efinies sur [0,∞[ et convergent vers0
l’´equilibre quand t tend vers l’infini.
2. Pour tout ! > 0, il existe δ > 0 tel que pour toute donn´ee initiale
x v´erifiant #x #≤ δ, les trajectoires de (1) commenc¸ant en x0 0 0
sont d´efinies sur [0,∞[ et v´erifient#x(t)#≤ ! pour tout t≥ 0.
Attention, il convient de bien distinguer la stabilit´e asymptotique
globale de la notion d’attractivit´e seule, qui suppose seulement la
convergence de x(t) vers l’´equilibre ; l’ajout de la deuxi`eme condition traduit
une propri´et´e de stabilit´e uniforme locale. Un objet fort int´eressant
permet d’assurer la stabilit´e asymptotique d’un syst`eme `a l’´equilibre,
il s’agit du concept de fonction de Lyapunov.
nD´efinition 1. Soit V : R → R, la fonction V est dite fonction de
∞Lyapunov associ´ee au syst`eme (1) si elle est C , d´efinie positive (i.e.
nV (0) = 0 et V > 0 sur R \ {0}), propre (i.e. V (x) → ∞ quand
#x#→∞) et si elle v´erifie la propri´et´e suivante :
(2) ∀x = 0,)∇V (x),f(x)+ < 0.
En d’autres termes, une fonction de Lyapunov est strictement
d´ecroissante le long des trajectoires du syst`eme auquel elle est associ´ee
(hors de l’origine) ; elle se comporte physiquement comme l’´energie
totale d’un syst`eme dissipatif, qui d´eclinerait pour tendre
asymptotiquement vers sa valeur minimale `a l’´equilibre. En effet, le long d’une
trajectoire x(·) de (1), on a, lorsque x(t) se situe hors de l’origine :
d
V (x(t)) =)∇V (x(t)),f(x(t))+ < 0.
dt
Il n’y a donc rien d’´etonnant `a ce qu’une fonction de Lyapunov
garantisse la stabilit´e asymptotique globale d’un syst`eme. Il existe en fait
une caract´erisation exacte des syst`emes GAS, Kurzweil [49] a d´emontr´e
le r´esultat suivant.
n nTh´eor`eme 1. Soit f une application continue de R dans R , alors le
syst`eme (1) poss`ede une fonction de Lyapunov si et seulement si il est
globalement asymptotiquement stable.
En r´esum´e, regarder les propri´et´es de stabilit´e asymptotique `a
l’origine d’une ´equation diff´erentielle revient `a ´etudier l’existence
´eventuelle d’une fonction de Lyapunov. Nous allons faire appel au mˆeme type
d’objet pour ´etudier la stabilisation des syst`emes command´es. Entrons
dans le vif du sujet ; donnons-nous un syst`eme command´e de la forme
g´en´erale
(3) x˙(t) = f(x(t),u(t)),
nou` l’´etat x vit dans R , la commande u dans u