Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements.

We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at multiple observation sites. These strategies allow observation sites to (periodically) communicate their diagnostic information (i.e., possible states along with corresponding statu...