Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions

We consider decentralized diagnosis of discrete event systems in the conditional disjunctive and conjunctive architectures, where the local failure decision and local nonfailure decision are conditional, respectively. For each of these architectures, a notion of conditional codiagnosability, which guarantees the detection of any failure by conditional decentralized diagnosis 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 in a conditionally codiagnosable system. The delay bound is important to evaluate the ability of diagnosis. In addition, we use the computed delay bound to synthesize local diagnosers with conditional decisions.