Robust Supervisory Control against Intermittent Loss of Observations. - Marcos Vinícius Silva Alves; João Carlos Basilio; Antonio Eduardo Carrilho da Cunha; Lilian Kawakami Carvalho; Marcos Vicente Moreira (WODES, 2014)

Network codiagnosability of Discrete-Event Systems subject to event communication delays. - Carlos E. V. Nunes; Marcos Vicente Moreira; Marcos Vinícius Silva Alves; João Carlos Basilio (WODES, 2016)

Supervisory control of timed networked discrete event systems. - Marcos Vinícius Silva Alves; Lilian K. Carvalho; João Carlos Basilio (CDC, 2017)

Codiagnosability of timed networked discrete-event systems subject to event communication delays and intermittent loss of observation. - Gustavo S. Viana; Marcos Vinícius Silva Alves; João Carlos Basilio (CDC, 2017)

New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage. - Marcos Vinícius Silva Alves; Lilian K. Carvalho; João Carlos Basilio (IEEE Trans. Autom. Control., 2017)

Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. - Carlos E. V. Nunes; Marcos V. Moreira; Marcos Vinícius Silva Alves; Lilian K. Carvalho; João Carlos Basilio (Discret. Event Dyn. Syst., 2018)

Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments. - Antonio G. C. Gonzalez; Marcos Vinícius Silva Alves; Gustavo S. Viana; Lilian K. Carvalho; João Carlos Basilio (IEEE Trans. Ind. Informatics, 2018)

Robust supervisory control of discrete event systems against intermittent loss of observations. - Marcos Vinícius Silva Alves; Antonio Eduardo Carrilho da Cunha; Lilian Kawakami Carvalho; Marcos Vicente Moreira; João Carlos Basilio (Int. J. Control, 2021)

Supervisory Control of Networked Discrete Event Systems With Timing Structure. - Marcos Vinícius Silva Alves; Lilian K. Carvalho; João Carlos Basilio (IEEE Trans. Autom. Control., 2021)

Codiagnosability of Networked Discrete Event Systems With Timing Structure. - Gustavo S. Viana; Marcos Vinícius Silva Alves; João Carlos Basilio (IEEE Trans. Autom. Control., 2022)

Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks. - Públio M. Lima; Marcos Vinícius Silva Alves; Lilian Kawakami Carvalho; Marcos V. Moreira (IEEE Trans Autom. Sci. Eng., 2022)

State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks. - Marcos Vinícius Silva Alves; João Carlos Basilio (IEEE Trans Autom. Sci. Eng., 2024)