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

Safety Diagnosis of Stochastic Discrete Event Systems Based on Dynamic Observations

作　　者：刘富春[1] 周鹏[1] LIU Fuchun;ZHOU Peng(School of Computer Science Technology,Guangdong University of Technology,Guangzhou 510006,China)

机构地区：[1]广东工业大学计算机学院,广东广州510006

出　　处：《工业工程》2024年第1期96-103,共8页Industrial Engineering Journal

基　　金：国家自然科学基金资助项目(61673122);广东省自然科学基金资助项目(2023A1515012783);广东工业大学交叉学科培育项目。

摘　　要：现有随机离散事件系统研究大都是假设事件的可观测性是固定不变的,而许多实际应用系统中事件的可观测性往往与系统所处的状态有关。为此,本文提出一种动态观测下随机离散事件系统安全可诊断方法。引入一种动态观测,使每一个状态都有各自独立的可观事件;对动态观测下随机离散事件系统安全可诊断性进行形式化;推导出一个基于安全诊断器的动态观测下随机离散事件系统安全可诊断性的充分必要条件,实现动态观测下随机离散事件系统的故障安全诊断。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.

关 键 词：随机离散事件系统 动态观测 安全诊断 诊断器自动机 

分 类 号：F407.67[经济管理—产业经济] TP273[自动化与计算机技术—检测技术与自动化装置]