Computation of the delay bound in decentralized diagnosis of discrete event systems with conditional decisions

We consider decentralized diagnosis of discrete event systems in the conditional disjunctive architecture. A notion of conditional disjunctive-codiagnosability, which guarantees the detection of any failure by a conditional disjunctive decentralized diagnoser within a bounded number of steps, has been defined in the literature. In this paper, we compute the minimum number of steps, called the delay bound, within which the occurrence of any failure can be detected by conditional disjunctive decentralized diagnosis. The delay bound is important to evaluate the ability of diagnosis. In addition, it can be used to synthesize a conditional disjunctive decentralized diagnoser for a conditional disjunctive-codiagnosable system.