COORDINATED DIAGNOSIS OF NONDETERMINISTIC AUTOMATA NETWORKS

A new diagnostic method for discrete-event systems described by nondeterministic automata networks is proposed in this paper. This method is based on decentralised diagnosers and a coordinator. The main idea is to post-process the local diagnostic results by applying the natural join operation to remove all contradictions between them. Because the coordinator has no internal state or system model, it uses few computational resources. It is proven that the diagnostic result of the coordinated diagnosis is identical to that of a centralised diagnosis in which all system information is available.