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 条
  • [31] 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
  • [32] Safe diagnosability of discrete event systems
    Paoli, A
    Lafortune, S
    42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 2658 - 2664
  • [33] Diagnosability enhancement of discrete event systems
    Wen, YuanLin
    Li, ChunHsi
    Jeng, MuDer
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 4096 - +
  • [34] 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
  • [35] DIAGNOSABILITY OF FAIR DISCRETE EVENT SYSTEMS
    Biswas, Santosh
    Sarkar, Dipankar
    Mukhopadhyay, Siddhartha
    Patra, Amit
    ASIAN JOURNAL OF CONTROL, 2008, 10 (06) : 651 - 665
  • [36] Weak Diagnosability of Discrete Event Systems
    Cao, Lin
    Shu, Shaolong
    Lin, Feng
    Chen, Qijun
    Liu, Chengju
    IFAC PAPERSONLINE, 2020, 53 (04): : 338 - 343
  • [37] DIAGNOSABILITY OF DISCRETE-EVENT SYSTEMS
    SAMPATH, M
    SENGUPTA, R
    LAFORTUNE, S
    SINNAMOHIDEEN, K
    TENEKETZIS, D
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (09) : 1555 - 1575
  • [38] Verification for the Predictability of Decentralized Discrete Event Systems with A Polynomial Complexity
    Liu, Fuchun
    Yang, Pengbiao
    PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, : 2367 - 2372
  • [39] Polynomial-time algorithms for computing distances of fuzzy transition systems
    Chen, Taolue
    Han, Tingting
    Cao, Yongzhi
    THEORETICAL COMPUTER SCIENCE, 2018, 727 : 24 - 36
  • [40] 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
12345