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