Diagnose de falhas em sistemas a eventos discretos modelados por autômatos finitos

Este tutorial apresenta os fundamentos necessários para o estudo e a pesquisa em diagnose de falhas de sistemas a eventos discretos modelados por autômatos. Tanto a diagnose centralizada quanto a descentralizada com coordenação (codiagnose) são consideradas. Além de apresentar as condições necessárias e suficientes para a verificação da diagnosticabilidade e codiagnosticabilidade, este artigo também apresentada testes utilizando diagnosticadores e verificadores. Resultados recentes envolvendo a diagnose centralizada em sistemas sob observação parcial são também considerados.

• Assuntos:

  • Diagnose de falhas
  • Sistemas a Eventos Discretos
  • Autômatos