Verifying Diagnosability of Discrete Event System with Logical Formula

被引：0

作者：

GENG Xuena ^{[1
]}

OUYANG Dantong ^{[2
]}

HAN Cheng ^{[1
]}

机构：

[1] College of Computer Science and Technology, Changchun University of Science and Technology

[2] Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education, Jilin University

来源：

Chinese Journal of Electronics | 2020年 / 29卷 / 02期

基金：

中国国家自然科学基金;

关键词：

Fault diagnosis; Diagnosability; Discrete event system; Finite state machine; Conjunctive normal form;

D O I：

暂无

中图分类号：

TP277 [监视、报警、故障诊断系统];

学科分类号：

0804 ; 080401 ; 080402 ;

摘要：

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.

引用

页码：304 / 311

页数：8

共 50 条

[31] A polynomial algorithm for diagnosability of fair discrete event systems
Biswal, Pradeep Kumar
Biswas, Santosh
SYSTEMS SCIENCE & CONTROL ENGINEERING, 2015, 3 (01): : 307 - 319
[32] Polynomial-time verification of pattern diagnosability for timed discrete event systems
Liang, Ye
Lefebvre, Dimitri
Li, Zhiwu
INFORMATION SCIENCES, 2025, 706
[33] Active Diagnosability of Discrete Event Systems and its Application to Battery Fault Diagnosis
Chen, Ziqiang
Lin, Feng
Wang, Caisheng
Wang, Le Yi
Xu, Min
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2014, 22 (05) : 1892 - 1898
[34] A Generalized Diagnosability Condition for Diagnosis of Discrete Event Systems Subject to Sensor Failures
Takai, Shigemasa
IFAC PAPERSONLINE, 2020, 53 (04): : 344 - 349
[35] Fault Diagnosis in Discrete-Event Systems with Incomplete Models: Learnability and Diagnosability
Kwong, Raymond H.
Yonge-Mallo, David L.
IEEE TRANSACTIONS ON CYBERNETICS, 2015, 45 (07) : 1236 - 1249
[36] Safe diagnosability for fault-tolerant supervision of discrete-event systems
Paoli, A
Lafortune, S
AUTOMATICA, 2005, 41 (08) : 1335 - 1347
[37] Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets
Li, Shiqi
Uzam, Murat
Yin, Li
Zhong, Zhaofeng
Zheng, Li
Wu, Naiqi
IEEE ACCESS, 2021, 9 : 163504 - 163515
[38] Verification of robust diagnosability for partially observed discrete event systems
Takai, Shigemasa
AUTOMATICA, 2012, 48 (08) : 1913 - 1919
[39] Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
Moreira, Marcos V.
Jesus, Thiago C.
Basilio, Joao C.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (07) : 1679 - 1684
[40] Safe diagnosability for intermittent faults of discrete-event systems
Liu F.-C.
Tang S.-Q.
Zhao R.
Deng X.-Q.
Cui H.-G.
Kongzhi yu Juece/Control and Decision, 2020, 35 (05): : 1205 - 1210

← 1 2 3 4 5 →