Marcos Vinícius Silva Alves

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Communication Delays

Precedence Relations

Top Venues

IEEE Trans. Autom. Control.

IEEE Trans Autom. Sci. Eng.

Publications

Marcos Vinícius Silva Alves, João Carlos Basilio
State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks. IEEE Trans Autom. Sci. Eng. 21 (3) (2024)
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)
Públio M. Lima, Marcos Vinícius Silva Alves, Lilian Kawakami Carvalho, Marcos V. Moreira
Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks. IEEE Trans Autom. Sci. Eng. 19 (3) (2022)
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
Supervisory Control of Networked Discrete Event Systems With Timing Structure. IEEE Trans. Autom. Control. 66 (5) (2021)
Marcos Vinícius Silva Alves, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio
Robust supervisory control of discrete event systems against intermittent loss of observations. Int. J. Control 94 (7) (2021)
Marcos Vinícius Silva Alves, João Carlos Basilio
State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks. ACC (2019)
Carlos E. V. Nunes, Marcos V. Moreira, Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discret. Event Dyn. Syst. 28 (2) (2018)
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)
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage. IEEE Trans. Autom. Control. 62 (11) (2017)
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)
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
Supervisory control of timed networked discrete event systems. CDC (2017)
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage. CCA (2016)
Carlos E. V. Nunes, Marcos Vicente Moreira, Marcos Vinícius Silva Alves, João Carlos Basilio
Network codiagnosability of Discrete-Event Systems subject to event communication delays. WODES (2016)
Marcos Vinícius Silva Alves, João Carlos Basilio, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira
Robust Supervisory Control against Intermittent Loss of Observations. WODES (2014)