Fonctions de Lyapunov non-lisses pour l'analyse de stabilité de systèmes hybrides

La Nature, dans ses multiples manifestations, nous fournit un grand nombre d’exemples pour lesquels il est nécessaire d’aller au-delà de la distinction classique entre modèles où le temps est décrit comme une entité continue et modèles où le temps est discret/discrétisé. En particulier, pour une multitude de systèmes en physique/ingénierie, ces deux aspects temporels sont fondamentalement liés, et nécessitent donc que ces deux paradigmes soient connectés et mis en relation, pour une meilleure précision et fidélité dans la représentation du phénomène. Cette famille de systèmes est souvent appelée ``systèmes hybrides’’, et différentes formalisations mathématiques ont été proposées.L’objectif de cette thèse est l’analyse et l’étude de la stabilité (asymptotique) pour certaines classes de systèmes hybrides, en proposant des conditions suffisantes à la Lyapunov. Plus spécifiquement, nous nous concentrerons sur des fonctions de Lyauponv non-lisses ; pour cette raison, les premiers chapitres de cette thèse peuvent être considérés comme une introduction générale de ce sujet, proposant les instruments nécessaires issus de l’analyse non-lisse.Tout d'abord, grâce à ces outils, nous pourrons étudier une classe de fonctions de Lyapunov construites par morceaux, avec une attention particulière aux propriétés de continuité des inclusions différentielles qui composent le système hybride considéré. Nous proposons des conditions qui doivent être vérifiées seulement sur un sous-ensemble dense, et donc allant au-delà de résultats existants.En négligeant les hypothèses de continuité, nous étudions ensuite comment les notions de dérivées généralisées se spécialisent en considérant des fonctions construites comme combinaisons de maximum/ minimum de fonctions lisses. Cette structure devient particulièrement fructueuse quand on regarde la classe des systèmes à commutation dépendant de l’état du système. Dans le cas où les sous-dynamiques sont linéaires, nous étudions comment les conditions proposées peuvent être vérifiées algorithmiquement.L’utilité des notions de dérivées généralisées est finalement explorée dans le contexte de la stabilité entrée-état (ISS) pour inclusions différentielles avec perturbations extérieures. Ces résultats nous permettent de proposer des critères de stabilité pour systèmes interconnectés, et notamment une application du synthèse de contrôleurs pour systèmes à commutation dépendant de l’état.Modeling of many phenomena in nature escape the rather common frameworks of continuous-time and discrete-time models. In fact, for many systems encountered in practice, these two paradigms need to be intrinsically related and connected, in order to reach a satisfactory level of description in modeling the considered physical/engineering process.These systems are often referred to as hybrid systems, and various possible formalisms have appeared in the literature over the past years.The aim of this thesis is to analyze the stability of particular classes of hybrid systems, by providing Lyapunov-based sufficient conditions for (asymptotic) stability. In particular, we will focus on non-differentiable locally Lipschitz candidate Lyapunov functions. The first chapters of this manuscript can be considered as a general introduction of this topic and the related concepts from non-smooth analysis.This will allow us to study a class of piecewise smooth maps as candidate Lyapunov functions, with particular attention to the continuity properties of the constrained differential inclusion comprising the studied hybrid systems. We propose ``relaxed'' Lyapunov conditions which require to be checked only on a dense set and discuss connections to other classes of locally Lipschitz or piecewise regular functions.Relaxing the continuity assumptions, we then investigate the notion of generalized derivatives when considering functions obtained as emph{max-min} combinations of smooth functions. This structure turns out to be particularly fruitful when considering the stability problem for differential inclusions arising from regularization of emph{state-dependent switched systems}.When the studied switched systems are composed of emph{linear} sub-dynamics, we refine our results, in order to propose algorithmically verifiable conditions.We further explore the utility of set-valued derivatives in establishing input-to-state stability results, in the context of perturbed differential inclusions/switched systems, using locally Lipschitz candidate Lyapunov functions. These developments are then used in analyzing the stability problem for interconnections of differential inclusion, with an application in designing an observer-based controller for state-dependent switched systems