Diagnosticabilidade de sistemas híbridos empregando análise de alcançabilidade

Jéssica S. Vieira¹; Lilian K. Carvalho¹; Eduardo V. L. Nunes²; Antonio E. C. da Cunha³

¹ COPPE/UFRJ; ² COPPE/URFJ; ³ Programa de Pós-Graduação em Engenharia de Defesa (PGED)\ Instituto Militar de Engenharia (IME)

Baixar PDF doi:10.20906/CPS/CBA2018-1160

Resumo

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.

Palavras-chave: Sistemas híbridos; Análise de alcançabilidade; Diagosticabilidade; Sistemas a eventos discretos