随机离散事件系统基于动态观测的安全诊断研究

doi:10.3969/j.issn.1007-7375.220064

工业工程 ›› 2024, Vol. 27 ›› Issue (1): 96-103.doi: 10.3969/j.issn.1007-7375.220064

随机离散事件系统基于动态观测的安全诊断研究

刘富春, 周鹏

广东工业大学计算机学院，广东广州 510006

收稿日期:2022-04-25 发布日期:2024-03-05
作者简介:刘富春 (1971—)，男，江西省人，教授，博士，主要研究方向为控制理论与控制工程、算法分析与设计
基金资助:
国家自然科学基金资助项目 (61673122)；广东省自然科学基金资助项目 (2023A1515012783)；广东工业大学交叉学科培育项目

Safety Diagnosis of Stochastic Discrete Event Systems Based on Dynamic Observations

LIU Fuchun, ZHOU Peng

School of Computer Science Technology, Guangdong University of Technology, Guangzhou 510006, China

Received:2022-04-25 Published:2024-03-05

摘要/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

中图分类号:

刘富春, 周鹏. 随机离散事件系统基于动态观测的安全诊断研究[J]. 工业工程, 2024, 27(1): 96-103.

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

参考文献

[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

随机离散事件系统基于动态观测的安全诊断研究

Safety Diagnosis of Stochastic Discrete Event Systems Based on Dynamic Observations

RichHTML

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

编辑推荐

Metrics

本文评价