| 基于状态估计的分布式离散事件系统可诊断性研究 |
| |
| 引用本文： | 戴维,刘富春,赵锐,邓秀勤,崔洪刚.基于状态估计的分布式离散事件系统可诊断性研究[J].工业工程,2021,24(1):123-131. |
| |
| 作者姓名： | 戴维 刘富春 赵锐 邓秀勤 崔洪刚 |
| |
| 作者单位： | 1. 广东工业大学 计算机学院;2. 应用数学学院，广东 广州 510006;3. 广东省东源县科技创新中心，广东 河源 517500 |
| |
| 基金项目： | 国家自然科学基金资助项目(61673122)；广东省自然科学基金资助项目(2019A1515010548)；广东工业大学重大奖项培育项目(2016PY01)；广东省信息物理融合系统重点实验室(2016B030301008) |
| |
| 摘 要： | 针对分布式离散事件系统，提出了一种验证基于状态估计的分布式离散事件系统可诊断性的方法。首先对离散事件系统的可诊断性进行形式化定义，然后提出一种基于状态估计的分布式离散事件系统的可诊断性验证算法，进而推导出分布式离散事件系统可诊断的充分必要条件，最后结合实际算例对该算法的可行性进行验证分析。相比现有算法，本文提出的算法无需各站点进行实时同步，仅要求在有限时延内各站点间能进行通信即可，且算法的时间复杂度也明显降低。
|
| 关 键 词： | 状态估计 离散事件系统 可诊断性 分布式系统 |
| 收稿时间： | 2019-10-10 |
Research on Diagnosability of Distributed Discrete Event Systems Based on State Estimation |
| |
| DAI Wei,LIU Fuchun,ZHAO Rui,DENG Xiuqin,CUI Honggang.Research on Diagnosability of Distributed Discrete Event Systems Based on State Estimation[J].Industrial Engineering Journal,2021,24(1):123-131. |
| |
| Authors: | DAI Wei LIU Fuchun ZHAO Rui DENG Xiuqin CUI Honggang |
| |
| Affiliation: | 1. School of Computers;2. School of Applied Mathematics, Guangdong University of Technology, Guangzhou 510006, China;3. Science and Technology Innovation Center of Dongyuan, Heyuan 517500, China |
| |
| Abstract: | A method for verifying the diagnosability of distributed discrete event systems based on state estimation for distributed discrete event systems is proposed. Firstly, the diagnosability of discrete event systems is formalized. Then a diagnostic verification algorithm for distributed discrete event systems based on state estimation is proposed, and then the necessary and sufficient conditions for the diagnosis of distributed discrete event systems are deduced. Finally, The feasibility of the algorithm is verified by the actual example. Compared with the existing algorithms, the proposed algorithm does not require real-time synchronization of each station. It only requires communication between sites within a limited time delay. When the system scale is large, the time complexity of the algorithm is also significantly reduced. |
| |
| Keywords: | state estimation discrete event systems diagnosability distributed system |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《工业工程》浏览原始摘要信息 |
|
点击此处可从《工业工程》下载全文 |
