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

AUTOR(ES)

Basilio, João Carlos, Carvalho, Lilian Kawakami, Moreira, Marcos Vicente

FONTE

Sba: Controle & Automação Sociedade Brasileira de Automatica

DATA DE PUBLICAÇÃO

2010-10

RESUMO

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.

ASSUNTO(S)

diagnose de falhas sistemas a eventos discretos autômatos

Documentos Relacionados

• Controle multivariavel de sistemas a eventos discretos em dioides
• Identificação de Sistemas a Eventos Discretos Maxplus lineares
• Estratégias de controle por modelo de referência de sistemas a eventos discretos Max-plus Lineares
• Logica modal aplicada a verificação de sistemas a eventos discretos
• Identificação e controle de sistemas a eventos discretos na algebra (Max,+)