| 1 |
Codiagnosability Analysis of Discrete-Even Systems Modeled by Weighted Automata
Viana GS, Moreira MV, Basilio JC
IEEE Transactions on Automatic Control, 64(10), 4361, 2019 |
| 2 |
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers
Santoro LPM, Moreira MV, Basilio JC
Automatica, 77, 93, 2017 |
| 3 |
Diagnosability of intermittent sensor faults in discrete event systems
Carvalho LK, Moreira MV, Basilio JC
Automatica, 79, 315, 2017 |
| 4 |
Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations
Tomola JHA, Cabral FG, Carvalho LK, Moreira MV
IEEE Transactions on Automatic Control, 62(11), 5808, 2017 |
| 5 |
"Polynomial time verification of decentralized diagnosability of discrete event systems" vs. "Decentralized failure diagnosis of discrete event systems": A critical appraisal
Moreira MV, Basilio JC, Cabral FG
IEEE Transactions on Automatic Control, 61(1), 178, 2016 |
| 6 |
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
Cabral FG, Moreira MV, Diene O, Basilio JC
IEEE Transactions on Automatic Control, 60(1), 59, 2015 |
| 7 |
Robust diagnosis of discrete-event systems against permanent loss of observations
Carvalho LK, Moreira MV, Basilio JC, Lafortune S
Automatica, 49(1), 223, 2013 |
| 8 |
Robust diagnosis of discrete event systems against intermittent loss of observations
Carvalho LK, Basilio JC, Moreira MV
Automatica, 48(9), 2068, 2012 |
| 9 |
Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
Moreira MV, Jesus TC, Basilio JC
IEEE Transactions on Automatic Control, 56(7), 1679, 2011 |
| 10 |
A practical model for evaluating the performance of proton exchange membrane fuel cells
Moreira MV, da Silva GE
Renewable Energy, 34(7), 1734, 2009 |
