Computation of minimal event bases that ensure diagnosability

João Carlos Basilio, Saulo Telles Souza Lima, Stéphane Lafortune, Marcos Vicente Moreira. Computation of minimal event bases that ensure diagnosability. Discrete Event Dynamic Systems, 22(3):249-292, 2012. [doi]

Abstract

Abstract is missing.