Marcos Vinícius Silva Alves

15 papers C 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Delay-Resilient Fault Diagnosis of Networked Discrete-Event Systems Using Sequence Numbers.
IEEE Trans. Autom. Control.
Marcos Vinícius Silva Alves, Carlos E. V. Nunes, Paolo Ferrari, Dennis Brandão, Marcos V. Moreira
2024 J jnl
State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks.
IEEE Trans Autom. Sci. Eng.
Marcos Vinícius Silva Alves, João Carlos Basilio
2022 J jnl
Codiagnosability of Networked Discrete Event Systems With Timing Structure.
IEEE Trans. Autom. Control.
Gustavo S. Viana, Marcos Vinícius Silva Alves, João Carlos Basilio
2022 J jnl
Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks.
IEEE Trans Autom. Sci. Eng.
Públio M. Lima, Marcos Vinícius Silva Alves, Lilian Kawakami Carvalho, Marcos V. Moreira
2021 J jnl
Robust supervisory control of discrete event systems against intermittent loss of observations.
Int. J. Control
Marcos Vinícius Silva Alves, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio
2021 J jnl
Supervisory Control of Networked Discrete Event Systems With Timing Structure.
IEEE Trans. Autom. Control.
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2019 C conf
State Estimation and Detectability of Networked Discrete Event Systems with Multi-Channel Communication Networks.
ACC
Marcos Vinícius Silva Alves, João Carlos Basilio
2018 J jnl
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation.
Discret. Event Dyn. Syst.
Carlos E. V. Nunes, Marcos V. Moreira, Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2018 J jnl
Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments.
IEEE Trans. Ind. Informatics
Antonio G. C. Gonzalez, Marcos Vinícius Silva Alves, Gustavo S. Viana, Lilian K. Carvalho, João Carlos Basilio
2017 — conf
Codiagnosability of timed networked discrete-event systems subject to event communication delays and intermittent loss of observation.
CDC
Gustavo S. Viana, Marcos Vinícius Silva Alves, João Carlos Basilio
2017 J jnl
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage.
IEEE Trans. Autom. Control.
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2017 — conf
Supervisory control of timed networked discrete event systems.
CDC
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2016 — conf
Network codiagnosability of Discrete-Event Systems subject to event communication delays.
WODES
Carlos E. V. Nunes, Marcos Vicente Moreira, Marcos Vinícius Silva Alves, João Carlos Basilio
2016 C conf
New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage.
CCA
Marcos Vinícius Silva Alves, Lilian K. Carvalho, João Carlos Basilio
2014 — conf
Robust Supervisory Control against Intermittent Loss of Observations.
WODES
Marcos Vinícius Silva Alves, João Carlos Basilio, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira