Marcos V. Moreira

Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems

Marcos V. Moreira, Thiago C. Jesus, João Carlos Basilio · IEEE Transactions on Automatic Control · 2011 · 148 citations

Engineering, Discrete Event Systems, Verification +20

Robust diagnosis of discrete event systems against intermittent loss of observations

Lilian K. Carvalho, João Carlos Basilio, Marcos V. Moreira · Automatica · 2012 · 126 citations

Reliability Engineering, Intermittent Loss, Engineering +13

A practical model for evaluating the performance of proton exchange membrane fuel cells

Marcos V. Moreira, Gisele E. da Silva · Renewable Energy · 2009 · 102 citations

Catalytic Membrane, Chemical Engineering, Engineering +8

Robust diagnosis of discrete-event systems against permanent loss of observations

Lilian K. Carvalho, Marcos V. Moreira, João Carlos Basilio et al. · Automatica · 2012 · 70 citations

Reliability Engineering, Engineering, Discrete Event System +11

Security Against Network Attacks in Supervisory Control Systems

Públio M. Lima, Marcos V. S. Alves, Lilian K. Carvalho et al. · IFAC-PapersOnLine · 2017 · 69 citations · Full text

Scada Security, Engineering, Information Security +12