| 1 |
Codiagnosability of discrete event systems revisited: A new necessary and sufficient condition and its applications
Viana GS, Basilio JC
Automatica, 101, 354, 2019 |
| 2 |
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 |
| 3 |
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers
Santoro LPM, Moreira MV, Basilio JC
Automatica, 77, 93, 2017 |
| 4 |
Diagnosability of intermittent sensor faults in discrete event systems
Carvalho LK, Moreira MV, Basilio JC
Automatica, 79, 315, 2017 |
| 5 |
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage
Alves MVS, Carvalho LK, Basilio JC
IEEE Transactions on Automatic Control, 62(11), 5902, 2017 |
| 6 |
"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 |
| 7 |
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 |
| 8 |
Robust diagnosis of discrete-event systems against permanent loss of observations
Carvalho LK, Moreira MV, Basilio JC, Lafortune S
Automatica, 49(1), 223, 2013 |
| 9 |
Robust diagnosis of discrete event systems against intermittent loss of observations
Carvalho LK, Basilio JC, Moreira MV
Automatica, 48(9), 2068, 2012 |
| 10 |
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 |
