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

Com ~200 mil publicações revisadas por pesquisadores do mundo todo, o Galoá impulsiona cientistas na descoberta de pesquisas de ponta por meio de nossa plataforma indexada.
Confira nossos produtos e como podemos ajudá-lo a dar mais alcance para sua pesquisa: