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

doi:10.3969/j.issn.1007-7375.2021.01.017

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

CLC Number:

TP13

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.

References

[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