Implementation of inference-based diagnosis: computing delay bound and ambiguity levels

Inference-based decentralized diagnosis is a framework introduced in the authors’ former work, where inferencing over the ambiguities of the self and the others is used to issue diagnosis decisions. The implementation of the framework requires the online computation of the ambiguity levels by each of the local decision makers, following each of their local observations. This in turn requires knowing the delay bound of diagnosis, which needs to be computed offline, prior to the online monitoring for fault detection. The paper presents the offline computation of the delay bound of diagnosis, along with a certain set of languages, which together aid the online computation of the ambiguity levels.