Probabilistic logical approach for testing diagnosability of stochastic discrete event systems
详细信息 查看全文
- 作者：Xuena Genga ; b ; Dantong Ouyanga ; b ; ouyangdantong@163.com" class="auth_mail" title="E-mail the corresponding author ; Xiangfu Zhaoc ; Shuang Haoa ; b
- 关键词：Fault diagnosis ; Stochastic discrete event system ; Logical diagnoser ; Logical diagnosability ; A-diagnosability ; AA-diagnosability
- 刊名：Engineering Applications of Artificial Intelligence
- 出版年：2016
- 出版时间：August 2016
- 年：2016
- 卷：53
- 期：Complete
- 页码：53-61
- 全文大小：958 K
文摘
- •
Using logical formulas to describe the stochastic discrete event system.
- •
Using probabilistic logical approach to verify the diagnosability of the stochastic discrete event system.
- •
Constructing a logical diagnoser.
- •
The algorithms do not need any synchronization operation.
- •
The complexity of the algorithms is polynomial.