Computation of the maximum time for failure diagnosis of discrete-event systems. - Gustavo S. Viana; João Carlos Basilio; Marcos Vicente Moreira (ACC, 2015)

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)

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)

Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications. - Gustavo S. Viana; João Carlos Basilio (Autom., 2019)

Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata. - Gustavo S. Viana; Marcos V. Moreira; João Carlos Basilio (IEEE Trans. Autom. Control., 2019)

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)