基于状态估计的分布式离散事件系统可诊断性研究

doi:10.3969/j.issn.1007-7375.2021.01.017

工业工程 ›› 2021, Vol. 24 ›› Issue (1): 123-131.doi: 10.3969/j.issn.1007-7375.2021.01.017

基于状态估计的分布式离散事件系统可诊断性研究

戴维¹, 刘富春¹, 赵锐¹, 邓秀勤², 崔洪刚^1,3

1. 广东工业大学计算机学院;
2. 应用数学学院，广东广州 510006;
3. 广东省东源县科技创新中心，广东河源 517500

收稿日期:2019-10-10 发布日期:2021-02-24
通讯作者: 刘富春(1971-)，男，江西省人，教授，博士，主要研究方向为离散事件系统控制理论、计算机控制。Email：fliu2011@163.com E-mail:fliu2011@163.com
作者简介:戴维(1993-)，男，广西壮族自治区人，硕士研究生，主要研究方向为离散事件系统控制理论、计算机控制
基金资助:
国家自然科学基金资助项目(61673122)；广东省自然科学基金资助项目(2019A1515010548)；广东工业大学重大奖项培育项目(2016PY01)；广东省信息物理融合系统重点实验室(2016B030301008)

Research on Diagnosability of Distributed Discrete Event Systems Based on State Estimation

DAI Wei¹, LIU Fuchun¹, ZHAO Rui¹, DENG Xiuqin², CUI Honggang^1,3

1. School of Computers;
2. School of Applied Mathematics, Guangdong University of Technology, Guangzhou 510006, China;
3. Science and Technology Innovation Center of Dongyuan, Heyuan 517500, China

Received:2019-10-10 Published:2021-02-24

摘要/Abstract

摘要： 针对分布式离散事件系统，提出了一种验证基于状态估计的分布式离散事件系统可诊断性的方法。首先对离散事件系统的可诊断性进行形式化定义，然后提出一种基于状态估计的分布式离散事件系统的可诊断性验证算法，进而推导出分布式离散事件系统可诊断的充分必要条件，最后结合实际算例对该算法的可行性进行验证分析。相比现有算法，本文提出的算法无需各站点进行实时同步，仅要求在有限时延内各站点间能进行通信即可，且算法的时间复杂度也明显降低。

关键词: 状态估计, 离散事件系统, 可诊断性, 分布式系统

Abstract: A method for verifying the diagnosability of distributed discrete event systems based on state estimation for distributed discrete event systems is proposed. Firstly, the diagnosability of discrete event systems is formalized. Then a diagnostic verification algorithm for distributed discrete event systems based on state estimation is proposed, and then the necessary and sufficient conditions for the diagnosis of distributed discrete event systems are deduced. Finally, The feasibility of the algorithm is verified by the actual example. Compared with the existing algorithms, the proposed algorithm does not require real-time synchronization of each station. It only requires communication between sites within a limited time delay. When the system scale is large, the time complexity of the algorithm is also significantly reduced.

Key words: state estimation, discrete event systems, diagnosability, distributed system

中图分类号:

TP13

戴维, 刘富春, 赵锐, 邓秀勤, 崔洪刚. 基于状态估计的分布式离散事件系统可诊断性研究[J]. 工业工程, 2021, 24(1): 123-131.

DAI Wei, LIU Fuchun, ZHAO Rui, DENG Xiuqin, CUI Honggang. Research on Diagnosability of Distributed Discrete Event Systems Based on State Estimation[J]. Industrial Engineering Journal, 2021, 24(1): 123-131.

参考文献

[1] BOULOUTAS A T, HART G W, SCHWARTZ M. Fault identification using a finite state machine model with unreliable partially observed data sequences[J]. IEEE Transactions on Communications, 1993, 41(7): 1074-1083
[2] ZAYTOON J, LAFORTUNE S. Overview of fault diagnosis methods for discrete event systems[J]. Annual Reviews in Control, 2013, 37(2): 308-320
[3] RESHMILA S, DEVANATHAN R. Robust diagnosis of power system failures using discrete event system approach[C/OL]. (2016-01-07). https//ieeexplore.ieee.org/document/73733116/authors#authors.
[4] SANTORO L P M, MOREIRA M V, BASILIO J C. Computation of minimal diagnosis bases of discrete-event systems using verifiers[J]. Automatica, 2017, 77: 93-102
[5] ZAD S H, KWONG R H, WONHAM W M. Fault diagnosis in discrete-event systems: framework and model reduction[J]. IEEE Transactions on Automatic Control, 2003, 48(7): 1199-1212
[6] SAMPATH M, SENGUPTA R, LAFORTUNE S, et al. Diagnosability of discrete event systems[J]. Discrete Event Dynamic Systems, 2006, 16(1): 9-37
[7] YOO T S, LAFORTUNE S. Polynomial-time verification of diagnosability of partially observed discrete-event systems[J]. IEEE Transactions on Automatic Control, 2002, 47(9): 1491-1495
[8] LIU Fuchun, QIU D. Diagnosability of fuzzy discrete-event systems: a fuzzy approach[J]. IEEE Transactions on Fuzzy Systems, 2009, 17(2): 372-384
[9] THORSLEY D, TENEKETZIS D. Diagnosability of stochastic discrete-event systems[J]. IEEE Transactions on Automatic Control, 2005, 50(4): 476-492
[10] CHEN J, KUMAR R. Polynomial test for stochastic diagnosability of discrete event systems[J]. IEEE Transactions on Automation Science and Engineering, 2013, 10(4): 969-979
[11] 叶彬彬, 刘富春. 随机离散事件系统的故障预测[J]. 广东工业大学学报, 2018, 35(6): 83-89
YE Binbin, LIU Fuchun. Failure predictability of stochastic discrete event systems[J]. Journal of Guangdong University of Technology, 2018, 35(6): 83-89
[12] CABRAL F G, MOREIRA M V, DIENE O, et al. A petri net diagnoser for discrete event systems modeled by finite state automata[J]. IEEE Transactions on Automatic Control, 2015, 60(1): 59-71
[13] RESHMILA S, DEVANATHAN R. Diagnosis of power system failures using observer based discrete event system[C/OL]. (2016-02-25). https://ieeexplore.ieee.org/document/7413725.
[14] 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
[15] QIU Wenbin, KUMAR R. Decentralized failure diagnosis of discrete event systems[J]. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2006, 36(2): 384-395
[16] XU S, KUMAR R. Distributed state estimation in discrete event systems[C/OL]. (2009-07-10). https://ieeexplore.ieee.;org/document/5160029.
[17] SU R, WONHAM W. Globaland local consistencies in distributed fault diagnosis for discrete-event systems[J]. IEEE Transactions on Automatic Control, 2005, 50(12): 1923-1935
[18] TAKAI S, KUMAR R. Distributed failure prognosis of discrete event systems with bounded-delay communications[J]. IEEE Transactions on Automatic Control, 2012, 57(5): 1259-1265
[19] KEROGLOU C, HADJICOSTIS C N. Distributed fault diagnosis in discrete event systems via set intersection refinements[J]. IEEE Transactions on Automatic Control, 2018, 63(10): 3601-3607
[20] LIU Fuchun. Safe diagnosability of fuzzy discrete-event systems and a polynomial-time verification[J]. IEEE Transactions on Fuzzy Systems, 2015, 23(5): 1534-1544

基于状态估计的分布式离散事件系统可诊断性研究

Research on Diagnosability of Distributed Discrete Event Systems Based on State Estimation

RichHTML

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

编辑推荐

Metrics

本文评价