广东工业大学学报 ›› 2021, Vol. 38 ›› Issue (01): 54-63.doi: 10.12052/gdutxb.200054

• 综合研究 • 上一篇    下一篇

分布式离散事件系统的模式故障预测研究

吕舒园1, 刘富春1, 赵锐1, 邓秀勤2, 崔洪刚1,3   

  1. 1. 广东工业大学 计算机学院，广东 广州 510006;
    2. 广东工业大学 应用数学学院，广东 广州 510520;
    3. 东源县科技创新中心，广东 河源 517500
  • 收稿日期:2020-04-01 出版日期:2021-01-25 发布日期:2020-12-01
  • 通信作者: 刘富春(1971-)，男，教授，博士生导师，主要研究方向为控制理论与控制工程、算法分析与设计，E-mail：fliu2011@163.com E-mail:fliu2011@163.com
  • 作者简介:吕舒园(1995-)，女，硕士研究生，主要研究方向为控制理论与控制工程、算法分析与设计
  • 基金资助:
    国家自然科学基金资助项目(61673122)；广东省自然科学基金资助项目(2019A1515010548)；广东省公益研究与能力建设专项资金资助项目(2015A030402006)；广东工业大学计算机学院重大奖项培育项目(2016PY01)

A Research on Patterns Fault Prediction of Decentralized Discrete Event Systems

Lyu Shu-yuan1, Liu Fu-chun1, Zhao Rui1, Deng Xiu-qin2, Cui Hong-gang1,3   

  1. 1. School of Computers, Guangdong University of Technology, Guangzhou 510006, China;
    2. School of Applied Mathematics, Guangdong University of Technology, Guangzhou 510520, China;
    3. Scienceand Technology Innovation Center of Dongyuan, Heyuan 517500, China
  • Received:2020-04-01 Online:2021-01-25 Published:2020-12-01

HTML

PDF (PC)

2852

摘要： 针对分布式离散事件系统, 提出了一种模式故障预测方法。首先对分布式离散事件系统的模式故障可预测性进行形式化。通过构造一个模式故障识别器, 从系统所有行为中识别出所发生的模式故障, 并针对分布式系统的不同观测点构造不可观测闭包。在此基础上, 联合各站点观测到的事件序列构造出模式故障预测验证器, 解决了分布式离散事件系统的模式故障预测问题。得出了一个判定分布式离散事件系统模式故障可预测性的充分必要条件, 并提出了相应的模式故障预测算法, 实现了对分布式离散事件系统的模式故障预测。最后, 对分布式模式故障预测验证器的构建和模式故障预测算法进行了复杂度分析。

关键词: 离散事件系统, 分布式, 模式故障, 故障预测

Abstract: In recent years, the research on fault prediction of discrete event systems has received considerable attention. In this research, the prediction of patterns fault for decentralized discrete event systems is investigated. Firstly, the notion of predictability of patterns fault for decentralized systems is defined and the patterns fault predictability of distributed discrete event systems formalized. By constructing a patterns fault recognizer, patterns fault is identified from all behaviors of the system, and the unobservable closure is constructed for different observation points of decentralized system. On this basis, the patterns fault prediction verifier is constructed by combining the events observed at each station, which solves the problem of patterns fault prediction of decentralized discrete event system. A sufficient and necessary condition for determining the predictability of the decentralized systems is obtained. The corresponding patterns fault prediction algorithm is proposed and implemented. Finally, the complexity analyses of the construction of the decentralized patterns fault prediction verifier and the patterns fault prediction algorithm are carried out.

Key words: discrete event systems, decentralized, patterns fault, fault prediction

中图分类号: 

  • TP277
[1] SAMPATH M, SENGUPTA R, LAFORTUNE S, et al. Diagnosability of discrete-event systems [J]. IEEE Transactions on Automatic Control, 1995, 40(9): 1555-1575.
[2] CHEN Z, LIN F, WANG C, et al. Active diagnosability of discrete event systems and its application to battery fault diagnosis [J]. IEEE Transactions on Control Systems Technology, 2014, 22(5): 1892-1898.
[3] RESHMILA S, DEVANATHAN R. Diagnosis of power system failures using observer based discrete event system[C]// 2016 IEEE First International Conference on Control, Measurement and Instrumentation (CMI). Kolkata: IEEE, 2016: 131-135.
[4] LIU F C. Safe diagnosability of fuzzy discrete-event systems and a polynomial-time verification [J]. IEEE Transactions on Fuzzy Systems, 2015, 23(5): 1534-1544.
[5] CAO X R. The predictability of discrete event systems [J]. IEEE Transactions on Automatic Control, 1989, 34(11): 1168-1171.
[6] YOU D, WANG S G, SEATZU C. Verification of fault-predictability in labeled petri nets using predictor graphs [J]. IEEE Transactions on Automatic Control, 2019, 64(10): 4353-4360.
[7] CHASE C, RAMADGE P. Predictability of a class of supervised one-dimensional systems[C]// IEEE International Symposium on Intelligent Control. Philadelphia: IEEE，1990: 670-675.
[8] BUSS S R, PAPADIMITRIOU C H, TSITSIKLIS J N. On the predictability of coupled automata: an allegory about chaos[C]// Proceedings 31st Annual Symposium on Foundations of Computer Science, St. Louis: IEEE, 1990: 788-793.
[9] GENC S, LAFORTUNE S. Predictability of event occurrences in partially-observed discrete-event systems [J]. Automatica, 2009, 45(2): 301-311.
[10] QIU W, KUMAR R. A protocol for distributed state estimation in discrete event systems [J]. IFAC Proceedings Volumes, 2007, 40(6): 217-222.
[11] PENCOLÉ Y. Diagnosability analysis of distributed discrete event systems[C]// 16th European Conference on Artificial Intelligence. Valencia: IOS Press, 2004: 43-47.
[12] YIN X, LI Z. Decentralized fault prognosis of discrete event systems using state estimate based protocols [J]. IEEE Transactions on Cybernetics, 2019, 49(4): 1302-13.
[13] LIU F C. Predictability of failure event occurrences in decentralized discrete-event systems and polynomial-time verification [J]. IEEE Transactions on Automation Science and Engineering, 2019, 16(4): 1-7.
[14] LIU F C. Reliable predictability of failure events for decentralized discrete-event systems[C]// 2018 37th Chinese Control Conference (CCC), Wuhan: [s.n.], 2018: 2048-2053.
[15] JÉRON 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.
[16] 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 Diego: IEEE, 2006: 422-427.
[17] 石聪聪, 刘富春. 模糊离散事件系统基于模式的故障诊断[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.
[18] 刘富春, 唐顺桥, 赵锐, 等. 离散事件系统基于模式的安全故障诊断[J]. 控制理论与应用, 2020, 37(1): 162-168.
LIU F C, TANG S Q, ZHAO R, et al. Safe pattern-based diagnosability of discrete-event systems [J]. Control Theory & Applications, 2020, 37(1): 162-168.
[19] DAGUE, PHILIPPE, Y E, et al. An optimized algorithm of general distributed diagnosability analysis for modular structures [J]. IEEE Transactions on Automatic Control, 2017, 62(4): 1768-1780.
[20] JÉRON T, MARCHAND H, GENC S, et al. Predictability of sequence patterns in discrete event systems [J]. IFAC Proceedings Volumes, 2008, 41(2): 537-543.
[21] GENG X N, OUYANG D T, JIANG Z G. Pattern diagnosis for stochastic discrete event systems [J]. Engineering Applications of Artificial Intelligence, 2020, 87: 1-10.
[22] CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems[M]. New York: Springer, 2010: 53-133.
[23] Genc S, Lafortune S. Predictability in discrete-event systems under partial observation [J]. IFAC Proceeding Volums, 2006, 39(13): 1461-1466.
[1] 曲燊, 车伟伟. FDI攻击下非线性多智能体系统分布式无模型自适应控制[J]. 广东工业大学学报, 2022, 39(05): 75-82.
[2] 谢光强, 赵俊伟, 李杨, 许浩然. 基于多集群系统的车辆协同换道控制[J]. 广东工业大学学报, 2021, 38(05): 1-9.
[3] 陈冰儿, 王帮海, 劳南新. 基于DPoS扩展的量子加密区块链[J]. 广东工业大学学报, 2021, 38(02): 34-38.
[4] 荣泽成, 陈璟华, 郭壮志, 许俊宁, 陈友鹏. 基于非线性互补约束的含DG配电网故障区段定位方法[J]. 广东工业大学学报, 2020, 37(04): 51-58.
[5] 石聪聪, 刘富春. 模糊离散事件系统基于模式的故障诊断[J]. 广东工业大学学报, 2019, 36(01): 35-41.
[6] 叶彬彬, 刘富春. 随机离散事件系统的故障预测[J]. 广东工业大学学报, 2018, 35(06): 83-89.
[7] 白伟丽, 陈健. 线型光纤感温火灾探测监控系统的研究与设计[J]. 广东工业大学学报, 2016, 33(06): 44-48.
[8] 胡芹, 刘富春. 基于离散事件系统的云资源分配优化控制[J]. 广东工业大学学报, 2016, 33(01): 29-35.
[9] 陈健沛, 李伟良, 蔡志岗. 分布式拉曼光纤测温系统研究进展[J]. 广东工业大学学报, 2015, 32(3): 102-109.
[10] 莫日翔, 刘富春. 离散事件系统基于状态树的可纠错性及其算法研究[J]. 广东工业大学学报, 2015, 32(2): 53-57.
[11] 陈培文, 傅秀芬. 采用SVM方法的文本情感极性分类研究[J]. 广东工业大学学报, 2014, 31(3): 95-101.
[12] 李桥兴, 强保华, 杨春燕. 大数据基元的HBase数据库存储模型与实现[J]. 广东工业大学学报, 2014, 31(3): 8-13.
[13] 陈磊, 封朝永. HBase下时态信息索引策略研究[J]. 广东工业大学学报, 2014, 31(3): 102-108.
[14] 邓立龙, 徐海水. Storm实现的应用模型研究[J]. 广东工业大学学报, 2014, 31(3): 114-118.
[15] 杨晚生1, 2 , 郭开华1. 分布式供能系统的定义及其内涵[J]. 广东工业大学学报, 2010, 27(3): 76-82.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 2017 《广东工业大学学报》编辑部
地址：广州市东风东路729号广东工业大学 邮编：510090
电话：020-37626653,020-37626139,020-37626396
邮箱：xbzrb@gdut.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发