Construction de fonctions de Lyapunov contrôlées et stabilisation non-linéaire / par Ludovic Faubourg ; sous la dir. de Laurent Baratchart et de Jean-Baptiste Pomet

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2001

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Liapounov, Fonctions de

Commande non linéaire -- Stabilité

Baratchart, Laurent (1955-....) (Directeur de thèse / thesis advisor)

Pomet, Jean-Baptiste (19..-.... ; chercheur en mathématiques appliquées) (Directeur de thèse / thesis advisor)

Université de Nice (1965-2019) (Organisme de soutenance / degree-grantor)

Université de Nice-Sophia Antipolis. Faculté des sciences (Autre partenaire associé à la thèse / thesis associated third party)

École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (Ecole doctorale associée à la thèse / doctoral school)

Institut national de recherche en informatique et en automatique (France). Unité de recherche (Sophia Antipolis, Alpes-Maritimes) (Laboratoire associé à la thèse / thesis associated laboratory)

Relation : Construction de fonctions de Lyapunov contrôlées et stabilisation non-linéaire / par Ludovic Faubourg ; sous la direction de Laurent Baratchart et de Jean-Baptiste Pomet / Grenoble : Atelier national de reproduction des thèses , 2001

Résumé / Abstract : La recherche de fonctions de Lyapunov contrôlées, c’est-à-dire de fonctions qui peuvent être assignées à être des fonctions de Lyapunov pour une certaine commande, joue un rôle très important pour la stabilisation des systèmes non linéaires et la robustesse de la stabilité obtenue. C’est à la fois un outil fondamental d’un point de vue théorique puisque l’on peut réduire la recherche de lois de commande stabilisantes à la recherche de fonctions de Lyapunov contrôlées, un outil de synthèse de lois de commande, et un outil pour l’étude de leur robustesse. L’objectif de cette thèse consiste a obtenir de nouveaux algorithmes de construction. Nous proposons deux voies distinctes. La première consiste à construire des fonctions de Lyapunov contrôlées pour des systèmes dits de Jurdevic-Quinn. Ces systèmes possèdent naturellement une fonction de Lyapunov au sens large que nous déformons pour obtenir des fonctions de Lyapunov contrôlées. Dans le cas homogène, le problème est résolu à la fois dans les cas stationnaires et non stationnaires. Dans le cas non homogène, la méthode a conduit sur des exemples à des fonctions de Lyapunov contrôlées même si un seul résultat partiel a pu être prouvé. Dans le but de construire à terme des fonctions de Lyapunov contrôlées à partir de fonctions valeurs de problèmes de commande optimale en général non différentiables, nous étudions dans un second temps la possibilité d’approcher uniformément une fonction non continûment différentiable par une suite de fonctions de Lyapunov contrôlées continûment différentiable. Nous montrons que la notion de fonction de Lyapunov au sens des gradients généralisés n’est pas une condition nécessaire et nous donnons une configuration dans laquelle l’approximation uniforme par des fonctions de Lyapunov contrôlées est impossible.

Résumé / Abstract : Looking for control Lyapunov functions that are functions that can be assigned to be Lyapunov functions by a feedback law, play a central role in the stabilization of nonlinear systems and their robustness. At the same time it is a fundamental tool from a theoretical point of view, because looking for asymptotically stalizing control law is equivalent to looking for control Lyapunov functions, a synthesis tool, and a tool to study robustness. The purpose of this thesis is to define new algorithms to build control Lyapunov functions starting with Jurdjevic-Quinnn type systems. The natural weak Lyapunov function these systems have is reshapped to obtain control Lyapunov functions. In the homogeneous case, the both stationary and non-stationary problems are solved. In the non-homogeneous case, the same method yields, in many examples, to control Lyapunov functions, even if only a partial result has been proved. With the final aim of building control Lyapunov functions staring from the value functions of an optimal control problems, we study the possibility to approach a non-smooth function uniformly with a series of smooth control Lyapunov functions. We prove that the notion of control Lyapunov function in a generalized gradient sense is not a necessary condition and we give a configuration in which the uniform approximation with control Lyapunov functions is not possible.