학술논문
随机离散事件系统基于动态观测的安全诊断研究 / Safety Diagnosis of Stochastic Discrete Event Systems Based on Dynamic Observations
Document Type
Academic Journal
Author
Source
工业工程 / Industrial Engineering Journal. 27(1):96-103
Subject
Language
Chinese
ISSN
1007-7375
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.
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.