| 1 |
Detection and mitigation of classes of attacks in supervisory control systems
Carvalho LK, Wu YC, Kwong R, Lafortune S
Automatica, 97, 121, 2018 |
| 2 |
Diagnosability of intermittent sensor faults in discrete event systems
Carvalho LK, Moreira MV, Basilio JC
Automatica, 79, 315, 2017 |
| 3 |
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 |
| 4 |
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 |
| 5 |
Robust diagnosis of discrete-event systems against permanent loss of observations
Carvalho LK, Moreira MV, Basilio JC, Lafortune S
Automatica, 49(1), 223, 2013 |
| 6 |
Robust diagnosis of discrete event systems against intermittent loss of observations
Carvalho LK, Basilio JC, Moreira MV
Automatica, 48(9), 2068, 2012 |
