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 条

[11] Robust predictability of stochastic discrete-event systems and a polynomial-time verification
Liao, Hui
Liu, Fuchun
Wu, Naiqi
AUTOMATICA, 2022, 144
[12] Polynomial verification for safe codiagnosability of decentralized fuzzy discrete-event systems
Liu, Fuchun
Cao, Weihua
Dziong, Zbigniew
FUZZY SETS AND SYSTEMS, 2024, 490
[13] Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification
Liu, Fuchun
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2019, 16 (01) : 498 - 504
[14] Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems
Zhang, Kuize
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (01) : 510 - 515
[15] Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification"
Kumar, Ratnesh
Takai, Shigemasa
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2019, 16 (04) : 1988 - 1989
[16] 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
[17] Safe diagnosability of timed discrete-event systems
Liu F.-C.
Cai J.-D.
Kongzhi yu Juece/Control and Decision, 2017, 32 (11): : 2081 - 2084
[18] 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
[19] Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach
Liu, Fuchun
Qiu, Daowen
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2009, 17 (02) : 372 - 384
[20] Safe diagnosability for intermittent faults of discrete-event systems
Liu F.-C.
Tang S.-Q.
Zhao R.
Deng X.-Q.
Cui H.-G.
Kongzhi yu Juece/Control and Decision, 2020, 35 (05): : 1205 - 1210

← 1 2 3 4 5 →