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.)
Diagnosticabilidade de Sistemas Híbridos: Análise e Verificação
Eduardo Alexandre dos Reis Silva
Junho/2015
| Orientadores: |
Marcos Vicente de Brito Moreira
Oumar Diene
|
| Programa: |
Engenharia Elétrica |
Sistemas industriais modernos são controlados em tempo real e supervisionados por meio de sistemas de controle automático baseado em computadores. Esses sistemas combinam comportamentos discretos e contínuos, e são melhor modelados como sistemas híbridos (SH). Este trabalho apresenta uma nova definição para a diagnosticabilidade de um sistema híbrido, chamada de h-diagnosticabilidade. Além disso, é apresentado um novo método para a verificação da h-diagnosticabilidade baseado na construção do diagnosticador híbrido GH, que combina um diagnosticador de sistema a eventos discretos com a distinguibilidade dos modos de um sistema híbrido. Por fim, esse trabalho também apresenta um exemplo de sistema híbrido que é o sistema de controle da máquina do leme de um navio, que é responsável por movimentar o leme e definir o rumo da embarcação. Para esse exemplo são construídos um autômato híbrido e um diagnosticador híbrido para a verificação da h-diagnosticabilidade do sistema híbrido. Após a construção desses autômatos, é verificada que a linguagem gerada pela componente discreta desse sistema híbrido é não diagnosticável, porém ao utilizar o novo método para o diagnóstico de falhas em sistema híbrido, o referido exemplo torna-se h-diagnosticável.
