A Polynomial Verification Algorithm for Safe Diagnosability of Fuzzy Discrete-Event Systems

摘要：

　　In this paper,we investigate the verification issue for safe diagnosability of fuzzy discrete-event systems(FDESs).In order to guarantee that faults occurring in a safe diagnosable fuzzy system can be detected with a certain degree,and the detection may be completed before any unsafe behavior is executed,we construct a nondeterministic automaton,namely verifier,to check whether a certain forbidden operation is executed in the failed mode of fuzzy system.Then a necessary and sufficient condition for verifying the safe diagnosability of FDESs is proposed.It is illustrated that the verifier of an FDES can be constructed with a polynomial complexity,and the verification for its safe diagnosability can be realized within polynomial time.

关键词： Discrete-event systems fuzzy automata failure diagnosis safe diagnosability verification algorithm

作者: LIU Fuchun ZHANG Qiansheng HUANG Renwei

作者单位: School of Computers,Guangdong University of Technology,Guangzhou 510006,P.R.China School of Informatics,Guangdong University of Foreign Studies,Guangzhou 510420,P.R.China Department of Information Technology,Guangzhou City Polytecnic,Guangzhou 510405,P.R.China

会议类型: 国际会议

会议名称: The 33th Chinese Control Conference第33届中国控制会议

会议地点: 南京

会议语种:英文

页码: 3915-3920

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