Orientador: Marcelo Carvalho Minhoto Teixeira / Resumo: Este trabalho dedica-se ao estudo do problema de controle robusto envolvendo custo H∞ para sistemas lineares chaveados no tempo contínuo, sujeitos à saturação no atuador e com incertezas politópicas, considerando leis de chaveamento e controladores chaveados dependentes da saída da planta. Os métodos propostos oferecem novas condições baseadas em Desigualdades Matriciais Lineares (LMIs - do inglês, Linear Matrix Inequalities) para o projeto de controladores chaveados utilizando funções de Lyapunov dependentes de parâmetros. O método é baseado em um resultado recentemente introduzido na literatura para o projeto de controle H∞ de saída o qual evita igualdades matriciais lineares (LMEs - do inglês, Linear Matrix Equalities) e a necessidade de impor restrições nas matrizes de saída do sistema, isto é, as matrizes de saída do sistema podem ser de posto linha incompleto. Com o objetivo de estender estes resultados, a restrição de saturação no atuador é estudada. Análises teóricas e resultados de simulações mostram que os novos procedimentos são menos conservativos quando comparados a métodos publicados recentemente na literatura. No método proposto, as condições são uma classe particular de desigualdades matriciais bilineares (BMIs - do inglês, Bilinear Matrix Inequalities), as quais contêm alguns termos bilineares devido à multiplicação de matrizes por escalares. Estes termos estão relacionados à combinação convexa das matrizes de chaveamento bem como a outros parâmetros escalare... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This thesis is devoted to the study of the robust H∞ control problem of continuous-time switched linear systems subject to actuator saturation with polytopic uncertainties, considering an output-dependent switching law and a switched static output feedback controller. The proposed method offers new sufficient conditions based on linear matrix inequalities (LMIs) for designing the switched controllers using parameter-dependent Lyapunov functions. The method is based on a static output feedback H∞ control design recently presented in the literature that avoids linear matrices equalities (LMEs) and the need to impose any constraints on output system matrices, that is, the output matrices of the system are allowed to be of non-full row rank. In order to extend those results, the actuator saturation constraint is also studied. Theoretical analyses and simulation results show that these new procedures are less conservative than recent methods available in the literature. The conditions of the proposed methods are a particular class of Bilinear Matrix Inequalities (BMIs), which contain some bilinear terms as the product of a matrix and a scalar, related to a suitable convex combination and scalars parameters to provide extra free dimensions in the solution space. The hybrid algorithm Differential Evolution-Linear Matrix Inequality (DE-LMI), is proposed for obtaining feasible solutions of this particular NP-hard problem. Examples show that the proposed methodologies reduce the design ... (Complete abstract click electronic access below) / Doutor

Un système de puissance électrique est un réseau complexe de composants électriques utilisés pour fournir, transmettre et utiliser l'énergie électrique. Son objectif final est d'offrir un service fiable, sécurisé et ininterrompu à l'utilisateur final, cela signifie, tension constante et fréquence constante en tout temps. Aujourd'hui, la tendance de la production d'électricité est vers un réseau interconnecté de lignes de transmission reliant la génération et les charges dans des grands systèmes intégrés. En fait, un réseau de système de puissance est considéré comme la machine la plus complexe et plus jamais construite par l'homme car elle peut s'étendre sur tout un continent. Pour cette raison, l'amélioration de la stabilité transitoire des réseaux électriques est d'une grande importance dans la société humaine, car si la stabilité est perdue, le collapse de la puissance peut se produire dans une grande zone peuplée et de graves dommages seront portées à l'économie régionale et les conforts des consommateurs. Par conséquent, compte tenu de tous les problèmes présentés avant, ce travail de recherche aborde la stabilisation transitoire des systèmes de puissance multi-machines soumises à des perturbations du réseau à partir de deux approches: la centralisation, qui considère aucune limitation dans l'échange d'informations d'un réseau donné, et d'autre part, la décentralisation, qui suppose l'échange d'informations n'est pas disponible. À cette fin, d'abord, nous introduisons une nouvelle théorie de commande pour stabiliser globalement systèmes triangulaires non linéarisables globalement en utilisant une commande de rétroaction d'état dynamique non linéaire, qui diffère de backstepping puisque la forme stricte de rétroaction n'est plus nécessaire. Ensuite, sur la base de ces nouvelles idées, le problème de stabilisation transitoire des systèmes de puissance est résolu d'un point de vue centralisé, en assurant la stabilité asymptotique globale du point de fonctionnement, dans certaines conditions sur les paramètres physiques du système. Postérieurement, en utilisant uniquement les mesures locales disponibles avec la technologie existante, le contrôleur central précédent est transformé en un décentralisé, à condition que la dérivée de la puissance active à chaque générateur peut être appropriement estimée. La performance des deux contrôleurs est testée par des simulations numériques envisagent plusieurs scénarios de défaut en utilisant le système de 10 machines de Nouvelle-Angleterre. Contrairement aux solutions non linéaires ci-dessus, nous proposons une méthodologie basée sur observateur pour la stabilisation décentralisée des systèmes linéaires invariants dans le temps. L'originalité de ce travail repose sur le fait que chaque contrôleur local est fourni avec des mesures locales disponibles, il met en œuvre un observateur pour reconstruire l'état des autres sous-systèmes et utilise de manière équivalente ces estimations dans la loi de commande. Les observateurs sont conçus en suivant les principes de l'immersion et l'invariance. De plus, la classe des systèmes est identifiée par une solution d'une inégalité matricielle linéaire, à partir de laquelle on obtient les gains d'observateurs. / An electric power system (EPS) is a complex network of electrical components used to supply, transmit and use electric power. Its final goal is to provide reliable, secure and uninterrupted service to the end-user, this means, constant voltage and frequency at all time. Nowadays, the trend in electric power production is toward an interconnected network of transmission lines linking generators and loads into large integrated systems. Actually, a power system network is considered the most complex and bigger machine ever built by man since it can span an entire continent. For this reason, improving power system transient stability is of great significance in human society, since if the stability is lost, power collapse may occur in a large populated area and serious damages will be brought to a regional economy and the consumer's comforts. Therefore, considering all issues presented before, this research work tackles the transient stabilization of a multi-machine EPS subject to network disturbances from two approaches: centralization which considers no limitation in information exchange at any point of a given network, and on the other hand, decentralization which assumes the information exchange is not available. To this end, first we introduce a novel control theory to globally stabilize non-globally linearizable triangular systems employing a nonlinear dynamic state-feedback controller, which differs from standard backstepping since the strict-feedback form is no longer required. Then, based on these new ideas, the transient stabilization problem of EPS is solved from a centralized point of view ensuring, under some conditions on the physical parameters of the system, global asymptotic stability of the operating point. Subsequently, using only local measurements available with existing technology, the previous central controller is transformed into a truly decentralized one, provided that the derivative of the active power at each generator can be suitable estimated. Performance of both controllers is tested via numerical simulations considering several fault scenarios using the 10-machine New England benchmark. In contrast to the nonlinear solutions above, we offer an observer--based methodology for decentralized stabilization of large--scale linear time--invariant systems. The originality of this work relies on the fact that each local controller is provided with available local measurements, it implements a deterministic observer to reconstruct the state of the other subsystems and uses in a certainty--equivalent way these estimates in the control law. The observers are designed following the principles of immersion and invariance. Furthermore, the class of systems to which the design is applicable is identified via a linear matrix inequality solution, from which the observer gains are obtained.

Neste trabalho apresenta-se um procedimento de projeto para sistemas dinâmicos com não linearidades do tipo setor. Um sistema linear com incerteza estruturada é utilizado para descrever o sistema não linear, permitindo encontrar funções de Lyapunov, subconjuntos do domínio de atração e regiões invariantes do sistema não linear de forma relativamente simples. O controlador de ganho programado utiliza os estados do sistema para chavear controladores lineares robustos em subconjuntos do domínio de atração do sistema em torno do ponto de operação. O procedimento garante a estabilidade do sistema em malha fechada e reduz o conservadorismo que resulta quando uma grande região de atração é considerada. Além disto, também considera-se o problema de transição garantida entre pontos de operação, utilizando um caminho pré especificado no espaço de estado. Para o controle do sistema linear com incerteza, apresenta-se uma técnica de controle de custo garantido utilizando desigualdades de matrizes lineares. Um sistema de suspensão magnética e um sistema de bioxidação microbiana de sorbitol a sorbose são apresentados como exemplos de aplicação do controlador de ganho programado. / In this work a gain scheduling controller design procedure for dynamic systems with sector nonlinearities is given. An uncertain linear system with structured uncertainty is used to describe the nonlinear system, yielding an easy way to obtain Lyapunov functions, invariant sets and subsets of the system domain of attraction. The gain scheduling controller proposed uses the system state to switch linear robust controllers in subsets of the system domain of attraction around the operating point. The procedure guarantees the stability ofthe closed loop system and reduces the amount of conservatism that results when a large region of attraction around the operating point is considered. In addition, we also consider the problem of guaranteed transition between operating points by using a pre specified path in the state space for the system operating points. A guaranteed cost control law for uncertain linear systems using linear matrix inequalities is also presented. A magnetic suspension system and a sorbitol to sorbose microbial oxidation system are presented as applications of the gain scheduled controller.

Les travaux présentés dans cette thèse ont été effectués au Centre de Recherche en Automatique de Nancy (CRAN). Ils portent sur l'observation et la commande des systèmes singuliers non linéaires. Dans un premier temps nous nous sommes intéressés à la synthèse d'observateur et au filtrage H infini des systèmes singuliers bilinéaires. Dans un deuxième temps, nous avons étudié la synthèse d'observateur pour les systèmes singuliers non linéaires Lipschitziens. La dernière partie de ce travail concerne la stabilisation et la commande basée observateurs des systèmes singuliers non linéaires. L'objectif de ce travail a été de proposer des résultats facilement implémentables et de couvrir une large classe de systèmes non linéaires. La contribution principale de ce mémoire a été de proposer des observateurs H infini pour les systèmes singuliers non linéaires, en utilisant le non biais de l'erreur d'estimation. Les paramètres de ces observateurs sont obtenus par la résolution des inégalités matricielles linéaires (LMIs). Le deuxième apport concerne la synthèse de commande stabilisante et l'utilisation d'un des observateurs proposés dans cette thèse pour la synthèse d'une commande basée observateur pour les systèmes singuliers non linéaires. Cette dernière est réalisée grâce à la réécriture des fonctions non linéaires sous des formes adéquates à l'application de la commande des systèmes / This thesis work is realized in the Research Center in Automatic Control of Nancy (CRAN). It concerns the observation and control of nonlinear singular systems. Firstly, we were interested in the observer design and H infinity filtering for singular bilinear systems. In a second step, we studied the observers design for Lipschitz nonlinear singular systems. The last part of this work relates to the stabilization and observer based controller for a classe of singular nonlinear systems. The objective is to develop a simple and straightforward results which covers a large class of nonlinear systems. The main contribution of this thesis is in the H infinity observers design for nonlinear singular systems. It is based on the parametrization of the solution of the constrained generalized Sylvester equation. The second contribution relates to the design of stabilizing control and using the proposed observer to design an obsever based controller for nonlinear singular systems. Solutions of these problems are obtained by using Linear Matrix Inequalities (LMI) Formulation

O presente trabalho apresenta um método de projeto de controlador com alocação de pólos em sistemas fuzzy utilizando funções de Lyapunov por partes e contínuas no espaço de estado. A idéia principal é utilizar controladores chaveados no espaço de estado para obter uma resposta transitória satisfatória do sistema, obtida pela localização dos pólos. A modelagem fuzzy Takagi-Sugeno é utilizada para representar um sistema não-linear em diversos pontos de linearização através de uma aproximação por vários modelos locais lineares invariantes no tempo. A análise de estabilidade e o projeto de sistemas de controle podem se formulados em termos de desigualdades matriciais lineares (em inglês, linear matrix inequalities (LMIs)), as quais são resolvidas por técnicas de programação convexa. Na análise de estabilidade ou na síntese de um controlador em sistemas fuzzy é necessário resolver um número determinado de LMIs de acordo com o número de modelos locais. Encontrar uma função de Lyapunov comum a todos os modelos locais pode ser inviável, especialmente quando se impõem critérios de desempenho, que aparecem como restrições no contexto de LMIs. A proposta de uma função de Lyapunov por partes objetiva diminuir o conservadorismo na busca de um controlador que leve os pólos de malha fechada à uma região desejada. Resultados de análise e síntese da teoria de sistemas lineares por partes contribuíram para a construção do resultado apresentado. Exemplos com simulação ilustram o método proposto. / This work presents a controller design method for fuzzy dynamic systems based on piecewise Lyapunov functions with constraints on the closed-loop pole location. The main idea is to use switched controllers to locate the poles of the system to obtain a satisfactory transient response. The pole placement strategy allows to specify the performance in terms of the desired time response of the feedback system. The Takagi-Sugeno fuzzy model can approximate the nonlinear system in several linearization points using linear time invariant systems. Thus, a global fuzzy model can be obtained from a fuzzy combination of these linear systems. Stability analysis and design of fuzzy control systems can be efficiently carried out in the context of linear matrix inequalities (LMIs). If the fuzzy system is described by many local models, the resulting set of LMIs may be infeasible. The search for a Lyapunov function in the fuzzy pole placement problem may be easier to be satisfied in a piecewise framework. Some results from piecewise linear systems theory have contributed to the development of the presented technique. Some examples are given to illustrate the proposed method.

Made available in DSpace on 2015-03-04T18:50:44Z (GMT). No. of bitstreams: 1 Introducao.pdf: 140805 bytes, checksum: fc7ea84f193f6d764fa24f41af40d07f (MD5) Previous issue date: 2007-03-09 / Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Este trabalho trata do problema de controle H-infinito de uma classe de sistemas lineares com saltos Markovianos (MJLS) a tempo contínuo, onde a cadeia de Markov toma valores em um conjunto infinito enumerável. Um bounded real lemma (que chamamos JBRL) é desenvolvido, estabelecendo que a factibilidade de um conjunto infinito de desigualdades matriciais lineares (LMIs) interconectadas é necessária e suficiente para que um dado sistema seja estocasticamente estável (SS) e atenda a um desempenho H-infinito prescrito. O problema H-infinito estudado consiste na atenuação do efeito que perturbações estocásticas de energia finita causam na saída de um sistema, no pior caso. Neste problema, conhecido na literatura como "disturbance attenuation" (DA), assumimos ainda que o controlador somente tem acesso ao processo de saltos e a uma saída do sistema. Os controladores de interesse devem garantir que tanto a estabilidade (SS) quanto um desempenho H-infinito sejam observados no sistema em malha fechada - donde as condições impostas pelo JBRL são determinantes para a existência de soluções. Um importante aspecto dessa nova abordagem é que ferramentas tão fundamentais quanto o Complemento de Schur ou o Lema da Projeção, p.ex., não podem mais ser usados para manipular os conjuntos de LMIs infinitamente acopladas - tal dificuldade é contornada pela introdução de versões estendidas desses resultados, no início do trabalho. Um dos principais resultados deste trabalho caracteriza a existência de soluções através de dois problemas LMI complementares, um dos quais torna possível o design computacional de controladores. Por fim, são apresentados algoritmos para a construção prática de controladores, ótimos ou sub-ótimos, dando origem a um conjunto de ferramentas que, especialmente no caso em que a cadeia de Markov é finita, podem ser implementadas computacionalmente de maneira imediata. Mesmo no caso finito, os resultados da tese são mais fortes do que aqueles atualmente encontrados na literatura.

Este trabalho propõe uma nova metodologia de projeto de controladores para o amortecimento de oscilações eletromecânicas de baixa freqüência em sistemas de potência. Considerando a necessidade de se aumentar a robustez dos estabilizadores clássicos frente a variações nas condições de operação, este estudo analisou uma série de requisitos práticos a serem atendidos pelos novos controladores de amortecimento e desenvolveu a metodologia proposta, de tal forma que os controladores projetados pudessem satisfazer a todos os requisitos analisados. Foram tratadas questões relativas à estrutura de controle (realimentação dinâmica descentralizada de saída), à robustez de estabilidade e desempenho (através da modelagem politópica e dos critérios de posicionamento regional de pólos) e da não atuação dos controladores em regime permanente (com a inclusão de filtros washout na modelagem). A principal vantagem desta metodologia proposta é a possibilidade de se garantir formalmente um desempenho robusto dos controladores, dentro de uma região pré-especificada de pontos de operação. Os resultados, obtidos através de simulações não lineares da resposta (para uma série de perturbações) dos sistemas escolhidos para teste, em diversas condições de operação, mostram que os controladores obtidos com a aplicação desta metodologia são capazes de manter seu desempenho frente às variações consideradas. Além disso, a obtenção de resultados satisfatórios com a aplicação desta metodologia a um sistema com 45 variáveis de estado indica boas perspectivas para a utilização conjunta da mesma com técnicas de redução do modelo de estados, para o projeto de controladores de amortecimento em sistemas reais de grande porte. / This research proposes a new methodology for the design of controllers to damp low frequency electromechanical oscillations in power systems. Considering the need to improve the robustness of the classical stabilizers, with respect to variations in the operating conditions, this study has analyzed a series of practical requirements to be met by the new damping controllers and developed the proposed methodology, so the designed controllers could satisfy all the analyzed equirements. Questions regarding the controller structure (decentralized dynamic output feedback), the robustness of stability and performance (through the polytopic modelling and the regional pole placement criteria) and the non influence of the controllers over the steady state behavior of the system (with the inclusion of washout filters in the model) were treated. The main advantage of the proposed methodology is the possibility to ensure, formally, the performance robustness of the controllers, within a previously specified region of operating points. The results, obtained through the eigenanalysis of the closed loop system and the nonlinear simulations of the system responses to a series of disturbances, in various operating conditions, show that the controllers provided by this new methodology are capable of maintaining their performance, despite the considered variations. Moreover, the satisfactory results obtained with the application of this methodology to a system with 45 state variables indicates good perspectives for the joint utilization of the methodology and model order reduction techniques, for the design of damping controllers for real-sized systems.

Esta proposta de pesquisa visa avaliar métodos de projeto de controladores em dois níveis, composto por controladores descentralizados e centralizado, utilizando sinais de medição fasorial sincronizada. Pesquisas iniciais foram realizadas utilizando a abordagem baseada na resolução da equação de Riccati num sistema multimáquinas, considerando aquisição de dados via medição fasorial sincronizada e atrasos de tempo nos canais de comunicação da entrada e da saída do controlador centralizado. Esta pesquisa propõe o projeto e avaliação de controladores centralizados através das abordagens baseadas na resolução da equação de Riccati, Desigualdades Matriciais Lineares e Algoritmos Genéticos. O projeto consiste em obter um controlador centralizado robusto a variações de carga e topologia do sistema, além de possíveis perdas de links de comunicação da entrada e da saída do controlador centralizado com o sistema elétrico. A fim de verificar a eficácia das abordagens de projeto foram utilizados o Sistema Equivalente Sul-Sudeste Brasileiro e o Sistema Simplificado Australiano. Além disso, simulações dinâmicas dos sistemas com aplicação de contingências foram realizadas com o propósito de se avaliar os controladores centralizados obtidos através de um modelo linear. Os resultados alcançados mostram semelhança e eficiência das abordagens quando se consideram múltiplos pontos de operação do sistema. A abordagem baseada em Algoritmos Genéticos se sobressai de acordo com os resultados obtidos para os sistemas-teste mencionados por propiciar um controlador centralizado robusto a múltiplos pontos de operação e possíveis perdas de links de comunicação. / This research proposal aims to compare control design methods on two levels, consisting of centralized and decentralized controllers, using signals synchronized phasor measurement. Initial researches have been conducted using the approach in solving the Riccati equation in a multi-machine system, considering data acquisition via synchronized phasor measurement and time delays in the communication channels of input and output of the centralized controller. This research proposes the design and comparison of centralized controllers through approaches based on resolution of the Riccati equation, Linear Matrix Inequalities and Genetic Algorithms. The project is to achieve a robust centralized controller to load variations and system topology changes and possible loss of communication of the input and output of the centralized controller with the electrical system. In order to verify the effectiveness of design approaches were used the Southern-Southeastern Brazil Equivalent Equivalent and Australian Simplified System. In addition, simulations of the dynamic systems with application of contingency were performed in order to evaluate the centralized controlling obtained by a linear model. The results show similarity and efficiency of the approaches when considering multiple system operating points. The Genetic Algorithms-based approach stands out according to the results obtained for the test systems mentioned, as demonstrated by the results, because it provides a robust centralized controller to multiple points of operation and possible loss of communication links.

O presente trabalho propõe, como inovação, o limite superior para a energia da saída do sistema em malha fechada como índice de desempenho a ser usado no projeto de controladores robustos para amortecer oscilações eletromecânicas de baixa freqüência em sistemas de potência. A saída do sistema em malha fechada é especificada de forma que a energia da saída corresponda ao valor acumulado do desvio da energia cinética do sistema. O índice de desempenho proposto mostrou-se adequado ao problema de oscilações eletromecânicas. Tal índice de desempenho é utilizado na formulação de uma metodologia sistemática de projeto. O problema de controle é estruturado na forma de desigualdades matriciais lineares, permitindo a obtenção de uma solução numérica para o problema. A obtenção da solução do problema de controle proposto (energia da saída como índice de desempenho) exige menos dispêndio computacional, quando comparado com o tradicional fator de amortecimento mínimo na forma de posicionamento regional de pólos. Tal característica pode ser significativa para o tempo computacional requerido pelo projeto de controladores envolvendo modelos sistemas de potência de ordem elevada. O projeto de controladores de amortecimento robustos, baseados em modelos multimáquinas que dispensem a hipótese de existência de um barramento infinito, constitui a segunda parte da pesquisa proposta. Os problemas inerentes à hipótese do barramento infinito são resolvidos pelo uso de duas abordagens que não adotam tal hipótese. A primeira abordagem adotada refere-se ao uso de um modelo multimáquinas com o ângulo de uma das máquinas do sistema como referência angular. A segunda alternativa proposta é a incorporação do sistema primário de controle de velocidade no modelo multimáquinas referente à primeira alternativa. Além de resolver o problema referente ao uso do barramento infinito, o presente trabalho também propõe análises da influência da hipótese de tal barramento no projeto de controladores de amortecimento. A influência da hipótese do barramento infinito no projeto dos controladores é delineada por meio dos fundamentos expostos e dos resultados obtidos com as diferentes alternativas utilizadas / The present work proposes, as innovation, an upper bound for the output energy of the closed loop system to be used as a performance index in the design of robust controllers to damp low-frequency electromechanical oscillations in electric power systems. The output of the closed loop system is specified so that the output energy corresponds to the accumulated value of the kinetic energy deviation of the closed loop system. The performance index used in the procedure has shown to be suitable to the oscillation problem. The proposed performance index is used in the formulation of a systematic design methodology. The control problem is structured in the form of linear matrix inequalities, allowing a numerical solution to the control problem. The adopted performance index is less costly in terms of computational effort when compared with the traditional minimum damping ratio (performance index usually accepted in power system as small signal stability margin) via regional pole placement in the LMI formulation. This characteristic may be significant to the computational time required for the controller design involving large power system models. The robust damping controller design, based on multimachine models without the infinite-bus assumption, constitutes the second part of this research proposal. The problems inherent to the infinte-bus assumption are solved by means of two approaches which do not use such assumption. The first proposed approach refers to the use of a multimachine model adopting one machine angle of the system as angular reference. The second adopted approach is the incorporation of the primary speed control in the multimachine model regarding to the first approach. Besides solving the problem regarding to the use of infinite-bus assumption, the present work also proposes analyses of such assumption influence in the design of damping controllers. The influence of such assumption, in the design of the controllers, is outlined by means of exposed fundamentals and results obtained with the proposed approaches

Submitted by Adalberto Zanatta Neder Lazarini null (adalberto.lazarini@yahoo.com) on 2017-02-02T20:05:36Z No. of bitstreams: 1 Dissertação Adalberto - Final.pdf: 1297717 bytes, checksum: 4cea64840d9e8f7f2841989ef7ea349a (MD5) / Approved for entry into archive by LUIZA DE MENEZES ROMANETTO (luizamenezes@reitoria.unesp.br) on 2017-02-06T17:12:01Z (GMT) No. of bitstreams: 1 lazarini_azn_me_ilha.pdf: 1297717 bytes, checksum: 4cea64840d9e8f7f2841989ef7ea349a (MD5) / Made available in DSpace on 2017-02-06T17:12:01Z (GMT). No. of bitstreams: 1 lazarini_azn_me_ilha.pdf: 1297717 bytes, checksum: 4cea64840d9e8f7f2841989ef7ea349a (MD5) Previous issue date: 2017-01-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho são feitas análises sobre quando as condições de existência dos teoremas apresentados por (GUEDES, 2015), que propõem condições necessárias e suficientes para a estabilidade de sistemas não lineares de tempo contínuo descritos através de modelos fuzzy Takagi-Sugeno (TS), que transformam sistemas não lineares em um conjunto convexo de sistemas lineares a partir de regras se-então, baseadas em Funções de Lyapunov Fuzzy (FLF), são satisfeitas. Primeiramente, são analisados os casos particulares de 3 e 4 modelos locais. Logo após, são tratados casos genéricos, com quantidades de regras tanto pares quanto ímpares, identificando quando as condições impostas pelos teoremas citados são satisfeitas. Para os casos nos quais as condições não são satisfeitas, é proposto também um algoritmo para obtenção do “pior caso” possível, varrendo todas as possibilidades que o sistema apresenta. Este algoritmo oferece condições necessárias e suficientes para o problema e também pode ser utilizado quando as condições exigidas pelos dois teoremas apresentados em (GUEDES, 2015) são satisfeitas. Por fim, são analisadas as contribuições do uso do algoritmo, onde são considerados parâmetros como número de LMIs, número de variáveis matriciais simétricas nxn simétricas utilizadas na resolução das LMIs e tempo computacionalmente necessário. / In this work,the required conditions for the theorems presented by(GUEDES,2015), which propose necessary and sufficient conditions for the stability of continuous-time nonlinear systems described by Takagi-Sugeno (TS) fuzzy models based on Lyapunov fuzzy functions (LFF), are analysed. First of all, the cases with 3 and 4 local models are considered. After that, generic cases are studied, with odd or even number os rules, identifying when the conditions imposed by these theorem shold. If the conditions are not satisfied, an algorithm is proposed as way of finding the “worst case scenario” for the system, considering all possible options. This algorithm offers necessary and sufficient conditions for solving this problem and also can be used when the conditions for the application of the theorems presented in(GUEDES,2015) hold. Finally,the algorithm’s contributions are analyzed, considering parameters such as number of LMIs,number of symmetric matricial variables used on solving the LMIs and computational time.