Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference
Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference
复制标题
DOI：
10.23919/acc53348.2022.9867608
复制
发表时间：
2022-06
期刊：
影响因子：
--
通讯作者：
Takumi Hamada;S. Takai
中科院分区：
文献类型：
--
作者：
Takumi Hamada;S. Takai
在基于推理的框架下，研究离散事件系统的分散可靠诊断问题。该问题要求我们合成局部诊断器，以便在有限的步骤内正确检测到任何故障串的发生，即使某些局部诊断器的局部诊断决策无法用于做出全局诊断决策。在单级推理情况下，我们引入了可靠的1-推理可诊断性的概念，并证明了可靠的1-推理可诊断性是可靠分散诊断问题解存在的充分必要条件。
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 for making the global diagnosis decision. 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.