Pessoas:
Laboratorios:
Palavras-chave
codiagnosability brasil optimisation converter assessment adaptive verification systems weighted approach brazil liapunov functions controle control liapunov robust simulation janeiro carrier sistema petri sistemas redes neurais sistemas eventos municipio eventos discretos optimization state diagnosability event system niteroi