Existem métodos de integração de equações algébrico diferenciais não lineares (DAEs) considerados clássicos pela literatura. Porém, neste trabalho, através uma abordagem geométrica, apresenta-se um método de integração de DAEs. Tal método é inspirado na teoria de desacoplamento de sistemas não lineares explícitos, quando se considera que as saídas são restrições algébricas. Neste caso, a DAE pode ser identificada como dinâmica zero. O resultado principal desta abordagem é que, dada uma DAE, sob certas condições, é possível a construção de um sistema explícito, de tal maneira, que as soluções desse sistema explícito convergem para as soluções da DAE. / Classical methods for numerical integration of diferential algebraic equations (DAEs) can be formal in the literature. In this work, using a diferential geometric approach, a numerical method of integration of DAEs is established. This method is inspired in the decoupling theory of nonlinear explicit systems, when one considers that the outputs are algebraic constraints. The main result is the construction of an explicit system, whose solutions converge to the solutions of the DAE.

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.

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans. / Model-Based Testing (MBT) has emerged as a promising strategy for the minimization of problems related to time and resource limitations in software testing and aims at checking whether the implementation under test is in compliance with its specification. Test cases are automatically generated from behavioral models produced during the software development life cycle. Among the existing modeling techniques, Input/Output Transition Systems (IOTSs) have been widely used in MBT because they are more expressive than Finite State Machines (FSMs). Despite the existence of test generation methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods for IOTSs are non-deterministic, in contrast to the existing theory for FSMs that provides complete fault coverage guarantee based on a fault model. This manuscript addresses the application of fault models to deterministic test generation methods from IOTSs. A method for the test suite generation based on W method for FSMs is proposed for IOTSs. It generates test suites in a deterministic way and also satisfies sufficient conditions of specification coverage and all faults in a given fault domain. Empirical studies evaluated its applicability and effectiveness. Experimental results for the analyses of the cost of test suite generation by random IOTSs and a case study with specifications from the industry show the effectiveness of the test suites generated in relation to the traditional method of Tretmans.

Materiais frágeis, tal como o silício, têm sido utilizados em sistemas microeletromecânicos, semicondutores e dispositivos ópticos infravermelhos. Estes materiais são considerados de difícil usinabilidade devido à tendência de sofrerem fraturas. O grande desafio na usinagem dos materiais cristalinos é alcançar uma remoção de material por deformações plásticas (regime dúctil), pois, nessas condições as superfícies ópticas usinadas são geradas sem nenhum dano. Esse regime de usinagem pode ser alcançado em escalas submicrométricas, de forma que, em muitos cristais, as pressões impostas pela ferramenta são altas o suficiente para conduzirem uma transformação de fase do material, favorecendo, assim, a usinagem. Embora pesquisas sobre a relação entre a endentação e a usinagem tenham sido desenvolvidas, a busca por métodos matemáticos com base nas forças e deformações de endentação para serem usados em usinagem de modo a identificar as condições ótimas para remoção de material em regime dúctil não são triviais. O presente trabalho propõe uma relação mais direta com os resultados de endentação para determinar os parâmetros ótimos de usinagem dos materiais frágeis, correlacionando a área da face do endentador em contato e a área efetiva da secção de corte em usinagem. Para isso, ensaios de endentação e experimentos de usinagem com ferramenta de diamante foram realizados em escala micro e nanométrica. O material analisado aqui foi o silício monocristalino (100). Uma matriz experimental foi planejada para as possíveis correlações da variação do ângulo de saída da ferramenta e do avanço de usinagem com as áreas de endentação e o surgimento das trincas e fraturas; forças de usinagem e a pressão de transição frágil-dúctil; tensão residual; espessura crítica de corte e o estado das superfícies usinadas. Em relação às durezas obtidas, foi preciso separá-las em dois estágios: antes do surgimento das trincas durante a endentação e depois desse ponto. Durante a usinagem, a melhor remoção de material em regime dúctil foi obtida na direção mais dura do silício. Os ângulos de saída que proporcionaram resultados desfavoráveis em termos de integridade superficial foram o de -25° e ângulos mais negativos que -60°. A pressão de transição se apresentou de 12 GPa a 13 GPa, sendo que as energias específicas de corte seguiram o mesmo comportamento: 9 j/mm³ a 10 j/mm³ respectivamente. A tensão residual se mostrou inversamente proporcional às forças de usinagem. As espessuras crítica-efetivas de corte variaram de 100 nm a 560 nm. Os valores das espessuras críticas de corte estimadas pelos ensaios de endentação variaram de 200 nm a 530 nm. Portanto, foi possível mostrar que os valores de espessura crítica estimados pelo método proposto, com base nos resultados de endentação, corresponderam muito bem às espessuras críticas obtidas nos experimentos de usinagem. Assim sendo, torna-se possível determinar por meio de tal técnica os valores ótimos de usinagem, podendo ser aplicada para qualquer material cristalino. / Brittle materials, such as silicon, have been used in microelectromechanical systems, semiconductor and infrared optical devices. These types of materials are considered of difficult to machine due to the tendency to suffer fractures. The great challenge in the machining of crystalline materials is to achieve a removal of material by plastic deformations (ductile regime), because in these conditions the machined optical surfaces are generated without any superficial damage. This type of machining can be achieved on a submicrometric machining scale, so that the pressures imposed by the tool are high and lead to a phase transformation of many crystals favoring the machining in ductile regime. Although research on the relationship between microindentation and micromachining has been developed, the search for mathematical methods based on the forces and the deformations of indentation to be used in machining in order to identify the machining conditions under regime ductile are non-trivial. The present work proposes a more direct relationship with the results of the indentation to determine the optimal parameters of the fragile materials, correlating the indenter face area and the cutting section effective area in machining. For this purpose, indentation tests and diamond tool machining experiments were carried out on a micro and nanometric scale. The material analyzed here was monocrystalline silicon (100). An experimental matrix was planned for the possible correlations of the variation of the tool rake angle and of the machining feed with the areas of indentation and the beginning of cracks and fractures; cutting forces and the fragile-ductile transition pressure; residual stress; critical cutting thickness and the state of machined surfaces. In relation to the hardness obtained, it was necessary to separate them in two stages: before the emergence of the cracks during the indentation and after that point. During machining, the best removal of ductile material was obtained in the hardest direction of the silicon. The rake angles which gave unfavorable results in terms of surface integrity were -25° and angles more negative than -60°. The transition pressure reached values from 12 GPa to 13 GPa, and the specific shear energies followed the same behavior: 9 j/mm³ at 10 j/mm³ respectively. The residual stress was inversely proportional to the machining forces. Critical-effective uncut thicknesses ranged from 100 nm to 560 nm. The values of the critical uncut thicknesses estimated by the indentation tests ranged from 200 nm to 530 nm. Therefore, it was possible to show that the critical thickness values estimated by the proposed method, based on indentation results, corresponded very well to the critical thickness obtained in the machining experiments. Thus, it is possible to determine by means of such a technique the optimum values of machining, which can be applied to crystalline material.

Made available in DSpace on 2016-04-26T20:23:21Z (GMT). No. of bitstreams: 1 Reynaldo Soares da Fonseca.pdf: 2365868 bytes, checksum: 2d3ae3835ac590ad647db9c4d5d1037a (MD5) Previous issue date: 2014-10-23 / When the 1988 Brazilian Constitution came into force, a new social-political boundary was established, conferring to the judiciary branch a huge number of constitutional powers, in order to allow it to act as a guarantor of democracy and fundamental rights. In fact, there is an explicit framework of dysfunctionalities in the judicial power, i.e., there is a vast difference between what was written in the Constitution and the judicial activity provided by the Judiciary branch, considering the legal possibilities and facts historically observed. According to data from the National Council of Justice, there are more than 92.2 millions pending cases in Brazil. In the Federal Courts, there are more than 11.5 million cases, involving paramount questions related to citizenship (dwelling, social security, health, education, etc). Therefore, the due process clause is revisited, founded in the principle of fraternity and Normative Legal Humanism, in order to find out mediation as a great alternative to resolve disputes in the Federal Courts in Brazil / No marco sócio-político brasileiro, com a entrada em vigor da Constituição da República Federativa do Brasil, em 1988, ocorre uma conferência vultosa de poderes constitucionais ao Poder Judiciário, a fim de que este atue como fiador da democracia e garantidor dos direitos fundamentais. Na realidade, tem-se explicitamente um quadro de disfuncionalidades do Poder judicante, isto é, há uma diferença abissal entre o que o Poder Constituinte positivou na Carta Maior e a atividade jurisdicional que, de fato, o Judiciário presta, à luz das possibilidades jurídicas e fáticas observáveis na concretude histórica. Segundo os dados do Conselho Nacional de Justiça, há mais de 92,2 milhões de processos em tramitação no Poder Judiciário Brasileiro. Na Justiça Federal, tramitam mais de 11,5 milhões de processos, envolvendo questões vitais da cidadania (habitação, previdência, saúde, educação, etc.). Assim, revisita-se o princípio do devido processo legal, com alicerce no princípio da fraternidade e no jus-humanismo normativo, para apontar a conciliação como uma grande alternativa para o acesso e a saída da Justiça Federal brasileira

Orientador: Samuel da Silva / Resumo: Muitas aplicações da engenharia envolvem estruturas essencialmente não-lineares onde várias técnicas têm sido recentemente estudadas e investigadas por muitos pesquisadores. Dentre as várias abordagems, as que usam séries de Volterra têm apresentado propriedades úteis para fornecer um melhor entendimento para identificação e análise. Neste contexto, a presente tese propõem novas contribuições em como usar as séries de Volterra para caracterização, identificação e análise dinâmica de sistemas não-lineares usando sinais de entrada e saída e sinais somente de saída. Inicialmente, apresenta-se uma metodologia para análise de sistemas mecânicos não-lineares através das funções de resposta em frequência de alta-ordem (HOFRFs) e o conceito de HOFRFs estendidas com dados apenas de saída é introduzido e descrito em detalhes. Após isso, uma abordagem para identificação de sistemas não-lineares com base nas séries de Volterra através da expansão na base ortonormal de Kautz é proposta. Essa técnica permite identificar os seus núcleos mais facilmente e permite separar as contribuições dos termos lineares e não-lineares usando somente sinais de saída. Além disso, uma metodologia para análise modal de sistemas fracamente não-lineares sujeito a excitações com vários níveis de amplitude é também apresentada. A contribuição desse novo método reside no fato de que as HOFRFs são simplesmente estimadas como função das FRFs lineares. Basicamente, essa metodologia estende o conceito ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Most recent engineering applications involve structures essentially nonlinear where several techniques have been recently studied and investigated by many researchers. Among them, the methods based on Volterra series expansion have presented powerful properties to provide a better understanding for identification and analysis. In this context, the present thesis proposes new contributions in how to use Volterra series for characterization, identification and dynamical analysis of nonlinear systems based on input and output signals and output-only signals. Initially, a methodology for analysis of nonlinear mechanical systems through higher-order frequency response functions (HOFRFs) is presented and the concept of extended HOFRFs based on output-only is introduced and described in detail. Afterwards, an approach for identification of nonlinear systems based on Volterra series through the expansion onto orthonormal Kautz basis is proposed. This technique allows to identify the Volterra kernels easily and enable to split the contribution of the linear and nonlinear terms using input-output as well as output-only signals. Furthermore, a methodology for modal analysis of weakly nonlinear systems under multilevel excitation is also proposed. The contribution of this new approach lies in the fact that HOFRFs are simply computed as functions of the linear FRFs. Basically, it extends the conventional experimental modal analysis methods in order to characterize and treat no... (Complete abstract click electronic access below) / Doutor

Materiais frágeis, tal como o silício, têm sido utilizados em sistemas microeletromecânicos, semicondutores e dispositivos ópticos infravermelhos. Estes materiais são considerados de difícil usinabilidade devido à tendência de sofrerem fraturas. O grande desafio na usinagem dos materiais cristalinos é alcançar uma remoção de material por deformações plásticas (regime dúctil), pois, nessas condições as superfícies ópticas usinadas são geradas sem nenhum dano. Esse regime de usinagem pode ser alcançado em escalas submicrométricas, de forma que, em muitos cristais, as pressões impostas pela ferramenta são altas o suficiente para conduzirem uma transformação de fase do material, favorecendo, assim, a usinagem. Embora pesquisas sobre a relação entre a endentação e a usinagem tenham sido desenvolvidas, a busca por métodos matemáticos com base nas forças e deformações de endentação para serem usados em usinagem de modo a identificar as condições ótimas para remoção de material em regime dúctil não são triviais. O presente trabalho propõe uma relação mais direta com os resultados de endentação para determinar os parâmetros ótimos de usinagem dos materiais frágeis, correlacionando a área da face do endentador em contato e a área efetiva da secção de corte em usinagem. Para isso, ensaios de endentação e experimentos de usinagem com ferramenta de diamante foram realizados em escala micro e nanométrica. O material analisado aqui foi o silício monocristalino (100). Uma matriz experimental foi planejada para as possíveis correlações da variação do ângulo de saída da ferramenta e do avanço de usinagem com as áreas de endentação e o surgimento das trincas e fraturas; forças de usinagem e a pressão de transição frágil-dúctil; tensão residual; espessura crítica de corte e o estado das superfícies usinadas. Em relação às durezas obtidas, foi preciso separá-las em dois estágios: antes do surgimento das trincas durante a endentação e depois desse ponto. Durante a usinagem, a melhor remoção de material em regime dúctil foi obtida na direção mais dura do silício. Os ângulos de saída que proporcionaram resultados desfavoráveis em termos de integridade superficial foram o de -25° e ângulos mais negativos que -60°. A pressão de transição se apresentou de 12 GPa a 13 GPa, sendo que as energias específicas de corte seguiram o mesmo comportamento: 9 j/mm³ a 10 j/mm³ respectivamente. A tensão residual se mostrou inversamente proporcional às forças de usinagem. As espessuras crítica-efetivas de corte variaram de 100 nm a 560 nm. Os valores das espessuras críticas de corte estimadas pelos ensaios de endentação variaram de 200 nm a 530 nm. Portanto, foi possível mostrar que os valores de espessura crítica estimados pelo método proposto, com base nos resultados de endentação, corresponderam muito bem às espessuras críticas obtidas nos experimentos de usinagem. Assim sendo, torna-se possível determinar por meio de tal técnica os valores ótimos de usinagem, podendo ser aplicada para qualquer material cristalino. / Brittle materials, such as silicon, have been used in microelectromechanical systems, semiconductor and infrared optical devices. These types of materials are considered of difficult to machine due to the tendency to suffer fractures. The great challenge in the machining of crystalline materials is to achieve a removal of material by plastic deformations (ductile regime), because in these conditions the machined optical surfaces are generated without any superficial damage. This type of machining can be achieved on a submicrometric machining scale, so that the pressures imposed by the tool are high and lead to a phase transformation of many crystals favoring the machining in ductile regime. Although research on the relationship between microindentation and micromachining has been developed, the search for mathematical methods based on the forces and the deformations of indentation to be used in machining in order to identify the machining conditions under regime ductile are non-trivial. The present work proposes a more direct relationship with the results of the indentation to determine the optimal parameters of the fragile materials, correlating the indenter face area and the cutting section effective area in machining. For this purpose, indentation tests and diamond tool machining experiments were carried out on a micro and nanometric scale. The material analyzed here was monocrystalline silicon (100). An experimental matrix was planned for the possible correlations of the variation of the tool rake angle and of the machining feed with the areas of indentation and the beginning of cracks and fractures; cutting forces and the fragile-ductile transition pressure; residual stress; critical cutting thickness and the state of machined surfaces. In relation to the hardness obtained, it was necessary to separate them in two stages: before the emergence of the cracks during the indentation and after that point. During machining, the best removal of ductile material was obtained in the hardest direction of the silicon. The rake angles which gave unfavorable results in terms of surface integrity were -25° and angles more negative than -60°. The transition pressure reached values from 12 GPa to 13 GPa, and the specific shear energies followed the same behavior: 9 j/mm³ at 10 j/mm³ respectively. The residual stress was inversely proportional to the machining forces. Critical-effective uncut thicknesses ranged from 100 nm to 560 nm. The values of the critical uncut thicknesses estimated by the indentation tests ranged from 200 nm to 530 nm. Therefore, it was possible to show that the critical thickness values estimated by the proposed method, based on indentation results, corresponded very well to the critical thickness obtained in the machining experiments. Thus, it is possible to determine by means of such a technique the optimum values of machining, which can be applied to crystalline material.

Made available in DSpace on 2014-06-11T19:30:49Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-11-12Bitstream added on 2014-06-13T20:40:35Z : No. of bitstreams: 1 mendes_rat_dr_ilha.pdf: 2326436 bytes, checksum: 60aa15eb5fb66a63b31662bee7904bfa (MD5) / Neste trabalho sao propostas metodologias de modificacao de zeros para solucionar o problema do rastreamento do sinal de referencia em sistemas discretos determinısticos, sistemas discretos incertos e sistemas discretos nao-lineares considerando-se uma entrada de perturbacao na planta. Em um primeiro momento e projetado um controlador discreto para minimizar a norma H∞ entre a entrada ex´ogena e o sinal de saıda com o objetivo de reduzir o efeito da perturbacao sobre a saıda do sistema determinıstico. Posteriormente, minimiza-se a norma H∞ entre o sinal de referencia e o erro de rastreamento atraves da modificacao otima de zeros do sistema discreto, constituindo desta maneira o rastreador de sinal de referencia. Essa nova estrutura de projeto do controlador e estendida para o projeto do controlador robusto H∞, supondo incertezas politopicas na planta e tambem para sistemas nao-lineares. No caso de sistemas com incertezas politopicas na planta, um controlador discreto e projetado para minimizar o custo garantido H∞ entre a entrada exogena e o sinal de saıda com o objetivo de reduzir o efeito da perturbacao sobre a saıda do sistema discreto incerto. Posteriormente e projetado um rastreador para sinais de referˆencia em sistemas com incertezas politopicas, utilizando-se modificacao de zeros. Por fim, estende-se a metodologia de rastreamento do sinal de referencia com rejeicao do disturbio para sistemas nao-lineares. A formulacao do projeto e descrita na forma de inequacoes matriciais lineares, pois estas permitem a descricao de problemas de otimizacao convexa / The tracking problems in uncertain, deterministic and nonlinear discrete time systems, with the presence of a disturbance signal in the plant, are solved in this work proposing a zero variation methodology. A discrete state feedback controller is designed in order to minimize the H∞-norm between the exogen input and the output signal, such that the effect of the disturbance is attenuated in deterministic systems. After, the tracking problem is solved using the variation of the zeros minimizing the H∞-norm from the reference input signal to the error tracking signal. This new structure is extended to design of H∞ robust controller, supposing politopic uncertainties and other one supposing nonlinearities in the plant. In uncertain systems case, a discrete controller is designed in order to minimize the H∞ guaranteed cost between the exogen input and the output signal such that the effect of the disturbance is attenuated in uncertain systems. Then, the tracking problem in uncertain systems is solved using the variation of the zeros minimizing the H∞ guaranteed cost from the reference input signal to the error tracking signal. Finally, the zero variation methodology is extended to nonlinear systems. The design is formulated in the Linear Matrix Inequalities (LMI) framework, such that the optimal solution of the stated control problem is obtained when feasible solution exists

Nesta Dissertação são propostos dois esquemas de controle para sistemas não-lineares com atraso. No primeiro, o objetivo é controlar uma classe de sistemas incertos multivariáveis, de grau relativo unitário, com perturbações não-lineares descasadas dependentes do estado, e com atraso incerto e variante no tempo em relação ao estado. No segundo, deseja-se controlar uma classe de sistemas monovariáveis, com parâmetros conhecidos, grau relativo arbitrário, atraso arbitrário conhecido e constante na saída. Admitindo-se que o atraso na entrada pode ser deslocado para a saída, então, o segundo esquema de controle pode ser aplicado a sistemas com atraso na entrada. Os controladores desenvolvidos são baseados no controle por modo deslizante e realimentação de saída, com função de modulação para a amplitude do sinal de controle. Além disso, observadores estimam as variáveis de estado não-medidas. Em ambos os esquemas de controle propostos, garante-se propriedades de estabilidade globais do sistema em malha fechada. Simulações ilustram a eficácia dos controladores desenvolvidos. / Two control schemes for nonlinear time-delay systems are proposed in this thesis. The purpose of the first scheme is to control a class of uncertain multivariable systems, with relative degree one, nonlinear unmatched state dependent disturbances, and uncertain time-varying state delay. The purpose of the second scheme is to control a class of single-input-single-output systems, with known parameters, arbitrary relative degree, with constant and known arbitrary output delay. Assuming that input delays can be transferred to the output, so the second scheme can be applied to systems with input time-delay. The developed controllers are based on sliding mode control and output feedback, with modulation function to the control signal amplitude. Furthermore, observers estimate unmeasured state variables. In both schemes, global stability properties of the closed loop system are guaranteed. Simulations illustrate the effectiveness of the proposed approaches.

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.