The thesis focuses on the qualitative analysis of a general class of SEIRS models in periodic and non-periodic environments. The classical SEIRS model, with standard incidence function, is, first of all, extended to incorporate multiple infectious stages. Using Lyapunov function theory and LaSalle's Invariance Principle, the disease-free equilibrium (DFE) of the resulting SEIⁿRS model is shown to be globally-asymptotically stable whenever the associated reproduction number is less than unity. Furthermore, this model has a unique endemic equilibrium point (EEP), which is shown (using a non-linear Lyapunov function of Goh-Volterra type) to be globally-asymptotically stable for a special case. The SEIⁿRS model is further extended to incorporate arbitrary number of latent stages. A notable feature of the resulting SE^mIⁿRS model is that it uses gamma distribution assumptions for the average waiting times in the latent (m) and infectious (n) stages. Like in the case of the SEIⁿRS model, the SE^mIⁿRS model also has a globally-asymptotically stable DFE when its associated reproduction threshold is less than unity, and it has a unique EEP (which is globally-stable for a special case) when the threshold exceeds unity. The SE^mIⁿRS model is further extended to incorporate the effect of periodicity on the disease transmission dynamics. The resulting non-autonomous SE^mIⁿRS model is shown to have a globally-stable disease-free solution when the associated reproduction ratio is less than unity. Furthermore, the non-autonomous model has at least one positive (non-trivial) periodic solution when the reproduction ratio exceeds unity. It is shown (using persistence theory) that, for the non-autonomous model, the disease will always persist in the population whenever the reproduction ratio is greater than unity. One of the main mathematical contributions of this thesis is that it shows that adding multiple latent and infectious stages, gamma distribution assumptions (for the average waiting times in these stages) and periodicity to the classical SEIRS model (with standard incidence) does not alter the main qualitative dynamics (pertaining to the persistence or elimination of the disease from the population) of the SEIRS model.

The thesis focuses on the qualitative analysis of a general class of SEIRS models in periodic and non-periodic environments. The classical SEIRS model, with standard incidence function, is, first of all, extended to incorporate multiple infectious stages. Using Lyapunov function theory and LaSalle's Invariance Principle, the disease-free equilibrium (DFE) of the resulting SEIⁿRS model is shown to be globally-asymptotically stable whenever the associated reproduction number is less than unity. Furthermore, this model has a unique endemic equilibrium point (EEP), which is shown (using a non-linear Lyapunov function of Goh-Volterra type) to be globally-asymptotically stable for a special case. The SEIⁿRS model is further extended to incorporate arbitrary number of latent stages. A notable feature of the resulting SE^mIⁿRS model is that it uses gamma distribution assumptions for the average waiting times in the latent (m) and infectious (n) stages. Like in the case of the SEIⁿRS model, the SE^mIⁿRS model also has a globally-asymptotically stable DFE when its associated reproduction threshold is less than unity, and it has a unique EEP (which is globally-stable for a special case) when the threshold exceeds unity. The SE^mIⁿRS model is further extended to incorporate the effect of periodicity on the disease transmission dynamics. The resulting non-autonomous SE^mIⁿRS model is shown to have a globally-stable disease-free solution when the associated reproduction ratio is less than unity. Furthermore, the non-autonomous model has at least one positive (non-trivial) periodic solution when the reproduction ratio exceeds unity. It is shown (using persistence theory) that, for the non-autonomous model, the disease will always persist in the population whenever the reproduction ratio is greater than unity. One of the main mathematical contributions of this thesis is that it shows that adding multiple latent and infectious stages, gamma distribution assumptions (for the average waiting times in these stages) and periodicity to the classical SEIRS model (with standard incidence) does not alter the main qualitative dynamics (pertaining to the persistence or elimination of the disease from the population) of the SEIRS model.

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.

Le travail présenté dans cette thèse porte sur la modélisation et la commande d'un système thermodynamique non linéaire de dimension infinie, le réacteur tubulaire. Nous abordons le problème de commande sur ce système non linéaire en nous appuyant sur les propriétés thermodynamiques du procédé. Cette approche nécessite l'utilisation d'un modèle ayant comme variables d'état les variables extensives thermodynamiques classiques. Nous utilisons la fonction de disponibilité thermodynamique ainsi qu'une autre fonction déduite de la précédente, la disponibilité réduite, comme fonction de Lyapunov candidate pour résoudre le problème de stabilisation du réacteur autour d'un profil d'équilibre en utilisant comme commande distribuée la température de la double enveloppe. Des simulations illustrent ces résultats ainsi que l'efficacité des commandes en présence de perturbations. Nous nous intéressons aussi à la représentation hamiltonienne à port des systèmes irréversibles de dimension infinie. La structure de Stokes-Dirac pour un modèle réaction diffusion est obtenue en étendant les vecteurs de variables de flux et d'effort. Nous présentons cette démarche pour les équations du système réaction-diffusion en prenant premièrement l'énergie interne comme Hamiltonien puis deuxièmement l'opposé de l'entropie. Nous montrons dans les deux cas qu'en utilisant une extension des couples de variables effort-flux thermodynamiques classiques nous obtenons une structure de Stokes-Dirac. Enfin nous donnons quelques résultats aboutissant à une représentation pseudo hamiltonienne. Enfin nous abordons le problème de commande à la frontière. L'objectif est d'étudier l'existence de solutions associées à un modèle linéarisé de réacteur tubulaire complet commandé à la frontière / The main objective of this thesis consists to investigate the problem of modelling and control of a nonlinear parameter distributed thermodynamic system : the tubular reactor. We address the control problem of this non linear system relying on the thermodynamic properties of the process. This approach requires to use the classical extensive variables as the state variables. We use the thermodynamic availability as well as the reduced thermodynamic availability (this function is formed from some terms of the thermodynamic availabilty) as Lyapunov functions in order to asymptotically stabilize the tubular reactor aroud a steady profile. The distributed temperature of the jacket is the control variable. Some simulations illustrate these results as well as the eficiency of the control in presence of perturbations. Next we study the Port Hamiltonian representation of irreversible infinite dimensional systems. We propose a Stokes-Dirac structure of a reaction-diffusion system by means of the extension of the vectors of the flux and effort variables. We illustrate this approach on the example of the reaction-diffusion system. For this latter we use the internal energy as well as the opposite of the entropy to obtain Stokes-Dirac structures. We propose also a pseudo-Hamiltonian representation for the two Hamiltonians. Finally we tackle the boundary control problem. The objective is to study the existence of solutions associated to a linearized model of the tubular reactor controlled to the boundary

Dans cette thèse de doctorat, nous apportons quelques contributions à la stabilité de Lyapunov non-régulière des inclusions différentielles de premier ordre avec opérateurs monotones maximaux, dans un cadre Hilbertien de dimension infini. Nous fournissons des caractérisations explicites, primales et/ou duales, des paires de Lyapunov faibles et fortes, dont les fonctions sont semi-continues inférieurement à valeurs réelles étendues, et associées à des inclusions différentielles dont la partie de droite est gouvernée par des perturbations Lipschitziennes des opérateurs dits Cusco F, ou des opérateurs monotones maximaux A, ou les deux à la fois x(t) ∈ F(x(t}} A(x(t}} t ≥ 0, x(0) ∈ domA. De manière équivalente, nous étudions l'invariance faible et forte des ensembles fermés pour ces inclusions différentielles. Comme dans L'approche classique de Lyapunov à la stabilité des équations différentielles, les résultats présentés dans cette thèse n'utilisent que les données du système différentiel; c'est-à-dire, l'opérateur A et la multifonction F, et donc pas besoin de connaître les solutions, ni les semi-groupes générés par les opérateurs monotones en question. Parce que les paires de Lyapunov sont formées par des fonctions qui sont simplement semi-continues inférieurement, et les ensembles invariants ne sont que ensembles fermés, nous faisons usage dans cette thèse à des outils de l'analyse non-lisse, afin de fournir des critères du premier ordre, utilisant des sous-différentiels généraux et des cônes normaux. Nous fournissons une analyse similaire pour les inclusions différentielles gouvernées par le cône normal proximal à des ensembles prox-réguliers. Notre analyse ci-dessus, nous a permis de présenter ces systèmes prox-réguliers d’apparence plus générale, comme des inclusions différentielles avec opérateurs monotones maximaux. Nous utilisons aussi nos résultats pour étudier la géométrie des opérateurs monotones maximaux, et plus précisément, la caractérisation de la frontière des valeurs de ces opérateurs seulement au moyen des valeurs situées à proximité, distinctes du point de référence. Ce résultat a des applications dans la stabilité des problèmes de la programmation semi-infinie. Nous utilisons également nos résultats sur les paires de Lyapunov et les ensembles invariants pour établir une étude systématique des observateurs de type Luenberger pour des inclusions différentielles avec des cônes normaux à des ensembles prox-réguliers. / In this PhD thesis, we make some contributions to nonsmooth Lyapunov stability of first-order differential inclusions with maximal monotone operators, in the setting of infinite-dimensional Hilbert spaces. We provide primal and dual explicit characterizations for parameterized weak and strong Lyapunov pairs of lower semicontinuous extended-real-valued functions, referred to as a-Lyapunov pairs, associated to differential inclusions with right-hand-sides governed by Lipschitz or Cusco perturbationsF of maximal monotone operators A, x(t) ∈ F(x(t}} A(x(t}} t ≥ 0, x(0) ∈ domA. Equivalently, we study the weak and strong invariance of sets with respect to such differential inclusions. As in the classical Lyapunov approach to the stability of differential equations, the presented results make use of only the data of the differential system; that is, the operator A and the multifunction F, and so no need to know about the solutions, nor the semi-groups generated by the monotone operators. Because our Lyapunov pairs and invariant sets candidates are just lower semicontinuous and closed, respectively, we make use of nonsmooth analysis to provide first-order-like criteria using general subdifferentials and normal cones. We provide similar analysis to non-convex differential inclusions governed by proximal normal cones to prox-regular sets. Our analysis above allowed to prove that such apparently more general systems can be easily coined into our convex setting. We also use our results to study the geometry of maximal monotone operators, and specifically, the characterization of the boundary of the values of such operators by means only of the values at nearby points, which are distinct of the reference point. This result has its application in the stability of semi-infinite programming problems. We also use our results on Lyapunov pairs and invariant sets to provide a systematic study of Luenberger-like observers design for differential inclusions with normal cones to prox-regular sets.

Cette thèse aborde le problème de l'analyse de la stabilité et de la conception des lois de commande pour les systèmes non linéaires mis sous la forme de modèles flous continus de type Takagi-Sugeno. L'analyse de stabilité est généralement basée sur la méthode directe de Lyapunov. Plusieurs approches existent dans la littérature, basées sur des fonctions de Lyapunov quadratiques sont proposées pour résoudre ce problème, les résultats obtenus à l'aide des telles fonctions introduisent un conservatisme qui peut être très préjudiciable. Pour surmonter ce problème, différentes approches basées sur des fonctions de Lyapunov non quadratiques ont été proposées, néanmoins ces approches sont basées sur desconditions très restrictives. L'idée développée dans ce travail est d'utiliser des fonctions de Lyapunov non quadratiques et des contrôleurs non-PDC afin d'en tirer des conditions de stabilité et de stabilisation moins conservatives. Les propositions principales sont : l'utilisation des bornes locales des dérivées partielles au lieu des dérivés des fonctions d’appartenances, le découplage du gain du régulateur des variables de décision de la fonction Lyapunov, l’utilisation des fonctions de Lyapunov floues polynomiales dans l’environnement des polynômes et la proposition de la synthèse de contrôleur vérifiant certaines limites de dérivés respectées dans une région de la modélisation à la place de les vérifier a posteriori. Ces nouvelles approches permettent de proposer des conditions locales afin de stabiliser les modèles flous continus de type T-S, y compris ceux qui n'admettent pas une stabilisation quadratique et obtenir des domaines de stabilité plus grand. Plusieurs exemples de simulation sont choisis afin de vérifier les résultats présentésdans cette thèse. / This thesis deals with the problem of stability analysis and control design for nonlinear systems in the form of continuous-time Takagi-Sugeno models. The approach to stability analysis is usually based on the direct Lyapunov method. Several approaches in the literature, based on quadratic Lyapunov functions, are proposed to solve this problem ; the results obtained using such functions introduce a conservatism that can be very detrimental. To overcome this problem, various approaches based on non-quadratic Lyapunov functions have also been recently presented; however, these approaches are based on very conservative bounds or too restrictive conditions. The idea developed in this work is to use non-quadratic Lyapunov functions and non-PDC controller in order to derive less conservative stability and stabilization conditions. The main proposals are : using local bounds in partial derivatives instead of time derivatives of the memberships,decoupling the controller gain from the Lyapunov function decision variables, using fuzzy Lyapunov functions in polynomial settings and proposing the synthesis of controller ensuring a priori known time-derivative bounds are fulfilled in a modelling region instead of checking them a posteriori. These new approaches allow proposing local conditions to stabilize continuous T-S fuzzy systems including those that do not admit a quadratic stabilization. Several simulation examples are chosen to verify the results given in this dissertation.

La thèse porte sur le développement des techniques non linéaires robustes de stabilisation et commande des systèmes avec perturbations de model. D’abord, on introduit les concepts de base de stabilité et stabilisabilité robuste dans le contexte des systèmes non linéaires. Ensuite, on présente une méthodologie de stabilisation par retour d’état en présence d’incertitudes qui ne sont pas dans l’image de la commande («unmatched»). L’approche récursive du «backstepping» permet de compenser les perturbations «unmatched» et de construire une fonction de Lyapunov contrôlée robuste, utilisable pour le calcul ultérieur d’un compensateur des incertitudes dans l’image de la commande («matched»). Le contrôleur obtenu est appelé «recursive Lyapunov redesign». Ensuite, on introduit la technique de stabilisation par «Immersion & Invariance» comme outil pour rendre un donné contrôleur non linéaire, robuste par rapport à dynamiques non modelées. La première technique de contrôle non linéaire robuste proposée est appliquée au projet d’un autopilote pour un missile air-air et au développement d’une loi de commande d’attitude pour un satellite avec appendices flexibles. L’efficacité du «recursive Lyapunov redesign» est mis en évidence dans le deux cas d’étude considérés. En parallèle, on propose une méthode systématique de calcul des termes incertains basée sur un modèle déterministe d’incertitude. La partie finale du travail de thèse est relative à la stabilisation des systèmes sous échantillonnage. En particulier, on reformule, dans le contexte digital, la technique d’Immersion et Invariance. En premier lieu, on propose des solutions constructives en temps continu dans le cas d’une classe spéciale des systèmes en forme triangulaire «feedback form», au moyen de «backstepping» et d’arguments de domination non linéaire. L’implantation numérique est basée sur une loi multi-échelles, dont l’existence est garantie pour la classe des systèmes considérée. Le contrôleur digital assure la propriété d’attractivité et des trajectoires bornées. La loi de commande, calculée par approximation finie d’un développement asymptotique, est validée en simulation de deux exemples académiques et deux systèmes physiques, le pendule inversé sur un chariot et le satellite rigide. / The dissertation deals with the problems of stabilization and control of nonlinear systems with deterministic model uncertainties. First, in the context of uncertain systems analysis, we introduce and explain the basic concepts of robust stability and stabilizability. Then, we propose a method of stabilization via state-feedback in presence of unmatched uncertainties in the dynamics. The recursive backstepping approach allows to compensate the uncertain terms acting outside the control span and to construct a robust control Lyapunov function, which is exploited in the subsequent design of a compensator for the matched uncertainties. The obtained controller is called recursive Lyapunov redesign. Next, we introduce the stabilization technique through Immersion \& Invariance (I\&I) as a tool to improve the robustness of a given nonlinear controller with respect to unmodeled dynamics. The recursive Lyapunov redesign is then applied to the attitude stabilization of a spacecraft with flexible appendages and to the autopilot design of an asymmetric air-to-air missile. Contextually, we develop a systematic method to rapidly evaluate the aerodynamic perturbation terms exploiting the deterministic model of the uncertainty. The effectiveness of the proposed controller is highlighted through several simulations in the second case-study considered. In the final part of the work, the technique of I\& I is reformulated in the digital setting in the case of a special class of systems in feedback form, for which constructive continuous-time solutions exist, by means of backstepping and nonlinear domination arguments. The sampled-data implementation is based on a multi-rate control solution, whose existence is guaranteed for the class of systems considered. The digital controller guarantees, under sampling, the properties of manifold attractivity and trajectory boundedness. The control law, computed by finite approximation of a series expansion, is finally validated through numerical simulations in two academic examples and in two case-studies, namely the cart-pendulum system and the rigid spacecraft.

Ce mémoire est consacré à l'étude du phénomène d'instabilité pouvant apparaître sur les bus continus des réseaux DC. En effet, l'interaction entre les différents sous-systèmes électriques (source, charge, filtre) composant le réseau DC peut conduire, sous certaines conditions, à l'instabilité du système. A partir de la modélisation des charges sous forme de "Charge à Puissance Constante" (notée CPL), des méthodes d'études permettant l'analyse de la stabilité "petit-signal" et "grand-signal" des systèmes électriques sont présentées. Celles-ci permettent de mettre en évidence le fait qu'un réseau DC ne peut pas fournir n'importe quelle puissance à ses charges sans devenir instable. Ces puissances limites dépendent à la fois de la structure du réseau et des valeurs de ses éléments passifs et de sa tension de bus. Afin de pouvoir augmenter l'amortissement/les marges de stabilité du système, des méthodes de stabilisation sont présentées dans ce mémoire. Elles proposent d'adapter les commandes des charges de manière à assurer sa stabilité. Ceci se fait grâce à l'addition d'un signal stabilisant sur la référence de chaque charge. Ce signal n'est visible que durant les régimes transitoires de la charge afin de ne pas modifier le point de fonctionnement demandé. Néanmoins, plus on voudra stabiliser une charge et plus son signal stabilisant sera important. Un bon compromis doit donc être trouvé afin d'assurer la stabilité du système sans altérer les performances dynamiques des charges. Deux approches différentes sont proposées afin de générer ces commandes stabilisantes. La première se base sur la mise en place d'un stabilisateur centralisé. Deux méthodes centralisées sont alors proposées : la première s'appuie sur la théorie des multimodèles de Takagi-Sugeno alors que la seconde s'appuie sur la théorie de Lyapunov. Cette dernière permettra d'orienter les efforts de stabilisation sur les charges souhaitées pour par exemple, les diriger principalement vers les organes de récupération d'énergie. La seconde approche se base sur la mise en place d'un système de stabilisation multi-agent. Celui-ci présente une structure décentralisée où chaque agent correspond à un bloc de stabilisation. Ceux-ci vont compenser localement les impacts déstabilisants de leur charge respective et leurs actions combinées permettront d'assurer la stabilité du système. De plus, on propose d'utiliser un algorithme d'optimisation sous contraintes qui permettra de donner un dimensionnement du système minimisant les efforts de stabilisation tout en considérant des cas de défaut tels que la perte de l'un des agents ou la reconfiguration du réseau / This thesis is devoted to the analysis of the instability phenomenon that may appear on the DC bus of DC microgrids. Indeed, interaction between the different electrical subsystems of the grid (source, load, filters) can lead, under certain conditions, to the system instability. From the "Constant Power Load" (CPL) hypothesis for the loads, this thesis presents studying methods for "small-signal" and "large-signal" stability analysis of electrical systems. This highlights that a DC microgrid cannot power the loads more than a maximum limit without becoming unstable. This power limitation depends on the structure of the grid, the value of its passive components, and its bus voltage. In order to improve the microgrid stability, stabilization methods are presented in this thesis. They propose to adapt the loads control to ensure the system stability. This is achieved by the addition of a stabilizing signal to the reference of each load. This signal is only visible during the load power transient mode to not change the requested operating point. However, a good trade-off must be found to ensure system stability without affecting the dynamic performance of its loads. Two approaches are investigated to generate the stabilizing commands. The first one is based on the establishment of a centralized stabilization block. Two centralized methods have been developed: the first one is based on the Takagi-Sugeno theory while the second is based on the Lyapunov theory. This latest permits to guide the stabilizing effort on the desired loads. For example, stabilizing effort can be oriented on the energy storage device. The second approach is based on the establishment of a multi-agent stabilizing system. It consists of a decentralized structure in which each agent corresponds to a stabilization block. These will locally compensate the destabilizing impact of their respective load on the microgrid, and their combined actions ensure the system stability. To design the system, the use of a constrained optimization algorithm is proposed. This permits to minimize stabilization efforts while considering faulty events such as the failure of one of the agents or a reconfiguration of the microgrid

Dans cette thèse différents outils issus de l'automatique non linéaire ont été mis en œuvre et ont permis d'apporter une première solution au problème de stabilité large signal des dispositifs électriques. A l'aide de modèles flous de type Takagi-Sugeno, on a montré qu'il était possible de résoudre le problème de stabilité dans le cas de deux applications électrotechniques à savoir un hacheur contrôlé en tension et l'alimentation par l'intermédiaire un filtre d'entrée d'un dispositif électrique fonctionnant à puissance constante. Dans le cas du hacheur, la taille estimée des bassins d'attraction reste modeste. Les raisons essentielles à l'échec obtenu dans la recherche de bassin de grande taille peut résulter dans le fait que d'une part , la mise sous forme TS du système n'est pas unique et que d'autre part les matrices du sous modèle TS du système ne sont de Hurwitz que dans une gamme très restreinte de variations du rapport cyclique. Dans le cas de l'alimentation par l'intermédiaire d'un filtre d'entrée d'un dispositif fonctionnant à puissance constante, on a montré que l'utilisation d'un modèle flou de type Takagi-Sugeno permettait d'exhiber un domaine d'attraction de taille significative. On a fourni des outils permettant de borner la plage de variations des pôles du système dans un domaine donné de l'espace d'état, domaine dans lequel la stabilité du modèle TS est prouvée. L'utilisation de la D-stabilité permet de connaitre les dynamiques maximales du système. La notion de stabilité exponentielle permet de connaître les dynamiques minimales du système. L'approche utilisée pour prouver la stabilité du système en présence de variations paramétriques, pour les deux systèmes étudiés, n'autorise que des variations extrêmement faibles de la valeur du paramètre autour de sa valeur nominale / In this thesis, various tools resulting from the nonlinear automatic were implemented and made it possible to bring a first solution to the problem of large signal stability of the electric systems. Using Takagi-Sugeno fuzzy models, one showed that it was possible to in the case of solve the problem of stability two electrotechnical applications to knowing a Boost converter controlled in tension and an electric system constituted by an input filter connected to an actuator functioning at constant power. In the case of the Boost converter, the estimated size of attraction domain remains modest. The reasons essential with the failure obtained in the search for domain of big size can result in the fact that on the one hand, the setting TS fuzzy models of the system is not single and that on the other hand the matrices of local model of TS model of the system are of Hurwitz only in one very restricted range of variations of the cyclic ratio. In the case of the electric system via a filter of entry of a functioning device at constant power, one showed that the use of a Takagi-Sugeno fuzzy model allowed exhibit a attraction domain of significant size. One provided tools allowing to limit the variations of the poles of the system in a given field of the state space, domain in which the stability of model TS is proven. The use of D-stability makes it possible to know dynamic maximum system. The concept of exponential stability makes it possible to know dynamic minimal system. The approach used to prove the stability of the system in the presence of parametric variations, for the two studied systems, authorizes only extremely weak variations of the value of the parameter around its maximal value

Ma thèse de doctorat se concentre principalement sur le comportement en temps long des processus de Markov, les inégalités fonctionnelles et les techniques relatives. Plus spécifiquement, Je vais présenter les taux de convergence sous-exponentielle explicites des processus de Markov dans deux approches : la méthode Meyn-Tweedie et l’hypocoercivité (faible). Le document se divise en trois parties. Dans la première partie, Je vais présenter quelques résultats importants et des connaissances connexes. D’abord, un aperçu de mon domaine de recherche sera donné. La convergence exponentielle (ou sous-exponentielle) des chaînes de Markov et des processus de Markov (à temps continu) est un sujet d’actualité dans la théorie des probabilité. La méthode traditionnelle développée et popularisée par Meyn-Tweedie est largement utilisée pour ce problème. Dans la plupart des résultats, le taux de convergence n’est pas explicite, et certains d’entre eux seront brièvement présentés. De plus, la fonction de Lyapunov est cruciale dans l’approche Meyn-Tweedie, et elle est aussi liée à certaines inégalités fonctionnelles (par exemple, inégalité de Poincaré). Cette relation entre fonction de Lyapounov et inégalités fonctionnelles sera donnée avec les résultats au sens L2. En outre, pour l’exemple de l’équation cinétique de Fokker-Planck, un résultat de convergence exponentielle explicite de la solution sera introduite à la manière de Villani : l’hypocoercivité. Ces contenus sont les fondements de mon travail, et mon but est d’étudier la décroissance sous-exponentielle. La deuxième partie, fait l’objet d’un article écrit en coopération avec d’autres sur les taux de convergence sous-exponentielle explicites des processus de Markov à temps continu. Comme nous le savons, les résultats sur les taux de convergence explicites ont été donnés pour le cas exponentiel. Nous les étendons au cas sous-exponentielle par l’approche Meyn-Tweedie. La clé de la preuve est l’estimation du temps de passage dans un ensemble ”petite”, obtenue par Douc, Fort et Guillin, mais pour laquelle nous donnons une preuve plus simple. Nous utilisons aussi la construction du couplage et donnons une ergodicité sous exponentielle explicite. Enfin, nous donnons quelques applications numériques. Dans la dernière partie, mon second article traite de l’équation cinétique de Fokker-Planck. Je prolonge l’hypocoercivité à l’hypocoercivité faible qui correspond à inégalité de Poincaré faible. Grâce à cette extension, on peut obtenir le taux de convergence explicite de la solution, dans des cas sous-exponentiels. La convergence est au sens H1 et au sens L2. A la fin de ce document, j’étudie le cas de l’entropie relative comme Villani, et j’obtiens la convergence au sens de l’entropie. Enfin, Je donne deux exemples pour les potentiels qui impliquent l’inégalité de Poincaré faible ou l’inégalité de Sobolev logarithmique faible pour la mesure invariante. / My Ph.D dissertation mainly focuses on long time behavior of Markov processes, functional inequalities and related techniques. More specifically, I will present the computable sub-exponential convergence rate of the Markov process in two approaches : Meyn-Tweedie’s method and (weak) hypocoercivity. The paper consists of three parts. In the first part, I will introduce some important results and related knowledge. Firstly, overviews of my research field are given. Exponential (or subexponential) convergence of Markov chains and (continuous time) Markov processes is a hot issue in probability. The traditional method - Meyn-Tweedie’s approach is widely applied for this problem. Most of the results about convergence rate is not explicit, and some of them will be introduced briefly. In addition,Lyapunov function is crucial in Meyn-Tweendie’s aproach, and it is also related to some functional inequalities (for example, Poincar´e inequality). The relationship of them will be given with results in L2 sense. Furthermore, as a example of kinetic Fokker-Planck equation, a computable result of exponential convergence of the solution of it will be introduced in Villani’ way - hypocoercivity. These contents are foundations of my work, and my destination is to study the sub-exponential decay. In the second part, it is my article cooperated with others about subexponential convergence rate of continuous time Markov processes. As we all know, the explicit results of convergence rate is about the exponential case. We extend them to sub-exponential case in Meyn-Tweedie’s approach. The key of the proof is the estimation of the hitting time to small set which was got by Douc, Fort and Guillin, for which we also propose an alternative simpler proof. We also use coupling construction as others and give a quantitative sub-exponential ergodicity. At last, we give some calculations for examples. In the last part, my second article deal with the kinetic Fokker-Planck equation. I extend the hypocoercivity to weak hypocoercivity which correspond to weak Poincar´e inequality. Through the extension, one can get the computable rate of convergence of the solution, which is also sub-exponential case. The convergence is in H1 sense and in L2 sense. In the end of this paper, I study the relative entropy case as C.Villani, and get convergence in entropy. Finally, I give two examples for potentials that implies weak Poincar´e inequality or weak logarithmic Sobolve inequality for invarient measure.