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 | 198 | 2011 |
Robust diagnosis of discrete event systems against intermittent loss of observations LK Carvalho, JC Basilio, MV Moreira Automatica 48 (9), 2068-2078, 2012 | 135 | 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 | 126 | 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 | 101 | 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 | 85 | 2014 |
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 | 82 | 2019 |
Detectable and undetectable network attack security of cyber-physical systems PM Lima, LK Carvalho, MV Moreira IFAC-PapersOnLine 51 (7), 179-185, 2018 | 76 | 2018 |
Security against network attacks in supervisory control systems PM Lima, MVS Alves, LK Carvalho, MV Moreira IFAC-PapersOnLine 50 (1), 12333-12338, 2017 | 73 | 2017 |
Computation of minimal event bases that ensure diagnosability JC Basilio, STS Lima, S Lafortune, MV Moreira Discrete Event Dynamic Systems 22 (3), 249-292, 2012 | 69 | 2012 |
State-space parameter identification in a second control laboratory JC Basilio, MV Moreira IEEE Transactions on Education 47 (2), 204-210, 2004 | 54 | 2004 |
Diagnosability of intermittent sensor faults in discrete event systems LK Carvalho, MV Moreira, JC Basilio Automatica 79, 315-325, 2017 | 53 | 2017 |
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 | 52 | 2018 |
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 | 45 | 2013 |
Generalized robust diagnosability of discrete event systems LK Carvalho, MV Moreira, JC Basilio IFAC Proceedings Volumes 44 (1), 8737-8742, 2011 | 45 | 2011 |
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 | 44 | 2014 |
Security of cyber-physical systems: Design of a security supervisor to thwart attacks PM Lima, MVS Alves, LK Carvalho, MV Moreira IEEE Transactions on Automation Science and Engineering 19 (3), 2030-2041, 2021 | 42 | 2021 |
Computation of minimal diagnosis bases of discrete-event systems using verifiers LPM Santoro, MV Moreira, JC Basilio Automatica 77, 93-102, 2017 | 38 | 2017 |
Fault diagnosis based on identified discrete-event models MV Moreira, JJ Lesage Control Engineering Practice 91, 104101, 2019 | 37 | 2019 |
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 | 35 | 2016 |
Synchronous diagnosis of discrete-event systems FG Cabral, MV Moreira IEEE Transactions on Automation Science and Engineering 17 (2), 921-932, 2019 | 34 | 2019 |