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.)

Diagnóstico Online de Falhas em Sistemas a Eventos Discretos Modelados por Autômatos Finitos: Uma Abordagem Utilizando Redes de Petri

Felipe Gomes de Oliveira Cabral

Março/2014

Orientadores:

Marcos Vicente de Brito Moreira Oumar Diene

Programa:

Engenharia Elétrica

      Neste trabalho é proposto um método para o diagnóstico online de falhas em sistemas a eventos discretos modelados por autômatos finitos. O método de diagnóstico é baseado em uma rede de Petri diagnosticadora que é construída em tempo polinomial e requer menos memória do que outros métodos propostos na literatura. Métodos de conversão da rede de Petri diagnosticadora em SFC e em diagrama ladder para implementação em um computador lógico programável (CLP) são apresentados. Problemas relacionados à implementação também são abordados neste trabalho.