Antonio Eduardo Carrilho da Cunha | SBAI 2019 | Galoá Proceedings

Instituto Militar de Engenharia

Antonio Eduardo Carrilho da Cunha

Este é seu perfil? Faça login para acessar seus certificados

A model-checking based approach: Diagnosability Verification
Thiago Monteiro Tuxi ¹
Lilian Kawakami Carvalho ¹
Eduardo Nunes ²
Antonio Eduardo Carrilho da Cunha ³
¹ Universidade Federal do Rio de Janeiro
² COPPE UFRJ
³ Instituto Militar de Engenharia
Vol. 1, 2019. -
108598

Sistemas a Eventos Discretos

Oral
Estudo de Caso de Controle Supervisório Tolerante a Perdas Intermitentes de Observação: Planta MECATRIME
Rárisson Queiroz Hilário ¹
Antonio Eduardo Carrilho da Cunha ¹
¹ Instituto Militar de Engenharia
Vol. 1, 2019. -
108170

Sistemas a Eventos Discretos

Oral
Controle Supervisório Hierárquico Baseado em Interface: Caso Mecatrime
Igor Cohen Calixto ¹
Antonio Eduardo Carrilho da Cunha ¹
¹ Instituto Militar de Engenharia
Vol. 1, 2019. -
108394

Sistemas a Eventos Discretos

Oral

Coautores(as) (5)

Publicações em outros proceedings