莱斯米拉，S。；德瓦纳桑·拉贾戈帕兰 基于观测的一类离散事件系统的可诊断性。 （英语） Zbl 1449.93181号 控制理论技术。 17，第3号，265-275（2019）. 摘要：离散事件系统的可诊断性一直是许多研究人员感兴趣的话题。各种系统的可诊断性条件是基于对故障迹线施加的关于其可观察连续性的规则性条件而发展起来的。本文改进了这一薄弱但必要的条件，提出了一种新的可诊断性模型，该模型基于传感器输出，即对命令输入的观测。推导了该可诊断性模型的充要条件。与现有可诊断性规则性条件下搜索的指数复杂性相比，所提出的可诊断性条件的搜索性能在系统事件和观测的幂集方面具有线性复杂性。此外，根据现有可诊断性条件不可诊断的系统在建议的可诊断性模型中可能是可诊断的，该模型包括观察结果。 引用于1文件 MSC公司： 93元65角 离散事件控制/观测系统 93个B07 可观察性 65年第68季度 形式语言和自动机 关键词：离散事件系统；可诊断性；故障诊断；粉状自动机；有限状态自动机 PDF格式BibTeX公司 XML格式引用 \textit{S.Reshmila}和\textit{D.Rajagopalan}，控制理论技术。17，第3号，265--275（2019年；Zbl 1449.93181） 全文： 内政部