Robust codiagnosability of discrete event systems

  title={Robust codiagnosability of discrete event systems},
  author={Jo{\~a}o Carlos Basilio and St{\'e}phane Lafortune},
  journal={2009 American Control Conference},
We consider robust decentralized diagnosis of discrete event systems, where the goal is to detect the occurrence of unobservable fault events using a set of local diagnosers that are themselves subject to failures. We introduce a formal notion of robust decentralized diagnosability, called robust codiagnosability, and study its properties. Two different tests of robust codiagnosability are presented; one uses diagnoser automata and the other uses verifier automata. We also revisit the problem… CONTINUE READING