K-loss robust codiagnosability of Discrete-Event Systems - Oliveira, Vinicius de Souza Lima; Cabral, Felipe Gomes; Moreira, Marcos Vicente (Automatica (Oxford), 2022)
Keywords: Automata; Discrete Event Systems; Fault diagnosis; Robust codiagnosability; Verifiers; Fault diagnosis; Verifiers; Robust codiagnosability; Discrete Event Systems; Automata