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 条
  • [1] Polynomial-time verification of diagnosability of fuzzy discrete event systems
    FuChun Liu
    Science China Information Sciences, 2014, 57 : 1 - 10
  • [2] Polynomial-time verification of diagnosability of fuzzy discrete event systems
    Liu FuChun
    SCIENCE CHINA-INFORMATION SCIENCES, 2014, 57 (06) : 1 - 10
  • [3] Safe Diagnosability of Fuzzy Discrete-Event Systems and a Polynomial-Time Verification
    Liu, Fuchun
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2015, 23 (05) : 1534 - 1544
  • [4] A Polynomial-Time Algorithm for Diagnosability Verification of Discrete Event Systems
    Gascard, Eric
    Simeu-Abazi, Zineb
    Suiphon, Berangere
    2014 SECOND WORLD CONFERENCE ON COMPLEX SYSTEMS (WCCS), 2014, : 286 - 291
  • [5] Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification
    Cao, Weihua
    Liu, Fuchun
    ASIAN JOURNAL OF CONTROL, 2023, 25 (04) : 3282 - 3285
  • [6] Polynomial-time verification of diagnosability of partially observed discrete-event systems
    Yoo, TS
    Lafortune, S
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (09) : 1491 - 1495
  • [7] Polynomial-Time Verification of Decentralized Fault Pattern Diagnosability for Discrete-Event Systems
    Liang, Ye
    Liu, Gaiyun
    El-Sherbeeny, Ahmed M.
    MATHEMATICS, 2023, 11 (18)
  • [8] Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
    Moreira, Marcos V.
    Jesus, Thiago C.
    Basilio, Joao C.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (07) : 1679 - 1684
  • [9] Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems
    Li, Ben
    Basilio, Joao Carlos
    Khlif-Bouassida, Manel
    Toguyeni, Armand
    IFAC PAPERSONLINE, 2017, 50 (01): : 13618 - 13623
  • [10] A Polynomial Verification Algorithm for Safe Diagnosability of Fuzzy Discrete-Event Systems
    Liu Fuchun
    Zhang Qiansheng
    Huang Renwei
    2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 3915 - 3920
12345