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 条
[21]   Verification of robust diagnosability for partially observed discrete event systems [J].
Takai, Shigemasa .
AUTOMATICA, 2012, 48 (08) :1913-1919
[22]   Predictability of Fault Events for Decentralized Stochastic Discrete-Event Systems Based on Dynamic Observations and Polynomial-Time Verification [J].
Liao, Hui ;
Liu, Fuchun ;
Wu, Yilin ;
Zhou, Ruqi .
2024 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTICS AND AUTOMATIC CONTROL, IRAC, 2024, :385-390
[23]   Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems [J].
Liu, Fuchun ;
Cao, Weihua ;
Dziong, Zbigniew .
FUZZY SETS AND SYSTEMS, 2024, 490
[24]   A new algorithm for testing diagnosability of fuzzy discrete event systems [J].
Luo, Minnan ;
Li, Yongming ;
Sun, Fuchun ;
Liu, Huaping .
INFORMATION SCIENCES, 2012, 185 (01) :100-113
[25]   Verification of Generalized Inference Diagnosability for Decentralized Diagnosis in Discrete Event Systems [J].
Takai, Shigemasa ;
Kumar, Ratnesh .
PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
[26]   Equivalence of Fair Diagnosability and Stochastic Diagnosability of Discrete Event Systems [J].
Biswas, Santosh .
2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, :378-383
[27]   Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems [J].
Schmidt, Klaus Werner .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (05) :1130-1140
[28]   On the history of diagnosability and opacity in discrete event systems [J].
Lafortune, Stephane ;
Lin, Feng ;
Hadjicostis, Christoforos N. .
ANNUAL REVIEWS IN CONTROL, 2018, 45 :257-266
[29]   Safe diagnosability of discrete event systems [J].
Paoli, A ;
Lafortune, S .
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, :2658-2664
[30]   Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems [J].
Ma, Ziyue ;
Tong, Yin ;
Seatzu, Carla .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (03) :2044-2051
12345