Polynomial-time verification of diagnosability of fuzzy discrete event systems

被引：1

作者：

LIU FuChun ^{[1
]}

机构：

[1] School of Computers,Guangdong University of Technology

来源：

Science China(Information Sciences) | 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
Takai, Shigemasa
AUTOMATICA, 2012, 48 (08) : 1913 - 1919
[22] Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems
Liu, Fuchun
Cao, Weihua
Dziong, Zbigniew
FUZZY SETS AND SYSTEMS, 2024, 490
[23] A new algorithm for testing diagnosability of fuzzy discrete event systems
Luo, Minnan
Li, Yongming
Sun, Fuchun
Liu, Huaping
INFORMATION SCIENCES, 2012, 185 (01) : 100 - 113
[24] Verification of Generalized Inference Diagnosability for Decentralized Diagnosis in Discrete Event Systems
Takai, Shigemasa
Kumar, Ratnesh
PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
[25] Equivalence of Fair Diagnosability and Stochastic Diagnosability of Discrete Event Systems
Biswas, Santosh
2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 378 - 383
[26] Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems
Schmidt, Klaus Werner
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (05): : 1130 - 1140
[27] On the history of diagnosability and opacity in discrete event systems
Lafortune, Stephane
Lin, Feng
Hadjicostis, Christoforos N.
ANNUAL REVIEWS IN CONTROL, 2018, 45 : 257 - 266
[28] Safe diagnosability of discrete event systems
Paoli, A
Lafortune, S
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 2658 - 2664
[29] Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems
Ma, Ziyue
Tong, Yin
Seatzu, Carla
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (03) : 2044 - 2051
[30] DIAGNOSABILITY OF FAIR DISCRETE EVENT SYSTEMS
Biswas, Santosh
Sarkar, Dipankar
Mukhopadhyay, Siddhartha
Patra, Amit
ASIAN JOURNAL OF CONTROL, 2008, 10 (06) : 651 - 665

← 1 2 3 4 5 →