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

• Published in: 工业工程 Vol. 27; no. 1; pp. 96 - 103
• Main Authors: 刘富春, 周鹏
• Format: Journal Article
• Language: Chinese
• Published: 广东工业大学 01.02.2024; 广东工业大学 计算机学院,广东 广州 510006
• Subjects: 诊断器自动机; 安全诊断; 动态观测; 随机离散事件系统; dynamic observations; safe diagnosability; stochastic discrete event system; diagnoser automaton
• ISSN: 1007-7375
• DOI: 10.3969/j.issn.1007-7375.220064

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