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 条

[31] Safe diagnosability of discrete event systems
Paoli, A
Lafortune, S
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 2658 - 2664
[32] Decentralized Safe Diagnosis of Fuzzy Discrete-Event Systems
Liu, Fuchun
Wu, Lihua
2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018, : 1970 - 1975
[33] Distributed Synchronous Diagnosability of Discrete-Event Systems
Veras, Maria Z. M.
Cabral, Felipe G.
Moreira, Marcos V.
IFAC PAPERSONLINE, 2018, 51 (07): : 88 - 93
[34] State-based Safe-codiagnosability of Discrete-Event Systems and A Polynomial Verification Algorithm
Deng, Weilin
Qiu, Daowen
PROCEEDINGS OF THE 36TH CHINESE CONTROL CONFERENCE (CCC 2017), 2017, : 2397 - 2402
[35] Diagnosability test for timed discrete-event systems
Pan, J.
Hashtrudi-Zad, S.
ICTAI-2006: EIGHTEENTH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, : 63 - +
[36] Diagnosability of fuzzy discrete event systems
Kilic, Erdal
INFORMATION SCIENCES, 2008, 178 (03) : 858 - 870
[37] Comments on "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" versus "Decentralized Failure Diagnosis of Discrete Event Systems": Complexity Clarification
Kumar, Ratnesh
Takai, Shigemasa
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (05) : 1391 - 1392
[38] "Polynomial time verification of decentralized diagnosability of discrete event systems" vs. "Decentralized failure diagnosis of discrete event systems": A critical appraisal
Moreira, Marcos V.
Basilio, Joao C.
Cabral, Felipe G.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (01) : 178 - 181
[39] Diagnosability of Vector Discrete-Event Systems Using Predicates
Chen, Qinrui
Yin, Li
Wu, Naiqi
El-Meligy, Mohammed A.
Sharaf, Mohamed Abdel Fattah
Li, Zhiwu
IEEE ACCESS, 2019, 7 : 147143 - 147155
[40] Revised Test for Stochastic Diagnosability of Discrete-Event Systems
Chen, Jun
Keroglou, Christoforos
Hadjicostis, Christoforos N.
Kumar, Ratnesh
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2018, 15 (01) : 404 - 408

← 1 2 3 4 5 →