广东工业大学学报 ›› 2024, Vol. 41 ›› Issue (02): 108-115.doi: 10.12052/gdutxb.220174

• 综合研究 • 上一篇    

分布式随机离散事件系统的模式故障安全诊断

黄泽辉, 刘富春   

  1. 广东工业大学 计算机学院, 广东 广州 510006
  • 收稿日期:2022-11-21 发布日期:2024-04-23
  • 通信作者: 刘富春(1971-),男,教授,博士,博士生导师,主要研究方向为离散事件系统控制、算法设计,E-mail:liufch@gdut.edu.cn
  • 作者简介:黄泽辉(1997-),男,硕士研究生,主要研究方向为离散事件系统控制、算法设计,E-mail:2549911387@qq.com
  • 基金资助:
    国家自然科学基金资助项目(61673122);广东省自然科学基金资助项目(2023A1515012783)

Safe Diagnosis of Pattern Failure of Decentralized Stochastic Discrete Event Systems

Huang Ze-hui, Liu Fu-chun   

  1. School of Compute Science and Technology, Guangdong University of Technology, Guangzhou 510006, China
  • Received:2022-11-21 Published:2024-04-23

摘要: 现有分布式随机离散事件系统的研究都集中在单个事件导致的故障上,然而许多实际应用系统所发生的故障往往是由一系列事件相继发生而导致的。针对此类故障的检测问题,本文提出了一种随机离散事件系统的模式故障安全协同诊断方法。首先,对分布式随机离散事件系统的模式故障安全协同可诊断性进行了形式化。然后,通过构造模式故障安全协同诊断器,提出了一个基于安全协同诊断器的分布式随机离散事件系统的模式故障安全协同可诊断性的充要条件,实现了分布式随机离散事件系统的模式故障安全诊断。

关键词: 随机离散事件系统, 分布式系统, 模式故障, 安全诊断

Abstract: Most existing studies of decentralized stochastic discrete-event systems (SDESs) usually focused on faults caused by a single event, while in many practical applications, faults were usually resulted from the successive occurrence of a series of events. To address the problem of detecting such faults, in this paper, a pattern safe diagnosis method is proposed for decentralized SDESs. First, the notion of pattern safe codiagnosability of decentralized stochastic systems is formalized. Then, by constructing a pattern safe codiagnoser, a sufficient and necessary condition of pattern safe codiagnosability is presented based on the pattern safe codiagnoser for decentralized SDESs. As a result, the pattern safe diagnosis for decentralized SDESs can be performed.

Key words: stochastic discrete-event systems, decentralized systems, pattern failure, safe diagnosis

中图分类号: 

  • TP277
[1] CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems[M]. 2nd ed. New York: Springer, 2008: 35-48.
[2] CABASINO M P, GIUA A, POCCI M, et al. Discrete event diagnosis using labeled petri nets. An application to manufacturing systems [J]. Control Engineering Practice, 2011, 19(9): 989-1001.
[3] LIN F. Diagnosability of discrete event systems and its applications [J]. Discrete Event Dynamic Systems, 1994, 4(1): 197-212.
[4] THORSLEY D. A necessary and sufficient condition for diagnosability of stochastic discrete event systems [J]. Discrete Event Dynamic Systems:Theory and Applications, 2017, 27(3): 481-500.
[5] 郭晨, 张丽, 冷明. 系统级故障诊断中可诊断性的研究与发展[J]. 计算机应用研究, 2018, 35(2): 327-332.
GUO C, ZHANG L, LENG M. Study and development of diagnosable in system level diagnosis [J]. Application Research of Computers, 2018, 35(2): 327-332.
[6] 邓明喜, 黎良, 刘斌. 基于修正状态类图的标签时间Petri 网系统故障诊断[J]. 计算机应用研究, 2022, 39(6): 1678-1682.
DENG M X, LI L, LIU B. Fault diagnosis of labeled time Petri net systems based on modified state class graph [J]. Application Research of Computers, 2022, 39(6): 1678-1682.
[7] THORSLEY D, TENEKETZIS D. Diagnosability of stochastic discrete-event systems [J]. IEEE Transactions on Automatic Control, 2005, 50(4): 476-492.
[8] LIU F, QIU D, XING H, et al. Decentralized diagnosis of stochastic discrete event systems [J]. IEEE Transactions on Automatic Control, 2008, 53(2): 535-546.
[9] LUNZE J, SCHRODER J. State observation and diagnosis of discrete-event systems described by stochastic automata [J]. Discrete Event Dynamic Systems, 2001, 11(4): 319-369.
[10] WANG D G, WANG X, LI Z W. State-based fault diagnosis of discrete-event systems with partially observable outputs [J]. Information Sciences, 2020, 529: 87-100.
[11] REN K X, ZHANG Z P, XIA C Y. Event-based fault diagnosis of networked discrete event systems [J]. IEEE Transactions on Circuits and Systems II:Express Briefs, 2022, 69(3): 1787-1791.
[12] ARICHI F, CHERKI B, DJEMAI M, et al. Fault diagnosis for discrete events systems described by partially observed Petri nets. [J]. ISA Transactions, 2022, 128: 220-228.
[13] PAOLI A, LAFORTUNE S. Safe diagnosability for fault-tolerant supervision of discrete-event systems [J]. Automatica, 2005, 41(8): 1335-1347.
[14] DENG W, QIU D. State-based safe-codiagnosability of discrete event systems and a polynomial verification algorithm[C]// 36th Chinese Control Conference (CCC) , Dalian, China: IEEE, 2017: 773-778.
[15] 刘富春, 唐顺桥, 赵锐, 等. 离散事件系统间歇性故障的安全诊断[J]. 控制与决策, 2020, 35(5): 1205-1210.
LIU F C, TANG S Q, ZHAO R, et al. Safe diagnosability for intermittent faults of discrete-event systems [J]. Control and Decision, 2020, 35(5): 1205-1210.
[16] LIU F, QIU D. Safe diagnosability of stochastic discrete event systems [J]. IEEE Transactions on Automatic Control, 2008, 53(5): 1291-1296.
[17] JERON T, MARCHAND H, PINCHINAT S, et al. Supervision patterns in discrete event systems diagnosis[C]// 2006 8th International Workshop on Discrete Event Systems. Ann Arbor: IEEE, 2006: 262-268.
[18] GENC S, LAFORTUNE S. Diagnosis of patterns in partially-observed discrete-event systems[C]// Proceedings of the 45th IEEE Conference on Decision and Control. San Diege, CA, USA: IEEE, 2006: 422-427.
[19] 石聪聪, 刘富春. 模糊离散事件系统基于模式的故障诊断[J]. 广东工业大学学报, 2019, 36(1): 39-45.
SHI C C, LIU F C. A Pattern-based failure diagnosis of fuzzy discrete-event systems [J]. Journal of Guangdong University of Technology, 2019, 36(1): 39-45.
[20] GENG X, OUYANG D, JIANG Z. Pattern diagnosis for stochastic discrete event systems [J]. Engineering Applications of Artificial Intelligence, 2020, 87: 1-10.
[21] LEFEBVRE D, HADJICOSTIS C N. Diagnosability of fault patterns with labeled stochastic Petri nets [J]. Information Sciences, 2022, 593: 341-363.
[22] 金衍伟, 刘富春, 赵锐, 等. 分布式随机离散事件系统的模式故障预测[J]. 控制理论与应用, 2022, 39(1): 59-66.
JIN Y W, LIU F C, ZHAO R, et al. Coprognosability of pattern fault for decentralized stochastic discrete event systems [J]. Journal of Control Theory and Applications, 2022, 39(1): 59-66.
[1] 王玮林, 刘富春. 分布式模糊离散事件系统的模式故障安全诊断[J]. 广东工业大学学报, 2023, 40(05): 81-87.
[2] 亓国照, 刘富春, 崔洪刚. 基于双向观测器的随机离散事件系统的不透明性[J]. 广东工业大学学报, 2023, 40(03): 32-37.
[3] 吕舒园, 刘富春, 赵锐, 邓秀勤, 崔洪刚. 分布式离散事件系统的模式故障预测研究[J]. 广东工业大学学报, 2021, 38(01): 54-63.
[4] 叶彬彬, 刘富春. 随机离散事件系统的故障预测[J]. 广东工业大学学报, 2018, 35(06): 83-89.
[5] 区益善;. 分布式智能网关的研究[J]. 广东工业大学学报, 1994, 11(1): 44-44.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!