Commande non linéaire
ME-523
Information Générale
Objectifs: Ce cours introduit les méthodes de base d'analyse et de commande des systèmes non linéaires.
Contenu: Notions générales sur les systèmes non linéaires. Description du comportement dans l'espace de phase. Méthode de l'équivalent harmonique. Analyse de stabilité par la méthode de Lyapunov. Théorie de la passivité. Linéarisation. Notions de géométrie différentielle. Fonction de Lyapunov de commande.
Forme de l'enseignement: Ex cathedra avec exemples et exercices intégrés. Trois travaux pratiques à l'ordinateur intégrés aux heures de cours.
Livres:
Ph. Müllhaupt, Introduction à l'analyse et à la commande des systèmes non linéaires, PPUR, 2009.
Khalil, H.K, Nonlinear Systems, Third edition, Prentice Hall, 2002.
Préalables requis: Control Systems.
Examen: Oral, 15 minutes de préparation suivi de 15 minutes d'interrogation. Toute documentation autorisée.
I. - 9 septembre (cours)
Introduction
- Système avec entrées sorties
- Classe de systèmes
- Solution de l'équation différentielle
- Principe de superposition
- Equilibre
- Paticularités non linéaires (I. réponse indicielle disymétrique; II. termes d'ordre supérieur; III. points d'équilibres isolés multiples; IV. explosion en temps fini; V. orbites chaotiques)
- Objectif du cours
- Diapositives 1 (File)
- Tableaux Noirs 1 (File)
- Tableaux Noirs I (à compléter) (File)
- Tableaux Noirs I (partiellement complet) (File)
- Leçon 1 enregistrée - Introduction - 1ère partie (File)
- Leçon 1 enregistrée - Introduction - 2ème partie (File)
- Leçon 1 enregistrée - Introduction - 3ème partie (File)
19 septembre (exos)
Série 0. Deux exercices à titre introductif.
- Série 0 (File)
- Serie1 (File)
- Série 2 (File)
- Corrigé Série 0 (File)
- Corrigé Série I (File)
- Corrigé Série 2 (File)
- Calcul des équilibres, élimination des variables à l'aide des bases de Groebner (File)
II. - 23 septembre (cours)
Systèmes du second ordre: plan de phase
- Plan de phase pour les systèmes du second ordre
- Techniques de représentation du plan de phase
- Systèmes linéaires du second ordre
- Système masse ressort
- Graphe des pentes (élimination du temps explicitement; élimination du temps implicitement; méthode des isoclines; exemple: l'oscillateur de Van der Pol)
- Cycle limite (classification des cycles limites)
- Index topologique (théorème de l'index)
- Théorème de Bendixson
- Impossibilité du chaos planaire
- Diapositives 2 (File)
- Tableaux Noirs 2 (File)
- Tableaux Noirs II (partiel) (File)
- Leçon 2 enregistrée - Plan de phase - 1ère partie (File)
- Leçon 2 enregistrée - Plan de phase - 2ème partie (File)
- Leçon 2 enregistrée - Plan de phase - 3ème partie (File)
- Leçon 2 enregistrée - Plan de phase - 4ème partie (File)
- Notes tableaux noirs - série 1 et 2 (File)
III. - 30 septembre (cours) et 3 octobre (exos)
Méthode du premier harmonique (1 ère partie)
- Système linéaire et non-linéarité statique
- Excitation sinusoïdale en boucle ouverte
- Caractéristique passe-bas du système linéaire
- Gain complexe équivalent (décomposition en harmonique; calcul des premiers coefficients; équivalent du premier harmonique; exemple de la saturation)
- Diapositives 3 (File)
- Tableaux Noirs 3 (File)
- Tableaux Noirs III (à compléter) (File)
- Tableaux Noirs III (partiel) (File)
- Leçon 3 enregistrée - 1er harmonique - I - 1ère partie (File)
- Leçon 3 enregistrée - 1er harmonique - I - 2ème partie (File)
- Série 3 (File)
- Corrigé Série 3 (File)
- Série 3 Exo 2 (complément .pdf fichier Mathematica) (File)
- Complément Série 3 (Mathematica) (File)
- Série 3 Exo 3 (complément .pdf fichier Mathematica) (File)
IV. - 7 octobre (cours)
I. Méthode du premier harmonique (2 ème partie)
- Système en rétroaction
- Conditions pour la présence d'un cycle limite
- Détermination approximative de l'amplitude et de la pulsation
- Croisement de la réponse harmonique et condition de stabilité (théorème des résidus; critère de Nyquist)
- Fiabilité de l'analyse par la méthode du premier harmonique
II. Introduction à la méthode de Lyapunov
- Point d'équilibre
- Stabilité pour les systèmes linéaires
- Définition intuitive de la stabilité
- Définition mathématique formelle de la stabilité (notion de distance; stabilité au sens de Lyapunov; instabilité; stabilité asymptotique)
- Diapositives 4 (File)
- Tableaux Noirs 4 (File)
- Tableaux Noirs IV (à compléter) (File)
- Tableaux Noirs IV (partiel) (File)
- Leçon 4 enregistrée - méthode du premier harmonique - II - 1ère partie (File)
- Leçon 4 enregistrée - méthode du premier harmonique II - 2ème partie (File)
14 octobre (TP)
Séance I assistée à l'ordinateur
- Plan de phase et méthode du premier harmonique
V. - 21 octobre (cours)
Techniques d'analyse par les méthodes de Lyapunov
- Désavantage de la définition de la stabilité
- Méthode directe de Lyapunov (candidat de Lyapunov; fonction de Lyapunov)
- Equivalence avec la définition de la stabilité (démonstration de stabilité locale)
- Exemple: Robot pleinement actionné (lois de la mécanique; candidat de Lyapunov; fonction de Lyapunov)
- Systèmes linéaires et Lyapunov (démonstration de l'égalité matricielle de Lyapunov)
- Diapositives 5 (File)
- Leçon 5 enregistrée - Lyapunov I - 1ère partie (File)
- Leçon 5 enregistrée - Lyapunov I - 2ème partie (File)
- Leçon 5 enregistrée - Lyapunov I - 3ème partie (File)
- Leçon 5 enregistrée - Lyapunov I - 4ème partie (File)
- Tableaux Noirs 5 (File)
- Tableaux Noirs V (à compléter) (File)
- Tableaux Noirs 5 (partiel) (File)
VI. - 28 octobre (cours) et 2 novembre (exos)
Méthode de Lyapunov et théorème d'invariance de LaSalle
- Stabilité locale et linéarisation
- Stabilité globale
- Théorème d'invariance de LaSalle (ensemble invariant; ensemble définit par l'annulation de la dérivée de la fonction de Lyapunov; théorème d'invariance de LaSalle; exemple du pendule)
- Diapositives 6 (File)
- Tableaux Noirs 6 (File)
- Tableaux Noirs VI (à compléter) (File)
- Tableaux Noirs VI (partiel) (File)
- Leçon 6 enregistrée - Lyapunov II, thm. invariance, 1ère partie (File)
- Leçon 6 enregistrée - Lyapunov II, thm invariance - 2ème partie (File)
- Leçon 6 enregistrée - Lyapunov II, thm invariance - 3ème partie (File)
- Série 4 (File)
- Série 5 (File)
- Corrigé Série 4 (File)
- Corrigé Série 5 (File)
VII. - 4 novembre (cours)
Constructions des fonctions de Lyapunov; théorèmes d'instabilité
- Construction par la méthode de Krasovskii
- Construction par la méthode du gradient variable
- Instabilité et méthode de Lyapunov
- Théorème d'instabilité de Chetaev
- Diapositives 7 (File)
- Tableaux noirs 7 (File)
- Leçon 7 enregistrée - Lyapunov III - 1 ère partie - b (File)
- Leçon 7 enregistrée - Lyapunov III - 1 ère partie - a (File)
- Leçon 7 enregistrée - Lyapunov III - 2 ème partie - a (File)
- Leçon 7 enregistrée - Lyapunov III - 2 ème partie - b (File)
- Leçon 7 enregistrée - Lyapunov III - 2 ème partie - c (File)
- Exemple d'application du th. de Chetaev (File)
- Tableaux Noirs VII (à compléter) (File)
- Tableaux Noirs VII (partiel) (File)
11 novembre (TP) et 16 novembre (exos)
Séance II assistée à l'ordinateur
- Fonction de Lyapunov et théorème d'invariance de LaSalle
VIII. 18 novembre (cours)
Passivité
- Passivité (notion intuitive; résistance électrique; circuit RLC; passivité et fonction de Lyapunov; définition différentielle; définition intégrale)
- Propriétés (connexion parallèle; connexion en rétroaction)
- Passivité pour les systèmes linéaires (degré relatif et minimum de phase)
- Diapositives 8 (File)
- Tableaux Noirs VIII (à compléter) (File)
- Tableaux Noirs VIII (partiel) (File)
- Tableaux noirs 8 (File)
- Leçon 8 enregistrée - Passivité I - 1ère partie (File)
- Leçon 8 enregistrée - Passivité I - 2ème partie (File)
- Leçon 8 enregistrée - Passivité I - 3ème partie (URL)
IX. - 25 novembre (cours) et 28 novembre (exos)
Stabilité absolue et critère du cercle
- Passivité des systèmes linéaires et équation de Lyapunov (théorème de Kalman-Yakubovich-Popov)
- Système linéaire et non linéarité statique (non-linéarité statique de secteur; définition de la stabilté absolue; conjecture de M. A. Aizerman)
- Critère du cercle (stabilité absolue)
- Diapositives 9 (File)
- Tableaux noirs 9 (File)
- Tableaux Noirs IX (à compléter) (File)
- Tableaux Noirs IX (partiel) (File)
- Leçon 9 enregistrée - passivité II - stabilité absolue et critère du cercle - 1ère partie (URL)
- Leçon 9 enregistrée - passivité II - stabilité absolue et critère du cercle - 2ème partie (URL)
- Leçon 9 enregistrée - passivité II - stabilité absolue et critère du cercle - 3èeme partie (URL)
X. - 2 décembre (cours)
Linéarisation par bouclage et changement de coordonnées
- Linéarisation exacte (présence d'une sortie; chaîne d'intégrateurs; équation d'erreur et stabilisation de la chaîne d'intégrateur; condition sur la sortie)
- Outils géométriques (dérivée de Lie; conditions sur la sortie en utilisant la dérivée de Lie; crochet de Lie; deux formes du théorème de Frobenius; conditions de linéarisation)
- Diapositives 10 (File)
- Tableaux noirs 10 (File)
- Tableaux Noirs X (à compléter) (File)
- Tableaux Noirs X (partiel) (File)
- Leçon 10 enregistrée - linéarisation exacte - 1ère partie (URL)
- Leçon 10 enregistrée - linéarisation exacte - 2ème partie (URL)
9 décembre (TP) et 12 décembre (exos)
Séance III assistée à l'ordinateur
- Linéarisation par bouclage et changement de coordonnées
XI. - 16 décembre (cours)
Linéarisation exacte (suite)
- forme exacte et intégrable
Visite du Dr. Willson Sudarsandhari (ETEL) - 11:15 - 12:00