具有输出公平性的非确定观测下离散事件系统故障诊断
系统与控制
2022-04-07 v1 形式语言与自动机理论
系统与控制
摘要
本文重新研究非确定观测下离散事件系统（DES）的故障诊断问题。非确定观测是一种通用观测模型，包含观测间歇丢失的情况。在此设定下，事件发生时传感器读数可能非确定，使得一组输出符号均有可能。现有非确定观测下故障诊断的工作需考虑所有可能的观测实现。然而，该方法包含了某些可能输出被永久禁用的情况。本工作中，我们引入输出公平性的概念，要求对任意输出符号，若其有无限次生成机会，则它确实会被生成无限次。我们使用假设-保证型线性时序逻辑公式形式化描述此假设。提出了一种称为输出公平可诊断性（OF-diagnosability）的新概念。提供了验证 OF-可诊断性的有效方法。我们表明所提 OF-可诊断性概念弱于非确定观测下可诊断性的标准定义，且更好地刻画了观测非确定性或观测间歇丢失的物理场景。
引用
@article{arxiv.2204.02617,
title = {Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness},
author = {Weijie Dong and Shang Gao and Xiang Yin and Shaoyuan Li},
journal= {arXiv preprint arXiv:2204.02617},
year = {2022}
}