journal article

Journal Article

Discrete Event Dynamic Systems: Theory and Applications. 2024, 34(4), p. 497-537

Reliable decentralized failure diagnosis of discrete event systems using single-level inference

Springer

English

2024-09-20

https://doi.org/10.1007/s10626-024-00404-3

The version of record of this article, first published in Discrete Event Dynamic Systems: Theory and Applications, is available online at Publisher’s website: https://doi.org/10.1007/s10626-024-00404-3.

We consider a reliable decentralized diagnosis problem for discrete event systems in the inference-based framework. This problem requires us to synthesize local diagnosers such that the occurrence of any failure string is correctly detected within a finite number of steps, even if local diagnosis decisions of some local diagnosers are not available. In the case of single-level inference, we introduce a notion of reliable 1-inference-diagnosability and show that reliable 1-inference-diagnosability is a necessary and sufficient condition for the existence of a solution to the reliable decentralized diagnosis problem. Then, we show how to verify reliable 1-inference-diagnosability effectively. When the system to be diagnosed is reliably 1-inference-diagnosable, we compute the delay bound within which the occurrence of any failure string can be detected. Local diagnosers can be constructed using the computed delay bound.

This article is licensed under a Creative Commons Attribution 4.0 International License.

98388

Reliable decentralized failure diagnosis of discrete event systems using single-level inference

Springer

English

2024-09-20

Discrete Event Dynamic Systems: Theory and Applications

34

4

497

537

https://doi.org/10.1007/s10626-024-00404-3

https://hdl.handle.net/11094/98388