模块化离散事件系统的主动预估与诊断
系统与控制
2025-12-12 v1 系统与控制
摘要
本文解决了离散事件系统（DES）由确定性有限自动机建模的可预估性和可诊断性验证与强制问题。我们建立了预正规性（分别为可预估性）与可诊断性之间的等价性，这些性质基于非故障语言的子集（分别为故障语言的后缀）。随后，我们证明了最大可预估（分别可诊断）子语言和正规子语言的存在。进而，设计了一个算法来计算最大可控、正规且可预估（分别可诊断）子语言。由于DES通常由多个并行运行的组件组成，纯本地监督器通常不够，因为可预估性和可诊断性是系统的全局属性。鉴于 enforcing prognosability or diagnosability in modular DESs的有限工作——这些性质通过本地监督器实现——本文利用预正规性的改进版本来计算用于局部子系统的模块化监督器。结果得到的闭环系统被证明是全局可控、正规且可预估/可诊断的。提供了示例来说明所提出的方法。
引用
@article{arxiv.2512.10684,
title = {Active prognosis and diagnosis of modular discrete-event systems},
author = {Shaopeng Hu and Shaowen Miao and Jan Komenda and Zhiwu Li},
journal= {arXiv preprint arXiv:2512.10684},
year = {2025}
}