通信协议离散事件系统故障的时间可诊断性分析  

Time diagnosability analysis of the faults of the communication protocol discrete event systems

作　　者：汪恒宇 张信哲 刘久富[1] WANG Heng-yu;ZHANG Xin-zhe;LIU Jiu-fu(School of Automation,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China)

机构地区：[1]南京航空航天大学自动化学院,江苏南京211106

出　　处：《云南民族大学学报（自然科学版）》2021年第4期371-380,共10页Journal of Yunnan Minzu University:Natural Sciences Edition

基　　金：国家自然科学基金(61473144).

摘　　要：研究了基于离散事件系统的通信协议故障的时间可诊断性问题.时间可诊断性从系统运行角度分析系统模型的可诊断程度,为系统后续的故障诊断分析提供理论依据.通信协议离散事件系统存在数据传输过程中节点多、部分关键节点信息不能直接获取等缺点导致不可观故障分析十分困难,利用可观变迁序列和变迁触发时间重构故障事件的发生结合整数线性规划问题,提出基于部分可观标签时间Petri网的时间可诊断性分析方法.通信协议离散事件系统的数据传输过程的重要环节对应为变迁,标定各变迁点火时间区间,建立部分可观标签时间Petri网模型,通过状态类图重构故障事件的发生并修正变迁点火时间区间.根据检测时间点,遍历所有满足可观变迁触发时间和序列信息的路径,判断系统故障的时间可诊断性.最后建立通信协议离散事件系统的部分可观标签时间Petri网模型,结合系统工作过程中各执行机构可观测状态,对系统不可观部分故障进行时间可诊断性判断,验证算法的有效性.This research investigates the time diagnosability of communication protocol faults based on discrete event systems.Time diagnosability is adopted to analyze the diagnosability of the system model from the perspective of system operation,which provides a theoretical basis for the fault diagnosis and analysis of the system sequence.The discrete event system of communication protocol has many nodes in the process of data transmission,and the information of some key nodes can't be obtained directly,which leads to unobservable fault analysis difficultly.The occurrence of fault events is reconstructed by using observable transition sequence and transition firing time.An analysis method for time diagnosability based on partially observable labeled time Petri nets is proposed in combination with the integer linear programming problem.The important link of the data transmission process of communication protocol discrete event systems is corresponding to the transition.The firing interval of each transition is demarcated,the partially observable labeled time Petri nets model is established.Then we transform the Partially Observed Labeled Time Petri nets into a state class diagram and the firing interval of transition is modified.According to the detection time point,all the paths satisfying the firing time and sequence information of considerable transition are traversed to determine the time diagnosability of system faults.Finally,the Partially Observed Labeled Time Petri nets is established during the process of the communication protocol of the discrete event system,and time diagnosability is determined for the unobservable part of the system s fault based on the observable state of each actuator during the system operation so as to verify the effectiveness of the algorithm.

关 键 词：通信协议 离散事件系统 部分可观 时间可诊断性 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]