Safe Diagnosis of Stochastic Discrete Event Systems by Constructing Safe Verifier

摘要：

1 Introduction Due to the practical and theoretical importance,failure diagnosis,which aims to timely identify and exactly characterize the occurrence of incipient faults,has received considerable attention in recent years (for example,1–4 and the references,therein).

作者: Fuchun Liu Pengbiao Yang

作者单位: School of Computers,Guangdong University of Technology,Guangzhou 510006,China

会议类型: 国际会议

会议名称: 2017 Chinese Intelligent Automation Conference(CIAC2017)(2017中国智能自动化会议)

会议地点: 天津

会议语种:英文

页码: 523-529

在线出版日期: 2017-10-14（万方平台首次上网日期，不代表论文的发表时间）