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] A polynomial algorithm for diagnosability of fair discrete event systems
    Biswal, Pradeep Kumar
    Biswas, Santosh
    SYSTEMS SCIENCE & CONTROL ENGINEERING, 2015, 3 (01): : 307 - 319
  • [22] Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach
    Liu, Fuchun
    Qiu, Daowen
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2009, 17 (02) : 372 - 384
  • [23] Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems
    Chen, Jun
    Kumar, Ratnesh
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2013, 10 (04) : 969 - 979
  • [24] A polynomial algorithm for testing diagnosability of discrete-event systems
    Jiang, SB
    Huang, ZD
    Chandra, V
    Kumar, R
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (08) : 1318 - 1321
  • [25] Safe Diagnosability of Fuzzy Discrete-Event Systems
    Liu, Fuchun
    Zhang, Qiansheng
    Chen, Xuesong
    Huang, Renwei
    2012 12TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS & VISION (ICARCV), 2012, : 252 - 257
  • [26] Verification of robust diagnosability for partially observed discrete event systems
    Takai, Shigemasa
    AUTOMATICA, 2012, 48 (08) : 1913 - 1919
  • [27] Verification of safe diagnosability of stochastic discrete-event systems
    Liu, Fuchun
    Yang, Pengbiao
    Zhao, Rui
    Dziong, Zbigniew
    INTERNATIONAL JOURNAL OF CONTROL, 2022, 95 (02) : 372 - 379
  • [28] Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems
    Liu, Fuchun
    Cao, Weihua
    Dziong, Zbigniew
    FUZZY SETS AND SYSTEMS, 2024, 490
  • [29] 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
  • [30] 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,
12345