Marcos Vicente Moreira

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 9

Top Topics

Failure Diagnosis

Top Venues

IEEE Trans. Autom. Control.

Publications

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