Gustavo S. Viana

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 6

Top Topics

Efficiently Computable

Temporal Constraints

Top Venues

IEEE Trans. Autom. Control.

IEEE Trans. Ind. Informatics

Publications

Gustavo S. Viana, Marcos Vinícius Silva Alves, João Carlos Basilio
Codiagnosability of Networked Discrete Event Systems With Timing Structure. IEEE Trans. Autom. Control. 67 (8) (2022)
Gustavo S. Viana, Marcos V. Moreira, João Carlos Basilio
Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata. IEEE Trans. Autom. Control. 64 (10) (2019)
Gustavo S. Viana, João Carlos Basilio
Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications. Autom. 101 (2019)
Antonio G. C. Gonzalez, Marcos Vinícius Silva Alves, Gustavo S. Viana, Lilian K. Carvalho, João Carlos Basilio
Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments. IEEE Trans. Ind. Informatics 14 (4) (2018)
Gustavo S. Viana, Marcos Vinícius Silva Alves, João Carlos Basilio
Codiagnosability of timed networked discrete-event systems subject to event communication delays and intermittent loss of observation. CDC (2017)
Gustavo S. Viana, João Carlos Basilio, Marcos Vicente Moreira
Computation of the maximum time for failure diagnosis of discrete-event systems. ACC (2015)