Verifying Diagnosability of Discrete Event System with Logical Formula  

作　　者：GENG Xuena OUYANG Dantong HAN Cheng 

机构地区：[1]College of Computer Science and Technology,Changchun University of Science and Technology,Changchun 130012,China [2]Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education,Jilin University,Changchun 130021,China

出　　处：《Chinese Journal of Electronics》2020年第2期304-311,共8页电子学报（英文版）

基　　金：supported by the National Natural Science Foundation of China(No.61702051,No.61602058);Jilin Province Science and Technology Research Project of China(No.20180201069GX)。

摘　　要：Diagnosability is an important property in the field of fault diagnosis. In this paper, a novel approach based on logical formula is proposed to verify diagnosability of Discrete event systems(DESs). CNFFSM is defined to represent a new model for DES. Each transition in DES can be described as a clause. According to CNF-FSM, we construct a CNF-diagnoser. Based on the resolution principle and CNF-diagnoser, an algorithm is presented to test whether the failure events can be detected or not in a finite number of observable events.Our algorithm can be applied in both off-line diagnosis and on-line diagnosis. Experimental results show that our algorithm can solve the diagnosability problem efficiently.Diagnosability is an important property in the field of fault diagnosis. In this paper, a novel approach based on logical formula is proposed to verify diagnosability of Discrete event systems(DESs). CNFFSM is defined to represent a new model for DES. Each transition in DES can be described as a clause. According to CNF-FSM, we construct a CNF-diagnoser. Based on the resolution principle and CNF-diagnoser, an algorithm is presented to test whether the failure events can be detected or not in a finite number of observable events.Our algorithm can be applied in both off-line diagnosis and on-line diagnosis. Experimental results show that our algorithm can solve the diagnosability problem efficiently.

关 键 词：FAULT diagnosis DIAGNOSABILITY Discrete EVENT system FINITE state machine Conjunctive NORMAL form 

分 类 号：TP277[自动化与计算机技术—检测技术与自动化装置]