Resumo da Tese apresentada à COPPE/UFRJ como parte dos requisitos necessários para a obtenção do grau de Mestre em Ciências (M.Sc.)

Obtenção de Bases Mínimas para o Diagnóstico de Falhas de Sistemas a Eventos Discretos Utilizando Verificadores

Leonardo Pascoal Motta Santoro

Setembro/2013

Orientador:

Marcos Vicente de Brito Moreira

Programa:

Engenharia Elétrica

      A verificação da diagnosticabilidade de um sistema a eventos discretos (SED) pode ser realizada utilizando-se autômatos verificadores. Verificadores são autômatos determinísticos cujos estados possuem rótulos indicando sobre a ocorrência ou não dos eventos de falha. Uma vez verificada a diagnosticabilidade da linguagem de um sistema com relação a um conjunto de eventos observáveis, uma outra questão pode ser levantada: dado que o sistema é diagnosticável considerando-se o conjunto de eventos observáveis, seria possível que o sistema permanecesse diagnosticável para um subconjunto desse conjunto? Caso a resposta a essa questão seja positiva para um determinado sistema, é possível reduzir o número de sensores utilizados no diagnóstico, diminuindo também o custo financeiro da planta em questão. Outra possibilidade seria aproveitar a redundância de alguns desses sensores para tornar o diagnóstico mais robusto e confiável diante de uma situação de falha dos mesmos. Neste trabalho são propostos dois algoritmos que retornam, de maneira sistemática, todos os subconjuntos de eventos essenciais para o diagnóstico de falhas de um sistema (bases mínimas para o diagnóstico), sendo que um deles possui menor complexidade computacional que os demais métodos existentes atualmente na literatura.