O diagnóstico de falhas em Sistemas a Eventos Discretos com observação dinâmica é motivado por diversas razões, entre elas o uso de sensores com energia limitada, banda passante limitada para comunicação de sensores com agentes ou entre agentes, ou problemas de segurança com relação à comunicação. A ideia básica é que nem toda ocorrência de um evento observável seja identificada. Formas para verificar se um sistema é diagnosticável com observação dinâmica são apresentadas na literatura. O objetivo deste projeto de pesquisa é desenvolver algoritmos computacionalmente mais eficientes para a verificação da diagnosticabilidade em SED com observação dinâmica..
Grande área: Engenharias
Diagnóstico de falhas em sistemas a eventos discretos com observação dinâmica