基于状态估计的分布式离散事件系统可诊断性研究
戴维1
刘富春1
赵锐1
邓秀勤2
崔洪刚3
1.广东工业大学计算机学院,广东广州 5100062.广东工业大学应用数学学院,广东广州 5100063.广东工业大学计算机学院,广东广州 510006;广东省东源县科技创新中心,广东河源 517500
摘要：针对分布式离散事件系统,提出了一种验证基于状态估计的分布式离散事件系统可诊断性的方法.首先对离散事件系统的可诊断性进行形式化定义,然后提出一种基于状态估计的分布式离散事件系统的可诊断性验证算法,进而推导出分布式离散事件系统可诊断的充分必要条件,最后结合实际算例对该算法的可行性进行验证分析.相比现有算法,本文提出的算法无需各站点进行实时同步,仅要求在有限时延内各站点间能进行通信即可,且算法的时间复杂度也明显降低.
关键词：状态估计离散事件系统可诊断性分布式系统
分类号：TP13(自动化基础理论)
资助基金：国家自然科学基金(61673122)广东省自然科学基金(2019A1515010548)广东工业大学重大奖项培育项目(2016PY01)广东省信息物理融合系统重点实验室(2016B030301008)
论文发表日期：2021-02-28
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：9( 123-131 )
英文信息