Analyse et commande des systèmes non linéaires complexes : application aux systèmes dynamiques à commutation

Analysis and control of complex nonlinear systems : application to switched dynamical systems

• Auteur / Autrice : Jaâfar Ben Salah
• Direction : Claire Valentin, Hamadi Jerbi, Cheng-Zhong Xu
• Type : Thèse de doctorat
• Discipline(s) : Automatique
• Date : Soutenance le 03/12/2009
• Etablissement(s) : Lyon 1 en cotutelle avec Université de Sfax. Faculté des sciences
• Ecole(s) doctorale(s) : École doctorale Électronique, électrotechnique, automatique (Lyon)
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'Automatique et de Génie des Procédés (Lyon) - Université de Sfax. Faculté des sciences. Département de mathématiques
• Jury : Président / Présidente : Claude Iung
• Jury : Examinateurs / Examinatrices : Mohamed Ali Hammami, Xianyi Zeng
• Jury : Rapporteurs / Rapporteuses : Hervé Guéguen

Mots clés

Mots clés contrôlés

Liapounov, Stabilité de

Convertisseurs électriques

Systèmes non linéaires

Systèmes dynamiques

Systèmes linéaires

Mots clés libres

Modélisation hybride

Commande stabilisante

Stabilité

Dynamiques hybrides (SDH)

Systèmes dynamiques à commutation (SDC)

Cycle limite hybride

Fonction de Lyapunov

Convertisseurs

Hybrid modeling

Stabilizing control

Stability, hybrid dynamic systems (SDH)

Switched dynamical systems (SDS)

Hybrid limit cycle

Lyapunov function

Power converters

Résumé

Ce mémoire de thèse présente deux nouvelles approches pour l’analyse et la commande des systèmes non-linéaires complexes, comme les systèmes dynamiques à commutation de la classe des convertisseurs d’énergie électrique. Ces systèmes ont plusieurs modes de fonctionnement et ont un point de fonctionnement désiré qui, en général, n’est le point d’équilibre d’aucun des modes. Dans cette classe de systèmes, la commutation d’un mode de fonctionnement à un autre est commandée selon une loi qui doit être synthétisée. Par conséquent, la synthèse de commande implique l’étude des conditions qui permettent à un cycle limite stable de s’établir au voisinage du point de fonctionnement désiré, puis de la trajectoire de commande qui permet de l’atteindre en respectant les contraintes physiques de comportement (courant maximum supporté par les composants,. . .) ou les contraintes de temps (durée minimum entre deux commutations,. . .). Le cycle limite sera qualifié d’hybride car il est composé de plusieurs dynamiques(deux dans ces travaux).La première méthode développée s’appuie sur les propriétés géométriques des champs de vecteurs et est une extension d’une partie des travaux de thèse de Manon au LAGEP. Une condition nécessaire et suffisante d’existence et de stabilité d’un cycle limite hybride composé d’une séquence de deux modes de fonctionnement dans IR2 est présentée. Ce cycle définit la région finale à atteindre par le système depuis son état initial, par une trajectoire déterminée de manière optimale selon un critère donné (durée totale, énergie dépensée, . . .). La méthode proposée est appliquée aux convertisseurs d’énergie Buck et Buck-Boost alimentant une charge résistive. Une extension à IRn a été proposée et démontrée. Elle est illustrée sur un système non-linéaire dans IR3.La deuxième méthode est développée dans IR2 et basée sur la théorie de Lyapunov, bien connue en automatique pour étudier la stabilité des systèmes non-linéaires et concevoir des commandes stabilisantes.Il s’agit de déterminer par une approche géométrique, une fonction de Lyapunov quadratique commune aux deux modes de fonctionnement du système, qui permette d’obtenir un cycle limite hybride stable le plus proche possible du point de fonctionnement désiré et une commande stabilisante directe des interrupteurs

This PhD-thesis presents two new approaches for the analysis and control of complex nonlinearsystems, such as switching dynamic systems of the class of power converters. These systems have severalmodes of operation and a desired operating point, which, in general, is not the equilibrium point of anymode. In this class of systems, switching from one mode to another is controlled by a switching law tobe designed. Therefore, the synthesis of a control law involves the study of the conditions that allow astable limit cycle to settle near the desired operating point, and of the control trajectory to reach thislimit cycle and stabilize on it, meeting the constraints dues to the physical behavior (maximum currentsupported by the components, . . .) or time constraints (minimum duration between two switchings, . . .).The limit cycle is called hybrid because it is composed of several dynamics (two in this work).The first method is based on the geometric properties of vector fields and is an extension of part ofthe PhD-thesis of Manon at LAGEP. A necessary and sufficient condition of existence and stability of ahybrid limit cycle consisting of a sequence of two operating modes, is presented in IR2. This limit cycledefines the final region to be reached by the system from its initial state, along a trajectory determinedoptimally according to a given criterion (total duration, energy expended, . . .). This method is applied tothe Buck and Buck-Boost power converters with a resistive load. An extension to IRn has been proposedand demonstrated. It is illustrated on a nonlinear system in IR3.The second method is developed in IR2, based on the Lyapunov theory, well known in automatic controlfor studying the stability of nonlinear systems and designing stabilizing control methods. The objective isto design, with a geometric approach, a quadratic Lyapunov function common to both modes of operation,which defines a stable hybrid limit cycle closest to the desired operating point and a direct stabilizingcontrol of the switches.