K-loss robust codiagnosability of Discrete-Event Systems. - Vinicius de Souza Lima Oliveira; Felipe Gomes Cabral; Marcos Vicente Moreira (Autom., 2022)