Marcos V. Moreira

15 papers C 1Journal 8Unranked 6
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
2025 J jnl
Computation of synchronous diagnosis bases of discrete-event systems.
Inf. Sci.
Lucas N. R. Reis, Marcos V. Moreira
2025 — conf
Polynomial Time Verification of Decentralized State-Based Transparency.
CDC
Patrícia C. Mayer, Felipe G. Cabral, Públio M. M. Lima, Marcos V. Moreira
2024 — conf
A cryptographic system based on automata for Networked Automation Systems abstracted as Discrete-Event Systems.
CASE
Marcos V. Moreira, Públio M. Lima, Lilian K. Carvalho, Felipe G. Cabral
2024 — conf
Property-Based Transparency: a New Utility Definition.
CASE
Patrícia C. Mayer, Felipe G. Cabral, Públio M. M. Lima, Marcos V. Moreira, Audine Subias, Yannick Pencolé
2023 J jnl
Ensuring confidentiality of cyber-physical systems using event-based cryptography.
Inf. Sci.
Públio M. Lima, Lilian K. Carvalho, Marcos V. Moreira
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
2019 J jnl
Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata.
IEEE Trans. Autom. Control.
Gustavo S. Viana, Marcos V. Moreira, João Carlos Basilio
2019 J jnl
Diagnosability of Hybrid Systems.
IEEE Trans. Control. Syst. Technol.
Oumar Diene, Marcos V. Moreira, Eduardo A. B. da Silva, Victor R. Alvarez, Claudionor F. Nascimento
2019 J jnl
Discrete event system identification with the aim of fault detection.
Discret. Event Dyn. Syst.
Marcos V. Moreira, Jean-Jacques Lesage
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
2017 — conf
Conditional Synchronized Diagnoser for Modular Discrete-event Systems.
ICINCO (2)
Felipe G. Cabral, Maria Z. M. Veras, Marcos V. Moreira
2010 C conf
Polynomial time verification of decentralized diagnosability of discrete event systems.
ACC
Marcos V. Moreira, Thiago C. Jesus, João Carlos Basilio
2005 — conf
Design of normalizing precompensators via alignment of output-input principal directions.
CDC/ECC
Marcos V. Moreira, João Carlos Basilio
2005 — conf
Rational stabilizing commutative controllers for unstable plant.
CDC/ECC
Marcos V. Moreira, João Carlos Basilio, Basil Kouvaritakis