Distributed diagnosis under bounded-delay communication of immediately forwarded local observations

We study distributed failure diagnosis under a kappa-bounded communication delay, where each local site transmits its observations to other sites immediately after each observation and the transmitted observation is received within at most kappa more event executions of the plant. A notion of joint(kappa)(iop) diagnosability is introduced so that any failure can be diagnosed within a bounded delay of its occurrence by one of the local sites using its own observations and the k-bounded delayed observations received from other local sites. The local sites communicate among each other using an "immediate observation passing (iop)" protocol, forwarding any observation immediately up on its occurrence. We construct models for the k-bounded communication delay and use them to extend the system and nonfault specification models for capturing the effect of bounded-delay communication. By using the extended system and specification models, the distributed diagnosis problem under the immediate observation passing protocol is then converted to a decentralized diagnosis problem of our previous work, where the results are applied for verifying joint(kappa)(iop) diagnosability and for synthesizing local diagnosers. Methods by which complexity of testing joint(kappa)(iop) diagnosability and of online diagnosis can be reduced are presented. Finally, we compare the notions of diagnosability, codiagnosability, and joint(kappa)(iop) diagnosability.