基于状态估计的分布式离散事件系统可诊断性研究OA北大核心CHSSCDCSTPCD
Research on Diagnosability of Distributed Discrete Event Systems Based on State Estimation
针对分布式离散事件系统,提出了一种验证基于状态估计的分布式离散事件系统可诊断性的方法.首先对离散事件系统的可诊断性进行形式化定义,然后提出一种基于状态估计的分布式离散事件系统的可诊断性验证算法,进而推导出分布式离散事件系统可诊断的充分必要条件,最后结合实际算例对该算法的可行性进行验证分析.相比现有算法,本文提出的算法无需各站点进行实时同步,仅要求在有限时延内各站点间能进行通信即可,且算法的时间复杂度也明显降低.
戴维;刘富春;赵锐;邓秀勤;崔洪刚
广东工业大学计算机学院,广东广州 510006广东工业大学计算机学院,广东广州 510006广东工业大学计算机学院,广东广州 510006广东工业大学应用数学学院,广东广州 510006广东工业大学计算机学院,广东广州 510006
信息技术与安全科学
状态估计离散事件系统可诊断性分布式系统
《工业工程》 2021 (1)
123-131,9
国家自然科学基金资助项目(61673122)广东省自然科学基金资助项目(2019A1515010548)广东工业大学重大奖项培育项目(2016PY01)广东省信息物理融合系统重点实验室(2016B030301008)
评论