Probabilistic logical approach for testing diagnosability of stochastic discrete event systems
Probabilistic logical approach for testing diagnosability of stochastic discrete event systems
复制标题
用于测试随机离散事件系统可诊断性的概率逻辑方法
DOI：
10.1016/j.engappai.2016.03.008
复制
发表时间：
2016-08
影响因子：
8
通讯作者：
Hao, Shuang
中科院分区：
文献类型：
--
作者：
Geng, Xuena;Ouyang, Dantong;Zhao, Xiangfu;Hao, Shuang
在离散事件系统（DES）中，故障诊断在有害事件的预防中起着重要的作用。随机DES（SDES）是DES的一种更精确的形式。本文提出了一种基于概率逻辑的SDES故障诊断方法。SDES被形式化为一组概率逻辑公式。此外，提出了一种逻辑诊断器。SDES的故障诊断具有两个性质：A-可诊断性和AA-可诊断性。在归结原理的基础上，提出了一种测试SDES的A-可诊断性和AA-可诊断性的算法。实验结果表明，该算法提高了SDES可诊断性验证的准确性和效率。
Fault diagnosis plays an important role in the prevention of harmful events in discrete event systems (DESs). Stochastic DES (SDES) is a more precise formulation of DES. In this paper, a novel approach that uses probabilistic logic to diagnose SDES is investigated. SDES is formalized as a set of probabilistic logical formulas. Moreover, a logical diagnoser is presented. Fault diagnosis of SDES has two properties: A-diagnosability and AA-diagnosability. On the basis of resolution principle, an algorithm is proposed to test A-diagnosability and AA-diagnosability of the SDES. Experimental results demonstrate that our algorithm improves the accuracy and efficiency of verifying diagnosability of SDES.
登录
查看更多内容
DOI：
--
发表时间：
2004-08
期刊：
--
影响因子：
--
作者：
Y. Pencolé
通讯作者：
Y. Pencolé
DOI：
10.1007/3-540-49059-0_14
发表时间：
1999-03
期刊：
--
影响因子：
--
作者：
Armin Biere;A. Cimatti;E. Clarke;Yunshan Zhu
通讯作者：
Armin Biere;A. Cimatti;E. Clarke;Yunshan Zhu
影响因子：
6.8
作者：
Fuchun Liu;Daowen Qiu;Hongyan Xing;Zhujun Fan
通讯作者：
Fuchun Liu;Daowen Qiu;Hongyan Xing;Zhujun Fan
DOI：
10.1016/j.engappai.2014.10.007
发表时间：
2015-02
期刊：
Eng. Appl. Artif. Intell.
影响因子：
--
作者：
Boyu Li;Ting Guo;Xingquan Zhu;Zhanshan Li
通讯作者：
Boyu Li;Ting Guo;Xingquan Zhu;Zhanshan Li
DOI：
10.1109/87.486338
发表时间：
1996-03
期刊：
IEEE Trans. Control. Syst. Technol.
影响因子：
--
作者：
M. Sampath;R. Sengupta;S. Lafortune;K. Sinnamohideen;D. Teneketzis
通讯作者：
M. Sampath;R. Sengupta;S. Lafortune;K. Sinnamohideen;D. Teneketzis