Pessoas:

Laboratorios:

Relacionados:

João Carlos dos Santos Basilio Lilian Kawakami Carvalho Marcos Vicente de Brito Moreira

Palavras-chave

robust diagnosability diagnosability discrete loss observation controle controladores supervisory control intermittent eventos discretos diagnosis sistemas eventos event system sistemas evento event systems petri systems state discrete event verification