Le but de cette thèse est de présenter de nouveaux résultats sur l'analyse et la synthèse de systèmes à retard. Dans la première partie, nous étendons l'utilisation du système invariant d'ordre fini, appelé "système de comparaison", à la conception d'un contrôleur qui dépend non seulement de la sortie à l'heure actuelle et du délai maximum, mais également d'un nombre arbitraire de valeurs entre celles-ci. Cette approche nous permet d'augmenter le délai maximal stable sans exiger d'informations supplémentaires. Les méthodes présentées ici concernent la conception de systèmes de contrôle avec des retards en utilisant des routines numériques classiques basées sur la théorie Hoo. La deuxième partie de ce travail traite d'une nouvelle approche pour développer une enveloppe englobant tous les pôles d'un système à retard. Grâce aux LMIs, nous sommes en mesure de déterminer les enveloppes pour les systèmes à retard du type retardé et du type neutre. Les enveloppes proposées sont non seulement plus étroites que celles de la littérature, mais, avec notre procédure, elles peuvent également être appliquées pour vérifier la stabilité du système et pour projeter contrôleurs de retour d'état qui répondent aux exigences de conception relatives à alpha-stabilité et sont robustes face aux incertitudes paramétriques. Les systèmes fractionnaires sont également discutés dans les deux chapitres mentionnés ci-dessus. La troisième et dernière partie étudie les systèmes stochastiques avec des retards. Nous discutons d'abord des systèmes à temps continu soumis à des sauts de Markov. Nous définissons la stabilité et obtenons des LMIs pour le contrôle par retour d'état de telle sorte que la relation entre les taux de transition entre les modes soit affine, ce qui permet donc de traiter le cas dans lequel les taux sont incertains. Nous discutons ensuite des systèmes positifs avec retards, tant pour le cas continu que pour le cas discret. Des systèmes équivalents sont obtenus et la stabilité dépendante du retard est abordée. De nombreux exemples sont illustrés tout au long de la thèse. / The aim of this dissertation is to present new results on analysis and control design of time-delay systems. On the first part, we extend the use of a finite order LTI system, called 'comparison system', to design a controller which depends not only on the output at the present time and maximum delay, but also on an arbitrary number of values between those. This approach allows us to increase the maximum stable delay without requiring any additional information. The methods presented here consider time-delay systems control design with classical numeric routines based on Hoo theory. The second part of this work deals with a new approach to develop an envelope that engulfs all poles of a time-delay system. Through LMIs, we are able to determine envelopes for retarded and neutral time-delay systems. The envelopes proposed are not only tighter than the ones in the literature but, with our procedure, they can also be applied to verify the stability of the system and design state-feedback controllers which cope with design requirements regarding alpha-stability and are robust in face of parametric uncertainties. Fractional systems are also discussed for both chapters mentioned above. The third and last part studies stochastic time-delay systems.First we discuss continuous-time systems that are subjected to Markov jumps. We define stability and obtain LMIs for the state-feedback control in such a way that the relation with the transition rates between the modes is affine, allowing, therefore, to treat the case in which the rates are uncertain. We then discuss positive systems with delays, both for the continuous case as for the discrete case. Equivalent systems are obtained and delay dependent stability is addressed. A fair amount of examples are presented throughout the dissertation.

Le retard est un phénomène naturel présent dans la majorité des systèmes physiques et dans les applications d’ingénierie, ainsi, les systèmes à retard ont été un domaine de recherche très actif en automatique durant les 60 dernières années. La conception d’observateur est un des sujets les plus importants qui a été étudié, ceci est dû à l’importance des observateurs en automatique et dans les systèmes de commande en absence de capteur pour mesurer une variable. Dans ce travail, l’objectif principal est de concevoir des observateurs pour différentes classes de systèmes à retard avec un retard arbitrairement large, et ce en utilisant différentes approches. Dans la première partie de cette thèse, la conception d’un observateur a été réalisée pour une classe de systèmes non linéaires triangulaires avec une sortie échantillonnée et un retard arbitraire. Une l’autre difficulté majeure avec cette classe de systèmes est le fait que la matrice d’état dépend du signal de sortie non-retardé qui est immesurable. Un nouvel observateur en chaine, composé de sous-observateurs en série est conçu pour compenser les retards arbitrairement larges. Dans la seconde partie de ce travail, un nouvel observateur a été conçu pour un autre type de systèmes non linéaires triangulaires, où le retard a été considéré, cette fois-ci, comme une équation aux dérivées partielles de type hyperbolique du premier ordre. La transformation inverse en backstepping et le concept de l’observateur en chaine ont été utilisés lors de la conception de cet observateur afin d’assurer son efficacité en cas de grands retards. Dans la dernière partie de cette thèse, la conception d’un nouvel observateur a été réalisée pour un type de système modélisé par des équations paraboliques non linéaires où les mesures sont issues d’un nombre fini de points du domaine spatial. Cet observateur est constitué d’une série de sous-observateurs en chaine. Chaque sous-observateur compense une fraction du retard global. L'analyse de la stabilité des systèmes d’erreur a été fondée sur différentes fonctionnelles Lyapunov-Krasovskii. Par ailleurs, différents instruments mathématiques ont été employés au cours des différentes preuves présentées. Les résultats de simulation ont été présentés dans le but de confirmer l'exactitude des résultats théoriques / Time-delay is a natural phenomenon that is present in most physical systems and engineering applications, thus, delay systems have been an active area of research in control engineering for more than 60 years. Observer design is one of the most important subject that has been dealt with, this is due to the importance of observers in control engineering systems not only when sensing is not sufficient but also when a sensing reliability is needed. In this work, the main goal was to design observers for different classes of nonlinear delayed systems with an arbitrary large delay, using different approaches. In the first part, the problem of observer design is addressed for a class of triangular nonlinear systems with not necessarily small delay and sampled output measurements. Another major difficulty with this class of systems is the fact that the state matrix is dependent on the un-delayed output signal which is not accessible to measurement. A new chain observer, composed of sub-observers in series, is designed to compensate for output sampling and arbitrary large delays.In the second part of this work, another kind of triangular nonlinear delayed systems was considered, where this time the delay was considered as a first order hyperbolic partial differential equation. The inverse backstepping transformation was invoked and a chain observer was developed to ensure its effectiveness in case of large delays. Finally, a new observer was designed for a class of nonlinear parabolic partial differential equations under point measurements, in the case of large delays. The observer was composed of several chained sub-observers. Each sub-observer compensates a fraction of the global delay. The stability analyses of the error systems were based on different Lyapunov-Krasovskii functionals. Also different mathematical tools have been used in order to prove the results. Simulation results were presented to confirm the accuracy of the theoretical results

Dans cette thèse, nous étudions la rétroaction de systèmes linéaires invariants dans le temps reliés entre eux par trois blocs non linéaires spécifiques : un opérateur de lecture/arrêt, un mécanisme de réinitialisation de commutation et une zone morte adaptative. Cette configuration ressemble au problème de Lure étudié dans le cadre de stabilité absolue, mais les types de non-linéarités considérés ici ne satisfont pas (en général) une condition sectorielle. Ces blocs non linéaires donnent lieu à toute une série de phénomènes intéressants, tels que des ensembles compacts d’équilibres, des ensembles hybrides oméga-limites et des contraintes d’état. Tout au long de la thèse, nous utilisons le formalisme des systèmes hybrides pour décrire ces phénomènes et analyser ces boucles. Nous obtenons des conditions de stabilité très précises qui peuvent être formulées sous forme d’inégalités matricielles linéaires, donc vérifiables avec des solveurs numériques efficaces. Enfin, nous appliquons les résultats théoriques à deux applications automobiles. / In this thesis we study linear time-invariant systems feedback interconnected with three specific nonlinear blocks; a play/stop operator, a switching-reset mechanism, and an adaptive dead-zone. This setup resembles the Lure problem studied in the absolute stability framework, but the types of nonlinearities considered here do not satisfy (in general) a sector condition. These nonlinear blocks give rise to a whole range of interesting phenomena, such as compact sets of equilibria, hybrid omega-limit sets, and state constraints. Throughout the thesis, we use the hybrid systems formalism to describe these phenomena and to analyze these loops. We obtain sharp stability conditions that can be formulated as linear matrix inequalities, thus verifiable with numerically efficient solvers. Finally, we apply the theoretical findings to two automotive applications.

Les principales contributions de cette thèse concernent le développement de méthodes pour la synthèse de contrôleurs et pour l'analyse de la stabilité des systèmes linéaires, soit variant ou invariant dans le temps. Concernant les systèmes invariant dans le temps, le but est la synthèse de contrôleurs robustes d'ordre réduit pour les systèmes en temps continu qui présentent des paramètres incertains. La méthode présentée pour la synthèse est basée sur une technique en deux étapes, où un gain de retour d'état est construit dans la première étape, et appliqué à la deuxième, fournissant le contrôleur robuste souhaité. Chaque étape consiste à la résolution de conditions sous la forme d'inégalités matricielles linéaires.Dans le cas des systèmes variant dans le temps, en général, en fonction des informations disponibles, deux modèles mathématiques peuvent être utilisés. D'un côté, pour des systèmes dont les éléments variant dans le temps sont bornés mais pas complètement connus, on peut utiliser des modèles dépendant de paramètres variants, ce qui donne une représentation polytopique. Dans ce cas là, la technique de stabilisation proposée est basée sur la méthode en deux étapes, pour générer des contrôleurs dépendants des paramètres. On suppose que les paramètres sont mesurables en ligne, et les contrôleurs sont synthétisés pour qu'ils soient robustes à des bruits de mesures. De l'autre côté, si les dynamiques variantes dans le temps sont connues, on peut traiter directement le système sans utiliser aucune paramétrisation. Deux techniques de synthèse sont proposées pour ce cas: la construction des gains stabilisants en utilisant directement la matrice de transition d'état, et une technique de synthèse conçue à partir d'un nouveau critère de vérification de la stabilité du système. La validité des méthodes proposées est illustrée par plusieurs exemples numériques, qui montrent la qualité des résultats qui peuvent être obtenus / The main contributions of this thesis concern the development of methods for the stability analysis and the synthesis of controllers for linear systems, either time-varying or time-invariant. Concerning time-invariant systems, the objective is the synthesis of reduced-order robust controllers for continuous-time systems presenting uncertain parameters. The method presented for the synthesis is based on a two-stages technique, in which a stabilizing state-feedback gain is constructed in the first stage and then applied on the second stage to search for the desired controller. Each stage consists in the resolution of conditions based on linear matrix inequalities. In the case of time-varying systems, depending on the amount of available information, twomathematical models may be used. On one hand, if the time-varying elements of the system are not entirely known, one can model the system as function of time-varying parameters, resulting on a polytopic representation. In this case, the stabilization method proposed is based on the two-stages technique, which yields parameter-dependent controllers. The parameters are supposed to be real-time measurable, and the controllers are robust with respect to noises and uncertainties on the measures. On the other hand, if the time-varying dynamics are known, the system may be directly handled without using any parameterization. Two synthesis techniques are proposed in this case: the construction of stabilizing gains by using the state transition matrix, and a synthesis technique derived from a new stability criterion for time-varying systems. The validity of the proposed methods is illustrated through numerical examples, that show the efficiency of the results that can be obtained

Dans cette thèse, nous nous intéressons à l'étude des structures déterminantielles apparaissent dans l'optimisation semi-définie (SDP), le prolongement naturel de la programmation linéaire au cône des matrices symétrique semi-définie positives. Si l'approximation d'une solution d'un programme semi-défini peut être calculé efficacement à l'aide des algorithmes de points intérieurs, ni des algorithmes exacts efficaces pour la SDP sont disponibles, ni une compréhension complète de sa complexité théorique a été atteinte. Afin de contribuer à cette question centrale en optimisation convexe, nous concevons un algorithme exact pour décider la faisabilité d'une inégalité matricielle linéaire (LMI) $A(x)\succeq 0$. Quand le spectraèdre associé (le lieu $\spec$ des $x \in \RR^n$ ou $A(x)\succeq 0$) n'est pas vide, la sortie de cet algorithme est une représentation algébrique d'un ensemble fini qui contient au moins un point $x \in \spec$: dans ce cas, le point $x$ minimise le rang de $A(x)$ sur $\spec$. La complexité est essentiellement quadratique en le degré de la représentation en sortie, qui coïncide, expérimentalement, avec le degré algébrique de l'optimisation semi-définie. C'est un garantie d'optimalité de cette approche dans le contexte des algorithmes exacts pour les LMI et la SDP. Remarquablement, l'algorithme ne suppose pas la présence d'un point intérieur dans $\spec$, et il profite de l'existence de solutions de rang faible de l'LMI $A(x)\succeq 0$. Afin d'atteindre cet objectif principal, nous développons une approche systématique pour les variétés déterminantielles associées aux matrices linéaires. Nous prouvons que décider la faisabilité d'une LMI $A(x)\succeq 0$ se réduit à calculer des points témoins dans les variétés déterminantielles définies sur $A(x)$. Nous résolvons ce problème en concevant un algorithme exact pour calculer au moins un point dans chaque composante connexe réelle du lieu des chutes de rang de $A(x)$. Cet algorithme prend aussi avantage des structures supplémentaires, et sa complexité améliore l'état de l'art en géométrie algébrique réelle. Enfin, les algorithmes développés dans cette thèse sont implantés dans une nouvelle bibliothèque Maple appelé Spectra, et les résultats des expériences mettant en évidence la meilleure complexité sont fournis. / In this thesis we focus on the study of determinantal structures arising in semidefinite programming (SDP), the natural extension of linear programming to the cone of symetric positive semidefinite matrices. While the approximation of a solution of a semidefinite program can be computed efficiently by interior-point algorithms, neither efficient exact algorithms for SDP are available, nor a complete understanding of its theoretical complexity has been achieved. In order to contribute to this central question in convex optimization, we design an exact algorithm for deciding the feasibility of a linear matrix inequality (LMI) $A(x) \succeq 0$. When the spectrahedron $\spec = \{x \in \RR^n \mymid A(x) \succeq 0\}$ is not empty, the output of this algorithm is an algebraic representation of a finite set meeting $\spec$ in at least one point $x^*$: in this case, the point $x^*$ minimizes the rank of the pencil on the spectrahedron. The complexity is essentially quadratic in the degree of the output representation, which meets, experimentally, the algebraic degree of semidefinite programs associated to $A(x)$. This is a guarantee of optimality of this approach in the context of exact algorithms for LMI and SDP. Remarkably, the algorithm does not assume the presence of an interior point in the spectrahedron, and it takes advantage of the existence of low rank solutions of the LMI. In order to reach this main goal, we develop a systematic approach to determinantal varieties associated to linear matrices. Indeed, we prove that deciding the feasibility of a LMI can be performed by computing a sample set of real solutions of determinantal polynomial systems. We solve this problem by designing an exact algorithm for computing at least one point in each real connected component of the locus of rank defects of a pencil $A(x)$. This algorithm admits as input generic linear matrices but takes also advantage of additional structures, and its complexity improves the state of the art in computational real algebraic geometry. Finally, the algorithms developed in this thesis are implemented in a new Maple library called {Spectra}, and results of experiments highlighting the complexity gain are provided.

Ce mémoire de thèse traite de la stabilité en temps fini et de la stabilisation en temps fini des systèmes dynamiques. En effet, il est souvent important de garantir que pendant le régime transitoire, les trajectoires d'état ne dépassent pas certaines limites prédéfinies afin d'éviter les saturations et l'excitation des non-linéarités du système. Un système dynamique est dit stable en temps fini FTS si, pour tout état initial appartenant à un ensemble borné prédéterminé, la trajectoire d'état reste comprise dans un autre ensemble borné prédéterminé pendant un temps fini et fixé. Lorsque le système est perturbé, on parle de bornitude en temps fini FTB. Premièrement, des nouvelles conditions suffisantes assurant la synthèse d'un correcteur FTB par retour de sortie dynamique des systèmes linéaires continus invariants perturbés ont été développées via une approche descripteur originale. Le résultat a été établi par une transformation de congruence particulière. Les conditions obtenues sont sous forme de LMIs. Deuxièmement, l'utilisation de la notion d'annulateur combinée avec le lemme de Finsler, permet d’obtenir des nouvelles conditions sous formes LMIs garantissant la stabilité et la stabilisation en temps fini des systèmes non linéaires quadratiques. Enfin, pour obtenir des conditions encore moins pessimistes dans un contexte de stabilité en temps fini, de nouveaux développements ont été proposés en utilisant des fonctions de Lyapunov polynomiales / This dissertation deals with the finite time stability and the finite time stabilization of dynamic systems. Indeed, it is often important to ensure that during the transient regime, the state trajectories do not exceed certain predefined limits in order to avoid saturations and excitations of the nonlinearities of the system. Hence the interest is to study the stability of the dynamic system in finite time. A dynamic system is said to be stable in finite time (FTS) if, for any initial state belonging to a predetermined bounded set, the state trajectory remains within another predetermined bounded set for a finite and fixed time. When the system is disturbed, it is called finite time boundedness (FTB). In this manuscript, the goal is to improve the results of finite time stability used in the literature. First, new sufficient conditions expressed in terms of LMIs for the synthesis of an FTB controller by dynamic output feedback have been developed via an original descriptor approach. An original method has been proposed which consists in using a particular congruence transformation. Second, new LMI conditions for the study of finite time stability and finite time stabilization have been proposed for disturbed and undisturbed nonlinear quadratic systems. Third, to obtain even less conservative conditions, new developments have been proposed using polynomial Lyapunov functions

Orientador: Edvaldo Assunção / Resumo: Neste trabalho é proposta a resolução do problema do regulador linear quadrático (Linear Quadratic Regulator - LQR) via desigualdades matriciais lineares (Linear Matrix Inequalities - LMIs) para sistemas lineares e invariantes no tempo sujeitos a incertezas politópicas, bem como para sistemas lineares sujeitos a parâmetros variantes no tempo (Linear Parameter Varying - LPV). O projeto dos controladores é baseado na realimentação derivativa. A escolha da realimentação derivativa se dá devido à sua fácil implementação em certas aplicações como, por exemplo, no controle de vibrações. Os sinais usados na realimentação são aceleração e velocidade, sendo obtidos por meio de acelerômetros. Por meio do método proposto é possível obter condições LMIs para a síntese de controladores que garantam a estabilização do sistema em malha fechada, sendo que os controladores possuem desempenho otimizado. Para a formulação das condições LMIs, uma função de Lyapunov do tipo quadrática é utilizada. Exemplos teóricos e simulações são utilizados como forma de validação dos métodos propostos, além de mostrar que os novos resultados apresentam condições menos conservadoras. Além disso, ao final é apresentada uma implementação prática em um sistema de suspensão ativa, produzida pela Quanser®. / Abstract: The resolution of linear quadratic regulator (LQR) problem via linear matrix inequalities (LMIs) for linear time-invariant systems subject to polytopic uncertainties, as linear systems subjects to linear parameter varying (LPV), is proposed in this work. The controllers' designs are based on the state derivative feedback. The aim to the choice of the state derivative feedback is your easy implementation in a class of mechanical systems, such as in vibration control, for example. The signals used for feedback are acceleration and velocity, it is obtained by means of accelerometers. Through the proposed method it is possible to obtain LMIs conditions for the synthesis of controllers that guarantee the stabilisation of the closed-loop system, being that the controllers have optimised performance. For the LMIs conditions formulations, a Lyapunov function of type quadratic is used. As a form of validation, theoretical examples and simulations are performed, besides to show that the new results are less conservative. Furthermore, a practical implementation in an active suspension system, produced by Quanser®, is performed. / Mestre

Les études menées permettent d’étendre la méthodologie de commande H∞ aux modèles décrits par des équations différentielles faisant intervenir des ordres de dérivation non entiers. Deux approches sont proposées. La première consiste à réécrire le modèle non entier comme un modèle entier incertain afin de pouvoir utiliser les méthodes de commande H∞ développées pour les modèles entiers. La seconde approche consiste à développer des conditions LMI spécifiques aux modèles non entiers à partir de leur pseudo représentation d’état. Ces deux approches sont appliquées à l’isolation vibratoire d’un pont. / The general theme of the work enables to extend H∞ control methodology to fractional order models. Two approaches are proposed. The first one consists in rewriting the fractional order model as an uncertain integer order model in order to use existing H∞ control methods for integer order models. The second approach consists in developing specific LMI conditions for fractional order models based on their pseudo state space representation. These two approaches are applied to the vibratory isolation of a bridge.

Cette thèse est dédiée à l’analyse de stabilité des systèmes non linéaires sous échantillonnage variant avec le temps. Lors de l’implémentation numérique d’un contrôleur qui est calculé en temps-continu (approche par émulation), il est d'un grand intérêt de fournir des critères de stabilité et d’estimer la borne supérieure de l’intervalle d’échantillonnage qui garantit la stabilité du système en temps discret. Plusieurs travaux récents ont abordé ces questions dans le cas de modèles linéaires, mais la question a rarement été abordée dans une étude quantitative et formelle pour les systèmes non linéaires.Tout d'abord, le mémoire présente un aperçu sur les systèmes échantillonnés. Les défis et les principales méthodes pour l'analyse de stabilité sont présentés pour le cas des systèmes linéaires invariants dans le temps et celui des systèmes non linéaires. Ensuite, l’analyse de la stabilité locale des systèmes bilinéaires échantillonnés contrôlés par un retour d'état linéaire est considérée. Deux approches sont utilisées, la première basée sur la théorie des systèmes hybrides, la seconde basée sur l’analyse des ensembles invariants contractants. Cette dernière approche est inspirée par la théorie de la dissipativité. L’ensemble de ces résultats conduisent à des conditions suffisantes de stabilité exprimées sous forme LMI.Enfin, les conditions de stabilité basées sur la dissipativité sont étendues au cas des systèmes non linéaires affines en l'entrée. Les résultats sont ensuite repris dans le cas spécifique des systèmes non linéaires polynomiaux où les conditions de stabilité sont vérifiées numériquement en utilisant la décomposition en somme des carrés (SOS). / This PhD thesis is dedicated to the stability analyzis of nonlinear systems under sampled-data control, with arbitrarily time-varying sampling intervals. When a controller is designed in continuous-time, and then implemented digitally (emulation approach), it is of great interest to provide stability criteria, and to estimate the bound on the sampling intervals which guarantees the stability of the sampled-data system. Whereas several works deal with linear models, the issue has been rarely addressed in a formal quantitative study in the nonlinear case.First, an overview on sampled-data control is presented. Challenges and main methodologies for stability analysis are presented for both the linear time-invariant and the nonlinear cases.Then, local stability of bilinear sampled-data systems controlled by a linear state feedback is considered by using two approaches: the first one is based on hybrid systems theory; the second one is based on the analyzis of contractive invariant sets and is inspired by the dissipativity theory. Both approaches provide sufficient stability conditions in the form of LMI.Finally, the dissipativity–based stability conditions are extended for the more general case of nonlinear systems which are affine in the input, including the case of polynomial systems which leads to conditions in the form of sum of squares (SOS).

Esta tesis considera un enfoque basado en Lyapunov para el análisis y control de sistemas no lineales cuyas ecuaciones dinámicas son reescritas como un modelo Takagi-Sugeno o uno polinomial convexo. Estas estructuras permiten resolver problemas de control mediante técnicas de optimización convexa, más concretamente desigualdades matriciales lineales y suma de cuadrados, que son eficientes herramientas desde un punto de vista computacional. Después de proporcionar una visión general básica del estado actual en el campo de los modelos Takagi-Sugeno, esta tesis aborda cuestiones sobre las funciones de Lyapunov por trozos, dependiente de parámetros e integral de línea, con las siguientes contribuciones: Un algoritmo mejorado para estimaciones del dominio de atracción de sistemas no lineales para sistemas de tiempo continuo. Los resultados se basan en funciones de Lyapunov por trozos, desigualdades matriciales lineales y argumentaciones geométricas; enfoques basados en conjuntos de nivel en la literatura previa se han mejorado significativamente. Una función Lyapunov generalizada dependiente de parámetros para la síntesis de controladores para sistemas Takagi-Sugeno. El enfoque propone una ley de control multi-índice que retroalimenta la derivada del tiempo de las funciones de membresía del modelo Takagi-Sugeno para anular los términos que causan localidad a priori en el análisis de Lyapunov. Una nueva función integral de Lyapunov para el análisis de estabilidad de sistemas no lineales. Estos resultados generalizan aquellos basados en funciones de Lyapunov integral de línea al marco polinomial; resulta que los requisitos de independencia del camino pueden ser anulados por una definición adecuada de una función Lyapunov con términos integrales. / This thesis considers a Lyapunov-based approach for analysis and control of nonlinear systems whose dynamical equations are rewritten as a Takagi-Sugeno model or a convex polynomial one. These structures allow solving control problems via convex optimisation techniques, more specifically linear matrix inequalities and sum-of-squares, which are efficient tools from the computational point of view. After providing a basic overview of the state of the art in the field of Takagi-Sugeno models, this thesis address issues on piecewise, parameter-dependent and line-integral Lyapunov functions, with the following contributions: An improved algorithm to estimate the domain of attraction of nonlinear systems for continuous-time systems. The results are based on piecewise Lyapunov functions, linear matrix inequalities, and geometrical argumentations; level-set approaches in prior literature are significantly improved. A generalised parameter-dependent Lyapunov function for synthesis of controllers for Takagi-Sugeno systems. The approach proposed a multi-index control law that feeds back the time derivative of the membership function of the Takagi-Sugeno model to cancel out the terms that cause a priori locality in the Lyapunov analysis. A new integral Lyapunov function for stability analysis of nonlinear systems. These results generalise those based on line-integral Lyapunov functions to the polynomial framework; it turns out path-independency requirements can be overridden by an adequate definition of a Lyapunov function with integral terms. / Aquesta tesi considera un enfocament basat en Lyapunov per a l'anàlisi i control de sistemes no lineals les equacions dinàmiques dels quals són reescrites com un model Takagi-Sugeno o un de polinomial convex. Aquestes estructures permeten resoldre problemes de control mitjançant tècniques d'optimització convexa, més concretament desigualtats matricials lineals i suma de quadrats, que són eines eficients des d'un punt de vista computacional. Després de proporcionar una visió general bàsica de l'estat actual en el camp dels models Takagi-Sugeno, aquesta tesi aborda qüestions sobre les funcions de Lyapunov per trossos, dependent de paràmetres i integral de línia, amb les següents contribucions: Un algoritme millorat per a estimar el domini d'atracció de sistemes no lineals per a sistemes de temps continu. Els resultats es basen en funcions de Lyapunov per trossos, desigualtats matricials lineals i argumentacions geomètriques; enfocaments basats en conjunts de nivell en la literatura prèvia s'han millorat significativament. Una funció Lyapunov generalitzada dependent de paràmetres per a la síntesi de controladors per a sistemes Takagi-Sugeno. L'enfocament proposa una llei de control multi-índex que retroalimenta la derivada del temps de les funcions de membres del model Takagi-Sugeno per anul·lar els termes que causen localitat a priori en l'anàlisi de Lyapunov. Una nova funció integral de Lyapunov per a l'anàlisi d'estabilitat de sistemes no lineals. Aquests resultats generalitzen aquells basats en funcions de Lyapunov integral de línia al marc polinomial; resulta que els requisits d'independència del camí poden ser anul·lats per una definició adequada d'una funció Lyapunov amb termes integrals. / González Germán, IT. (2018). Contributions to analysis and control of Takagi-Sugeno systems via piecewise, parameter-dependent, and integral Lyapunov functions [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/101282 / TESIS