Distributed diagnosis using predetermined synchronization strategies in the presence of communication constraints

We consider distributed fault diagnosis in a discrete event system modeled as a nondeterministic finite automaton that is observed at multiple observation si...