Polynomial-time verification of diagnosability of fuzzy discrete event systems

被引：1
作者：
LIU FuChun
机构：
[1] SchoolofComputers,GuangdongUniversityofTechnology
来源：
ScienceChina(InformationSciences) | 2014年 / 57卷 / 06期
关键词：
discrete event systems; fuzzy finite automata; failure diagnosis; polynomial complexity;
D O I：
暂无
中图分类号：
O159 [模糊数学];
学科分类号：
070104 ;
摘要：
A fuzzy approach to perform diagnosis of fuzzy discrete event systems(FDESs)is proposed by constructing diagnosers,which may more effectively cope with the problems of vagueness and fuzziness arising from failure diagnosis of fuzzy systems.However,the complexity of constructing this kind of diagnosers is exponential in the state space and the number of fuzzy events of the system.In this paper,we present an algorithm for verifying the diagnosability of FDESs based on the construction of a nondeterministic automaton called F-verifier instead of diagnosers.Both the construction of F-verifiers and the verification of diagnosability of FDESs can be realized with a polynomial-time complexity.
引用
收藏
页码：274 / 283
页数：10
相关论文
共 50 条
[41]   Safe diagnosability of stochastic discrete event systems [J].
Liu, Fuchun ;
Qiu, Daowen .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (05) :1291-1296
[42]   Diagnosability of Discrete Event Systems under Sensor Attacks [J].
Lin, Feng ;
Lafortune, Stephane ;
Wang, Caisheng .
IFAC PAPERSONLINE, 2023, 56 (02) :3572-3578
[43]   Decentralized Diagnosis of Fuzzy Discrete-Event Systems [J].
Liu, Fuchun ;
Dziong, Zbigniew .
EUROPEAN JOURNAL OF CONTROL, 2012, 18 (03) :304-315
[44]   Coordination of fuzzy discrete event systems [J].
Li, Chengjia ;
Cai, Yifan ;
Liu, Xing'e .
DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 :550-554
[45]   Safe diagnosability for intermittent faults of discrete-event systems [J].
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
[46]   Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets [J].
Li, Shiqi ;
Uzam, Murat ;
Yin, Li ;
Zhong, Zhaofeng ;
Zheng, Li ;
Wu, Naiqi .
IEEE ACCESS, 2021, 9 :163504-163515
[47]   N-diagnosability for active on-line diagnosis in discrete event systems [J].
Lin, Feng ;
Wang, Le Yi ;
Chen, Wen ;
Han, Leitao ;
Shen, Bin .
AUTOMATICA, 2017, 83 :220-225
[48]   Component level diagnosability of discrete event systems based on observations [J].
Reshmila, S. ;
Devanathan, R. .
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2023, 19 (03) :303-317
[49]   Revised Test for Stochastic Diagnosability of Discrete-Event Systems [J].
Chen, Jun ;
Keroglou, Christoforos ;
Hadjicostis, Christoforos N. ;
Kumar, Ratnesh .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2018, 15 (01) :404-408
[50]   An Extended Hierarchical Framework for Definitions of Diagnosability of Discrete Event Systems [J].
Zhao, Xiangfu ;
Ouyang, Dantong .
2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), VOLS 1-6, 2008, :1965-+
12345