Pessoas:
Laboratorios:
Palavras-chave
intermittent loss observation sistemas petri diagnosability discrete controle controladores event systems weighted eventos robust diagnosis supervisory control revisited codiagnosability discrete event failure diagnosability sistemas evento event system state eventos discretos systems sistemas eventos discretos verification