DIAGNOSTICABILIDADE DE SISTEMAS HÍBRIDOS EMPREGANDO ANÁLISE DE ALCANÇABILIDADE
Abstract
Este artigo apresenta uma primeira proposta da diagnosticabilidade de Sistemas Híbridos (SHs) usando a análise de alcançabilidade, uma técnica amplamente empregada na verificação de propriedades em SHs. Para tanto, apresenta-se uma nova definição de diagnosticabilidade que combina a diagnosticabilidade de sistemas a eventos discretos (SEDs) com a análise de alcançabilidade para comparação dos comportamentos contínuos. Além disso, apresenta-se um estudo de caso da análise da diagnosticabilidade de falhas de SHs inspirado num exemplo clássico de diagnóstico de SEDs para mostrar a vantagem de se realizar a análise da alcançabilidade dos estados associados à dinâmica a tempo contínuo do modelo híbrido com vistas a tornar diagnosticável uma falha.