Marcos Vicente Moreira

27 papers C 3Journal 15Unranked 9
YearRankTypeTitle / Venue / Authors
2021 J jnl
Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems.
Annu. Rev. Control.
Lilian Kawakami Carvalho, Marcos Vicente Moreira, João Carlos Basilio
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
2020 J jnl
Synchronous Diagnosis of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Felipe Gomes Cabral, Marcos Vicente Moreira
2017 J jnl
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers.
Autom.
Leonardo P. M. Santoro, Marcos Vicente Moreira, João Carlos Basilio
2017 J jnl
Diagnosability of intermittent sensor faults in discrete event systems.
Autom.
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio
2017 J jnl
Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations.
IEEE Trans. Autom. Control.
Jean H. A. Tomola, Felipe Gomes Cabral, Lilian K. Carvalho, Marcos Vicente Moreira
2016 J jnl
"Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" Versus "Decentralized Failure Diagnosis of Discrete Event Systems": A Critical Appraisal.
IEEE Trans. Autom. Control.
Marcos Vicente Moreira, João Carlos Basilio, Felipe Gomes Cabral
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
2015 J jnl
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata.
IEEE Trans. Autom. Control.
Felipe Gomes Cabral, Marcos Vicente Moreira, Oumar Diene, João Carlos Basilio
2015 C conf
Computation of the maximum time for failure diagnosis of discrete-event systems.
ACC
Gustavo S. Viana, João Carlos Basilio, Marcos Vicente Moreira
2015 C conf
Computational methods for diagnosability verification of hybrid systems.
CCA
Oumar Diene, Marcos Vicente Moreira, Victor R. Alvarez, Eduardo R. Silva
2015 — conf
Online fault diagnosis of modular discrete-event systems.
CDC
Felipe Gomes Cabral, Marcos Vicente Moreira, Oumar Diene
2015 — conf
Robust codiagnosability of discrete-event systems against permanent loss of observations.
CASE
Jean H. A. Tomola, Marcos Vicente Moreira, João Carlos Basilio, Lilian Kawakami Carvalho
2014 — conf
Analysis and verification of the diagnosability of Hybrid Systems.
CDC
Oumar Diene, Eduardo R. Silva, Marcos Vicente Moreira
2014 J jnl
Bridging the Gap Between Design and Implementation of Discrete-Event Controllers.
IEEE Trans Autom. Sci. Eng.
Marcos Vicente Moreira, João Carlos Basilio
2014 — conf
Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths.
WODES
Leonardo P. M. Santoro, Marcos Vicente Moreira, João Carlos Basilio, Oumar Diene
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
2013 C conf
Diagnosability of intermittent sensor faults in discrete event systems.
ACC
Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira, Leonardo B. Clavijo
2013 J jnl
Robust diagnosis of discrete-event systems against permanent loss of observations.
Autom.
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio, Stéphane Lafortune
2012 J jnl
Computation of minimal event bases that ensure diagnosability.
Discret. Event Dyn. Syst.
João Carlos Basilio, Saulo Telles Souza Lima, Stéphane Lafortune, Marcos Vicente Moreira
2012 J jnl
Fair and Square Computation of Inverse $ {\cal Z}$-Transforms of Rational Functions.
IEEE Trans. Educ.
Marcos Vicente Moreira, João Carlos Basilio
2012 — conf
Petri net diagnoser for DES modeled by finite state automata.
CDC
Marcos Vicente Moreira, Felipe Gomes Cabral, Oumar Diene
2012 J jnl
Robust diagnosis of discrete event systems against intermittent loss of observations.
Autom.
Lilian K. Carvalho, João Carlos Basilio, Marcos Vicente Moreira
2011 J jnl
Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems.
IEEE Trans. Autom. Control.
Marcos Vicente Moreira, Thiago C. Jesus, João Carlos Basilio
2010 — conf
Robust diagnosability of discrete event systems subject to intermittent sensor failures.
WODES
Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira
2010 — conf
Robust diagnosis of discrete-event systems subject to permanent sensor failures.
WODES
Saulo Telles Souza Lima, João Carlos Basilio, Stéphane Lafortune, Marcos Vicente Moreira
2004 J jnl
State-space parameter identification in a second control laboratory.
IEEE Trans. Educ.
João Carlos Basilio, Marcos Vicente Moreira