6.8210 Spring 2024 Lecture 8: Computing Lyapunov Functions I

Ce cours magistral de Russ Tedrake est d’une qualité exceptionnelle. L’exposé est structuré et pédagogique, s’appuyant sur des rappels et des connexions avec des concepts déjà vus (Hamilton-Jacobi-Bellman, programmation dynamique). L’argumentation est rigoureuse : l’instructeur justifie clairement pourquoi la recherche de fonctions de Lyapunov est plus aisée que la résolution exacte de l’équation de la programmation dynamique, en insistant sur le fait que l’on cherche une inégalité et non une égalité, et que de nombreuses fonctions peuvent convenir. La présentation de la méthode algorithmique, basée sur la paramétrisation polynomiale et l’utilisation de la programmation semi-définie, est claire et illustrée par un exemple concret (le pendule). L’exemple est bien choisi : il montre que l’algorithme retrouve une fonction proche de l’énergie mécanique, mais avec un terme correctif qui évite le recours au principe de LaSalle. La rigueur scientifique est irréprochable : les définitions sont précises, les conditions sont énoncées correctement, et l’instructeur mentionne les limites (par exemple, la nécessité de vérifier les conditions pour tout x). La qualité des sources est intrinsèque : il s’agit d’un cours universitaire, donc les connaissances sont établies et vérifiées. L’adéquation entre le titre et le contenu est parfaite. Enfin, la partie sur les projets est pertinente et motive les étudiants. Dans l’ensemble, ce cours est une excellente introduction au calcul des fonctions de Lyapunov, avec une approche moderne et computationnelle. Il est adapté à un public d’étudiants en master ou doctorat en automatique ou robotique.

Le titre est précis et correspond exactement au contenu : il s'agit bien du cours 8 du semestre de printemps 2024, consacré au calcul des fonctions de Lyapunov.

9/10

Cours universitaire de niveau graduate (MIT), présenté par un expert reconnu en robotique et contrôle. Les concepts sont rigoureusement définis et les méthodes sont fondées sur des principes mathématiques établis. La présentation est claire et pédagogique, avec des exemples concrets. Aucune source externe n'est citée dans la vidéo, mais le contenu est conforme aux connaissances académiques standards.

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

• 00:00Introduction et annonces sur les projets de fin de semestre, avec une proposition de défi autour du robot Spot.
• 05:00Rappel des liens entre fonctions de Lyapunov et équation de Hamilton-Jacobi-Bellman, et introduction de l'idée que trouver une fonction de Lyapunov est plus facile.
• 10:00Présentation de la méthode : paramétrisation polynomiale de la fonction candidate et utilisation de la programmation semi-définie pour trouver les coefficients.
• 15:00Exemple du pendule : l'algorithme retrouve une fonction proche de l'énergie mécanique, avec un terme correctif qui évite le recours au principe de LaSalle.
• 20:00Discussion sur les défis de la méthode et les extensions possibles.