Citations:codiagnosis


 * 2010 Franck Cassez, "The Complexity of Codiagnosability for Discrete Event and Timed Systems" arXiv
 * In this paper we study the fault codiagnosis problem for discrete event systems given by finite automata (FA) and timed systems given by timed automata (TA).