Lilian Kawakami Carvalho | SBAI 2019 | Galoá Proceedings

Universidade Federal do Rio de Janeiro

Lilian Kawakami Carvalho

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

Sincronização de Sistemas a Eventos Discretos com Compartilhamento de Recursos
Lucas Antunes Floriano ¹
Gustavo Viana ¹
Marcos Vinicius Silva Alves ¹
Lilian Kawakami Carvalho ¹
Joao Carlos Basilio ¹
¹ Universidade Federal do Rio de Janeiro
Vol. 1, 2019. -
108376

Sistemas de Manufatura

Oral
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
A Supervisory Control-Based Navigation Architecture for Multiple Autonomous Robots in Industry 4.0 Environments
Antonio Galiza Cerdeira Gonzalez ¹
Marcos Vinicius Silva Alves ¹
Lilian Kawakami Carvalho ¹
Joao Carlos Basilio ¹
¹ Universidade Federal do Rio de Janeiro
Vol. 1, 2019. -
108493

Sistemas de Manufatura

Oral
Decentralized Diagnosis of Networked Discrete Event Systems Subject to Denial of Service Attacks
Marcos Vinicius Silva Alves ¹
Raphael J. Barcelos ¹
Lilian Kawakami Carvalho ¹
Joao Carlos Basilio ¹
¹ Universidade Federal do Rio de Janeiro
Vol. 1, 2019. -
108478

Sistemas de Manufatura

Oral

Coautores(as) (9)