Polynomial time verification of decentralized diagnosability of discrete event systems MV Moreira, TC Jesus, JC Basilio IEEE Transactions on Automatic Control 56 (7), 1679-1684, 2011 | 179 | 2011 |
Robust diagnosis of discrete event systems against intermittent loss of observations LK Carvalho, JC Basilio, MV Moreira Automatica 48 (9), 2068-2078, 2012 | 124 | 2012 |
A practical model for evaluating the performance of proton exchange membrane fuel cells MV Moreira, GE Da Silva Renewable Energy 34 (7), 1734-1741, 2009 | 117 | 2009 |
Robust diagnosis of discrete-event systems against permanent loss of observations LK Carvalho, MV Moreira, JC Basilio, S Lafortune Automatica 49 (1), 223-231, 2013 | 93 | 2013 |
A Petri net diagnoser for discrete event systems modeled by finite state automata FG Cabral, MV Moreira, O Diene, JC Basilio IEEE Transactions on Automatic Control 60 (1), 59-71, 2014 | 79 | 2014 |
Computation of minimal event bases that ensure diagnosability JC Basilio, STS Lima, S Lafortune, MV Moreira Discrete Event Dynamic Systems 22, 249-292, 2012 | 68 | 2012 |
Detectable and undetectable network attack security of cyber-physical systems PM Lima, LK Carvalho, MV Moreira IFAC-PapersOnLine 51 (7), 179-185, 2018 | 53 | 2018 |
State-space parameter identification in a second control laboratory JC Basilio, MV Moreira IEEE Transactions on Education 47 (2), 204-210, 2004 | 52 | 2004 |
Security against network attacks in supervisory control systems PM Lima, MVS Alves, LK Carvalho, MV Moreira IFAC-PapersOnLine 50 (1), 12333-12338, 2017 | 50 | 2017 |
Diagnosability of intermittent sensor faults in discrete event systems LK Carvalho, MV Moreira, JC Basilio Automatica 79, 315-325, 2017 | 46 | 2017 |
Security against communication network attacks of cyber-physical systems PM Lima, MVS Alves, LK Carvalho, MV Moreira Journal of Control, Automation and Electrical Systems 30, 125-135, 2019 | 44 | 2019 |
Generalized robust diagnosability of discrete event systems LK Carvalho, MV Moreira, JC Basilio IFAC Proceedings Volumes 44 (1), 8737-8742, 2011 | 42 | 2011 |
Bridging the gap between design and implementation of discrete-event controllers MV Moreira, JC Basilio IEEE Transactions on Automation Science and Engineering 11 (1), 48-65, 2013 | 41 | 2013 |
Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation CEV Nunes, MV Moreira, MVS Alves, LK Carvalho, JC Basilio Discrete Event Dynamic Systems 28, 215-246, 2018 | 40 | 2018 |
Robust supervisory control against intermittent loss of observations MVS Alves, JC Basilio, AEC da Cunha, LK Carvalho, MV Moreira IFAC Proceedings Volumes 47 (2), 294-299, 2014 | 38 | 2014 |
Computation of minimal diagnosis bases of discrete-event systems using verifiers LPM Santoro, MV Moreira, JC Basilio Automatica 77, 93-102, 2017 | 34 | 2017 |
Robust disjunctive-codiagnosability of discrete-event systems against permanent loss of observations JHA Tomola, FG Cabral, LK Carvalho, MV Moreira IEEE Transactions on Automatic Control 62 (11), 5808-5815, 2016 | 31 | 2016 |
“Polynomial time verification of decentralized diagnosability of discrete event systems” versus “Decentralized failure diagnosis of discrete event systems”: A critical appraisal MV Moreira, JC Basilio, FG Cabral IEEE Transactions on Automatic Control 61 (1), 178-181, 2015 | 31 | 2015 |
Diagnose de falhas em sistemas a eventos discretos modelados por autômatos finitos JC Basilio, LK Carvalho, MV Moreira Sba: Controle & Automação Sociedade Brasileira de Automatica 21, 510-533, 2010 | 30 | 2010 |
Robust diagnosis of discrete-event systems subject to permanent sensor failures STS Lima, JC Basilio, S Lafortune, MV Moreira IFAC Proceedings Volumes 43 (12), 90-97, 2010 | 29 | 2010 |