Safety Diagnosis of Stochastic Discrete Event Systems Based on Dynamic Observations

doi:10.3969/j.issn.1007-7375.220064

Abstract

Abstract: Most existing studies of stochastic discrete event systems (SDESs) are based on the assumption that the observability of events is invariable. However, the observability of events in many practical systems is usually related to the states of systems. Therefore, this paper proposes a safety diagnosability method of SDESs under dynamic observations. First, a dynamic observation is introduced, in which each state has its independent observable events. Then, we formalize the notion of the safety diagnosticability of SDESs under dynamic observations. Finally, the sufficient and necessary conditions for the safety diagnosability of SDESs under dynamic observation are deduced based on a safety diagnoser automaton, achieving the safety diagnosis of SDESs under dynamic observations.

Key words: stochastic discrete event system, dynamic observations, safe diagnosability, diagnoser automaton

CLC Number:

LIU Fuchun, ZHOU Peng. Safety Diagnosis of Stochastic Discrete Event Systems Based on Dynamic Observations[J]. Industrial Engineering Journal, 2024, 27(1): 96-103.

References

[1] CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems[M]. 2nd ed. New York: Springer, 2008: 35-48.
[2] GENG X, OUYANG D, JIANG Z. Pattern diagnosis for stochastic discrete event systems[J]. Engineering Applications of Artificial Intelligence, 2020, 87: 1-10
[3] THORSLEY D, TENEKETZIS D. Diagnosability of stochastic discrete-event systems[J]. IEEE Transactions on Automatic Control, 2005, 50(4): 476-492
[4] 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
[5] LUNZE J, SCHRÖDER J. State observation and diagnosis of discrete-event systems described by stochastic automata[J]. Discrete Event Dynamic Systems, 2001, 11(4): 319-369
[6] PAOLI A, LAFORTUNE S. Safe diagnosability for fault-tolerant supervision of discrete-event systems[J]. Automatica, 2005, 41(8): 1335-1347
[7] DENG W, QIU D. State-based safe-codiagnosability of discrete event systems and a polynomial verification algorithm[C/OL]// 2017 36th Chinese Control Conference (CCC) . Dalian: IEEE, 2017 (2017-11-11). https://ieeexplore.ieee.org/document/8027717.
[8] 刘富春, 唐顺桥, 赵锐, 等. 离散事件系统基于模式的安全故障诊断[J]. 控制理论与应用, 2020, 37(1): 165-171
LIU Fuchun, TANG Shunqiao, ZHAO Rui, et al. Safe pattern-based diagnosability of discrete-event systems[J]. Control Theory & Applications, 2020, 37(1): 165-171
[9] 刘富春, 唐顺桥, 赵锐, 等. 离散事件系统间歇性故障的安全诊断[J]. 控制与决策, 2020, 35(5): 1205-1210
LIU Fuchun, TANG Shunqiao, ZHAO Rui, et al. Safe diagnosability for intermittent faults of discrete-event systems[J]. Control and Decision, 2020, 35(5): 1205-1210
[10] LIU F, QIU D. Safe diagnosability of stochastic discrete event systems[J]. IEEE Transactions on Automatic Control, 2008, 53(5): 1291-1296
[11] LIU F. Safe diagnosability of fuzzy discrete-event systems and a polynomial-time verification[J]. IEEE Transactions on Fuzzy Systems, 2015, 23(5): 1534-1544
[12] LIN F. Diagnosability of discrete event systems and its applications[J]. Discrete Event Dynamic Systems:Theory and Applications, 1994, 4(2): 197-212
[13] LAFORTUNE S, TENEKETZIS D, SAMPATH M, et al. Failure diagnosis of dynamic systems: an approach based on discrete-event systems[C/OL]//Proceedings of the 2001 American Control Conference. Arlington: IEEE, 2001 (2002-08-07). https://ieeexplore.ieee.org/document/946047.
[14] 陈文德. 离散事件动态系统的能观性[J]. 控制与决策, 1997, 12(3): 198-202
CHEN Wende. Observability of discrete event dynamic systems[J]. Control and Decision, 1997, 12(3): 198-202
[15] WANG W, GIRARD A, LAFORTUNE S, et al. The verification of codiagnosability in the case of dynamic observations [C/OL]//2009 European Control Conference. Budapest, Hungary: IEEE, 2009(2015-04-02). https://ieeexplore.ieee.org/document/7074794.
[16] 黄楠, 刘富春, 赵锐, 等. 基于动态观测的随机离散事件系统故障诊断[J]. 控制与决策, 2022, 37(2): 417-423
HUANG Nan, LIU Fuchun, ZHAO Rui, et al. Failure diagnosis of stochastic discrete event system based on dynamic observations[J]. Control and Decision, 2022, 37(2): 417-423
[17] 廖辉, 刘富春. 基于动态观测的分布式随机离散事件系统故障预测[J]. 工业工程, 2023, 26(2): 50-58
LIAO Hui, LIU Fuchun. Fault prediction of decentralized stochastic discrete-event systems based on dynamic observations[J]. Industrial Engineering Journal, 2023, 26(2): 50-58