Robust diagnosis of discrete-event systems subject to permanent sensor failures. - Saulo Telles Souza Lima; João Carlos Basilio; Stéphane Lafortune; Marcos Vicente Moreira (WODES, 2010)

Computation of minimal event bases that ensure diagnosability. - João Carlos Basilio; Saulo Telles Souza Lima; Stéphane Lafortune; Marcos Vicente Moreira (Discret. Event Dyn. Syst., 2012)