10.3969/j.issn.1007-7375.2021.01.017
基于状态估计的分布式离散事件系统可诊断性研究
针对分布式离散事件系统,提出了一种验证基于状态估计的分布式离散事件系统可诊断性的方法.首先对离散事件系统的可诊断性进行形式化定义,然后提出一种基于状态估计的分布式离散事件系统的可诊断性验证算法,进而推导出分布式离散事件系统可诊断的充分必要条件,最后结合实际算例对该算法的可行性进行验证分析.相比现有算法,本文提出的算法无需各站点进行实时同步,仅要求在有限时延内各站点间能进行通信即可,且算法的时间复杂度也明显降低.
状态估计、离散事件系统、可诊断性、分布式系统
24
TP13(自动化基础理论)
国家自然科学基金资助项目;广东省自然科学基金资助项目;广东工业大学重大奖项培育项目;广东省信息物理融合系统重点实验室
2021-03-09（万方平台首次上网日期，不代表论文的发表时间）
共9页
123-131
