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

Verificação da Diagnosticabilidade e Diagnóstico Online de Falhas em Sistemas Híbridos

Victor Ruas Alvarez

Março/2015

Orientadores:

Marcos Vicente de Brito Moreira Oumar Diene

Programa:

Engenharia Elétrica

      O diagnôstico de falhas é um problema muitas vezes tratado construindo modelos do sistema em que a ocorrência de falhas deve ser diagnosticada. A partir desses modelos, deve-se inferir sobre a ocorrência de falhas considerando eventos que foram observados. Quando a linguagem do sistema não é diagnosticável, ou seja, quando não é possível afirmar que uma falha ocorreu, ou quando o tempo de atraso entre a ocorrência da falha e sua detecção não é aceitável, mais informações precisam ser integradas ao modelo do sistema. Em estudos recentes, a verificação da diagnosticabilidade e o diagnóstico online do sistema são realizados inserindo-se informações das dinâmicas contínuas do sistema no modelo, levando a modelos híbridos, e construindo-se autômatos diagnosticadores para sistemas híbridos, que possuem complexidade computacional exponencial para sua construção. Visando reduzir o tempo computacional para a verificação da diagnosticabilidade, este trabalho propõe a construção de um autômato verificador, que possui complexidade computacional linear com o número de estados e eventos do sistema. Uma vez que os autômatos verificadores não são capazes de prover o diagnóstico online do sistema, é proposto um método para que, após a verificação da diagnosticabilidade por meio do autômato verificador, o diagnôstico online seja realizado. Esse mêtodo é baseado na construção de uma rede de Petri diagnosticadora, que indicará a ocorrência de uma falha.