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 条
[31]   DIAGNOSABILITY OF FAIR DISCRETE EVENT SYSTEMS [J].
Biswas, Santosh ;
Sarkar, Dipankar ;
Mukhopadhyay, Siddhartha ;
Patra, Amit .
ASIAN JOURNAL OF CONTROL, 2008, 10 (06) :651-665
[32]   Weak Diagnosability of Discrete Event Systems [J].
Cao, Lin ;
Shu, Shaolong ;
Lin, Feng ;
Chen, Qijun ;
Liu, Chengju .
IFAC PAPERSONLINE, 2020, 53 (04) :338-343
[33]   Distributed Synchronous Diagnosability of Discrete-Event Systems [J].
Veras, Maria Z. M. ;
Cabral, Felipe G. ;
Moreira, Marcos V. .
IFAC PAPERSONLINE, 2018, 51 (07) :88-93
[34]   Verification for the Predictability of Decentralized Discrete Event Systems with A Polynomial Complexity [J].
Liu, Fuchun ;
Yang, Pengbiao .
PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, :2367-2372
[35]   Diagnosability of discrete event systems modeled by time-interval automata [J].
Rezende, Christiano H. ;
Viana, Gustavo S. ;
Basilio, Joao C. .
IFAC PAPERSONLINE, 2023, 56 (02) :8660-8665
[36]   Reliable fuzzy prognosability of decentralized fuzzy discrete-event systems and verification algorithm [J].
Zhu, Tianxiang ;
Liu, Fuchun ;
Xiao, Cuntao .
INFORMATION SCIENCES, 2023, 627 :220-237
[37]   Partial Diagnosability Analysis of Discrete Event Systems [J].
Zhang Long-mei ;
Lu Wei ;
Wang Jing .
2016 INTERNATIONAL SYMPOSIUM ON COMPUTER, CONSUMER AND CONTROL (IS3C), 2016, :128-131
[38]   Fairness of Transitions in Diagnosability of Discrete Event Systems [J].
Santosh Biswas ;
Dipankar Sarkar ;
Siddhartha Mukhopadhyay ;
Amit Patra .
Discrete Event Dynamic Systems, 2010, 20 :349-376
[39]   Fairness of Transitions in Diagnosability of Discrete Event Systems [J].
Biswas, Santosh ;
Sarkar, Dipankar ;
Mukhopadhyay, Siddhartha ;
Patra, Amit .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2010, 20 (03) :349-376
[40]   Diagnosability of stochastic discrete-event systems [J].
Thorsley, D ;
Teneketzis, D .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2005, 50 (04) :476-492
12345