Revised Test for Stochastic Diagnosability of Discrete-Event Systems.

Jun Chen,Christoforos Keroglou,Christoforos N. Hadjicostis,Ratnesh Kumar

IEEE Transactions on Automation Science and Engineering（2018）

引用 14|浏览15

暂无评分

摘要

This paper provides revisions to the algorithms presented by Chen et al., 2013 for testing diagnosability of stochastic discrete-event systems. Additional new contributions include PSPACE-hardness of verifying strong stochastic diagnosability (referred as A-Diagnosability in Thorsley et al., 2005) and a necessary and sufficient condition for testing stochastic diagnosability (referred as AA-Diagno...

查看译文

关键词

Testing,Automata,Synchronization,Discrete-event systems,Stochastic processes,Complexity theory,Computers

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要