文件名称：基于状态的离散事件系统安全协同诊断能力和多项式验证算法
文件大小：144KB
文件格式：PDF
更新时间：2024-03-27 19:01:42
state-based discrete-event systems, state estimation,
在本文中，我们研究了离散事件系统基于状态的分散式安全诊断问题。 我们首先提出一个基于状态的分散式安全诊断框架。 此外，我们介绍了基于状态的安全可诊断性的概念，该概念同时满足了可诊断性条件和安全性条件。 此外，还提出了基于状态的安全协同诊断能力的多项式验证算法。