Safe Diagnosability of Fuzzy Discrete-Event Systems and a Polynomial-Time Verification

被引：16
|
作者：
Liu, Fuchun [1 ]
机构：
[1] Guangdong Univ Technol, Sch Comp, Guangzhou 510006, Guangdong, Peoples R China
来源：
IEEE TRANSACTIONS ON FUZZY SYSTEMS | 2015年 / 23卷 / 05期
关键词：
Discrete-event systems; failure diagnosis; fuzzy automata; safe diagnosability; verification algorithm; SUPERVISORY CONTROL; DIAGNOSIS; OBSERVABILITY;
D O I：
10.1109/TFUZZ.2014.2362767
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Since fuzzy discrete-event systems (FDESs) were significantly brought forward, the study of FDESs has received increasing attention recently. This paper addresses the safe diagnosability under the framework of FDESs. The contributions are threefold. First, the notion of safe diagnosability for fuzzy systems is formalized. A safe diagnosable FDES means that not only each failure can be detected in terms of fuzziness, as well as the detection must be completed before any unsafe operation is executed. Then, a necessary and sufficient condition of safe diagnosability of FDESs is proposed by constructing the safe diagnoser. Finally, we present an algorithm for verifying the safe diagnosability of FDESs based on a constructive nondeterministic automaton, namely verifier. It is worth noting that both constructing the verifier and verifying the safe diagnosability of FDESs can be realized with a polynomial complexity.
引用
收藏
页码：1534 / 1544
页数：11
相关论文
共 50 条
  • [21] 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
  • [22] 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
  • [23] Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification
    Liao, Hui
    Liu, Fuchun
    Zhao, Rui
    IEEE TRANSACTIONS ON CYBERNETICS, 2022, 52 (07) : 6207 - 6216
  • [24] Safe pattern-based diagnosability of discrete-event systems
    Liu F.-C.
    Tang S.-Q.
    Zhao R.
    Deng X.-Q.
    Cui H.-G.
    Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2020, 37 (01): : 162 - 168
  • [25] 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
  • [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] Polynomial Time Verification of Decentralized Diagnosability of Discrete Event System
    Moreira, Marcos V.
    Jesus, Thiago C.
    Basilio, Joao C.
    2010 AMERICAN CONTROL CONFERENCE, 2010, : 3353 - 3358
  • [28] Weak Diagnosability of Discrete-Event Systems
    Cao, Lin
    Shu, Shaolong
    Lin, Feng
    Chen, Qijun
    Liu, Chengju
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2022, 9 (01): : 184 - 196
  • [29] Diagnosability of stochastic discrete-event systems
    Thorsley, D
    Teneketzis, D
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2005, 50 (04) : 476 - 492
  • [30] Safe diagnosability for fault-tolerant supervision of discrete-event systems
    Paoli, A
    Lafortune, S
    AUTOMATICA, 2005, 41 (08) : 1335 - 1347
12345