Orientador: Pedro Luis Dias Peres / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T10:51:24Z (GMT). No. of bitstreams: 1 Oliveira_RicardoCoracaodeLeaoFontourade_D.pdf: 881205 bytes, checksum: 053263f18afcf3085a0fc073e1594d2d (MD5) Previous issue date: 2006 / Resumo: A principal contribuição desta tese é a proposta de uma metodologia para solução de desigualdades matriciais lineares dependentes de parâmetros que freqüentemente aparecem em problemas de análise e controle robusto de sistema lineares com incertezas na forma politópica. O método consiste na parametrização das soluções em termos de polinômios homogêneos com coeficientes matriciais de grau arbitrário. Para a construção dessas soluções, um procedimento baseado em resoluções de problemas de otimiza¸c¿ao na forma de um número finito de desigualdades matriciais lineares 'e proposto, resultando em seqüências de relaxações que convergem para uma solução polinomial homogênea sempre que uma solução existe. Problemas de análise robusta e custo garantido s¿ao analisados em detalhes tanto para sistemas a tempo contínuo quanto para sistemas discretos no tempo. Vários exemplos numéricos são apresentados ilustrando a eficiência dos métodos propostos em termos da acurácia dos resultados e do esforço computacional quando comparados com outros métodos da literatura / Abstract: This thesis proposes, as main contribution, a new methodology to solve parameterdependent linear matrix inequalities which frequently appear in robust analysis and control problems of linear system with polytopic uncertainties. The proposed method relies on the parametrization of the solutions in terms of homogeneous polynomials of arbitrary degree with matrix valued coefficients. For constructing such solutions, a procedure based on optimization problems formulated in terms of a finite number of linear matrix inequalities is proposed, yielding sequences of relaxations which converge to a homogeneous polynomial solution whenever a solution exists. Problems of robust analysis and guaranteed costs are analyzed in details for continuous and discrete-time uncertain systems. Several numerical examples are presented illustrating the efficiency of the proposed methods in terms of accuracy and computational burden when compared to other methods from the literature / Doutorado / Automação / Doutor em Engenharia Elétrica

Cette thèse a pour but de certifier des bornes inférieures de fonctions multivariées à valeurs réelles, définies par des expressions semi-algébriques ou transcendantes et de prouver leur validité en vérifiant les certificats dans l'assistant de preuves Coq. De nombreuses inégalités de cette nature apparaissent par exemple dans la preuve par Thomas Hales de la conjecture de Kepler. Dans le cadre de cette étude, on s'intéresse à des fonctions non-linéaires, faisant intervenir des opérations semi-algébriques ainsi que des fonctions transcendantes univariées (cos, arctan, exp, etc). L'utilisation de différentes méthodes d'approximation permet de relâcher le problème initial en un problème d'optimisation semi-algébrique. On se ramène ainsi à des problèmes d'optimisation polynomiale, qu'on résout par des techniques de sommes de carrés creuses. Dans un premier temps, nous présentons une technique classique d'optimisation globale. Les fonctions transcendantes univariées sont approchées par les meilleurs estimateurs polynomiaux uniformes de degré d. Par la suite, nous présentons une méthode alternative, qui consiste a borner certains des constituants de la fonction non-linéaire par des suprema de formes quadratiques (approximation maxplus, introduite à l'origine en contrôle optimal) de courbures judicieusement choisies. Enfin, cet algorithme d'approximation est amélioré, en combinant l'idée des estimateurs maxplus et de la méthode des gabarits développée par Manna et al. (en analyse statique). Les gabarits non-linéaires permettent un compromis sur la precision des approximations maxplus afin de contrôler la complexité des estimateurs semi-algébriques. Ainsi, on obtient une nouvelle technique d'optimisation globale, basée sur les gabarits, qui exploite à la fois la precision des sommes de carrés et la capacité de passage à l'échelle des méthodes d'abstraction. L'implémentation de ces méthodes d'approximation a abouti à un outil logiciel : NLCertify. Cet outil génère des certificats à partir d'approximations semi-algébriques et de sommes de carrés. Son interface avec Coq permet de bénéficier de l'arithmétique certifiée disponible dans l'assistant de preuves, et ainsi d'obtenir des estimateurs et des bornes valides pour chaque approximation. Nous démontrons les performances de cet outil de certification sur divers problèmes d'optimisation globale ainsi que sur des inégalités serrées qui interviennent dans la preuve de Hales.

No description available.