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

第

27

卷

第

1

期工业工程Vol.

27

No.

1

2024

年

2

月IndustrialEngineeringJournalFebruary

2024

doi:

10.3969/j.issn.1007-7375.220064

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

刘富春，周

鹏

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

摘要:现有随机离散事件系统研究大都是假设事件的可观测性是固定不变的，而许多实际应用系统中事件的可观测

性往往与系统所处的状态有关。为此，本文提出一种动态观测下随机离散事件系统安全可诊断方法。引入一种动态

观测，使每一个状态都有各自独立的可观事件；对动态观测下随机离散事件系统安全可诊断性进行形式化；推导出

一个基于安全诊断器的动态观测下随机离散事件系统安全可诊断性的充分必要条件，实现动态观测下随机离散事件

系统的故障安全诊断。

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

中图分类号:F407.67;

TP273

文献标志码:A

文章编号:1007-7375(2024)01-0096-08

SafetyDiagnosisofStochasticDiscreteEventSystemsBasedon

DynamicObservations

LIU

Fuchun,

ZHOU

Peng

(School

of

Computer

Science

Technology,

Guangdong

University

of

Technology,

Guangzhou

510006,

China)

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

t