Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11871
Full metadata record
DC FieldValueLanguage
dc.creator.IDMIRANDA, M. V. C.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/8046990008328337pt_BR
dc.contributor.advisor1LIMA, Antonio Marcus Nogueira.
dc.contributor.advisor1IDLIMA, A. M. N.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/2237395961717699pt_BR
dc.contributor.referee1CURY, José Eduardo Ribeiro.
dc.contributor.referee2JOTA, Fábio Gonçalves.
dc.contributor.referee3SILVA, Edison Roberto Cabral da.
dc.contributor.referee4NEVES, Washington Luiz Araújo.
dc.description.resumoEsta tese propõe uma alternativa as técnicas de simulação, normalmente, utilizadas para a analise de circuitos de eletrônica de potencia (comumente constituídos de processadores de potencia e um controlador, chamado de conversor), as quais não garantem a correção global dos resultados obtidos para avaliar, por exemplo, o efeito de intervalos de condições iniciais e variação parametria nos componentes do circuito. Esta alternativa compreende a utilização de métodos formais para obter o modelo de circuitos de potencia e, a partir deste modelo, empregar técnicas para estudo, verificação do comportamento destes sistemas e também para o reprojeto de um novo controlador. Sabendo-se que um circuito de potencia exibe, em seu comportamento, dinâmicas contínuas e discretas, tipicas de sistemas híbridos, esta tese introduz um procedimento sistemático para obter o modelo matemático que captura o comportamento hibrido destes sistemas, na forma de automates híbridos. 0 modelo de automate hibrido obtido e baseado na representação da estrutura do conversor resultante de um método de montagem de blocos de elementos que representam os componentes deste conversor. 0 procedimento de modelagem permite tratar refinamentos de dispositivos semi-condutores do circuito e circuitos com incertezas nos valores do sinal de entrada, considerando tanto entrada constante como entrada variante no tempo. Uma vez obtido o automato hibrido, representando o modelo formal do circuito de eletrônica de potencia, foram implementados métodos de verificação de propriedades através da analise de alcancabilidade sobre o próprio espaço de estado hibrido do sistema. Os procedimentos de verificação, implementados nesta tese, possibilitam verificar propriedades, tais como: a compatibilidade dos valores de corrente e tensão nos componentes do circuito com os limites estabelecidos; a ocorrência de faltas ocasionadas quando os valores de corrente ou tensão nos dispositivos semi-condutores ultrapassam os limites de ruptura; o nível de tensão sobre o qual uma chave comutaria; a compatibilidade dos valores de tensão na carga com um dado valor de referenda de projeto; a conformidade dos valores de tensão e corrente em regime permanente como especificados, dentre outros. Foram implementados procedimentos para automaticamente reprojetar um novo controlador para satisfazer a uma dada especificação. O objetivo do reprojeto do controlador e garantir que todas as configurações alcançáveis do sistema levem a um conjunto de configurações seguras, como especificadas em seu projeto. Através desta abordagem de controle de sistemas híbridos, abre-se espaço para tratar uma ampla gama de problemas comuns na automação industrial, particularmente, circuitos de eletrônica de potencia.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICApt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqEngenharia Elétrica
dc.titleContribuição ao uso de métodos formais no estudo de circuitos de eletrônica de potência.pt_BR
dc.date.issued2003-10-24
dc.description.abstractThis thesis presents an alternative method to the simulation process of power electronic circuits, composed by power processors and a controller, named conversor. Computer simulations are normally used to analyze the behavior of power electronic circuits, and do not guarantee a reliable adjustment to the results attained while evaluating, for example, the effect of either any set of initial conditions or parametric deviation in the circuit components. The alternative technique proposed in this work comprehends the use of formal methods to obtain a model for power circuits, to analyze and verify the behavior of these systems, and to redesign a new controller from a set of desired specifications as well. Power electronic circuits exhibit a continuous and discrete dynamics, which is a typical feature of hybrid systems. This work introduces a systematic procedure to derive a mathematical model that captures the hybrid behavior of these systems as hybrid automata. The model of the hybrid automaton obtained is based on the representation of the structure of a converter, as a result of an assembly method of blocks that represent the components of such converter. The modeling procedure allows dealing with the improvement of semiconductor circuit devices as well as the existence of uncertainties in the input signal, for both constant and time variant input. Once obtained the hybrid automaton, which represents the formal model of the power circuit, methods are developed to verify its properties by using the reachability analysis on the hybrid system state-space itself. The methods of verification make possible the analysis of properties such as the compatibility of current and voltage values in the circuit components under specified limits, the fault occurrences when the current and voltage values exceeds the rupture limits, the voltage level necessary to turn on a semiconductor device, the compliance of the steady-state current and voltage values as desired, etc. Finally, methods to automatically redesign a controller were implemented. The controller goal is to guarantee that every reachable state of the system will converge to a set of reliable configurations, as specified in the design. By using this approach it is possible to get around several problems that may occur in the industrial automation, and in particular, concerning the power electronic circuits.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11871
dc.date.accessioned2020-02-13T12:02:00Z
dc.date.available2020-02-13
dc.date.available2020-02-13T12:02:00Z
dc.typeTesept_BR
dc.subjectSistemas Híbridos
dc.subjectCircuito de Eletrônica de Potência
dc.subjectMétodos Formais
dc.subjectAutômatos Híbridos
dc.subjectVerificação Formal
dc.subjectReprojeto do Controlador
dc.subjectTécnicas de Simulação
dc.subjectHybrid Systems
dc.subjectPower Electronics Circuit
dc.subjectFormal Methods
dc.subjectHybrid Automata
dc.subjectFormal Verification
dc.subjectController Redesign
dc.subjectSimulation Techniques
dc.rightsAcesso Abertopt_BR
dc.creatorMIRANDA, Márcia Verônica Costa.
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeContribution to the use of formal methods in the study of power electronics circuits.pt_BR
dc.identifier.citationMIRANDA, Márcia Verônica Costa. Contribuição ao uso de métodos formais no estudo de circuitos de eletrônica de potência. 2003. 195f. (Tese) Doutorado em Engenharia Elétrica, Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande – Campina Grande - Paraíba - Brasil, 2003.pt_BR
Appears in Collections:Doutorado em Engenharia Elétrica.

Files in This Item:
File Description SizeFormat 
MÁRCIA VERÔNICA COSTA MIRANDA - PPGEE TESE 2003.pdfMárcia Verônica Costa Miranda - Tese PPGEA 20039.03 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.