Improved design of online fault diagnoser for partially observed Petri nets with generalized mutual

来源 :Journal of Systems Engineering and Electronics | 被引量 : 0次 | 上传用户:ftlfh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
This paper investigates the fault detection problem for discrete event systems(DESs) which can be modeled by partially observed Petri nets(POPNs). To overcome the problem of low diagnosability in the POPN online fault diagnoser in current use,an improved online fault diagnosis algorithm that integrates generalized mutual exclusion constraints(GMECs) and integer linear programming(ILP) is proposed. Assume that the POPN structure and its initial markings are known, and the faults are modeled as unobservable transitions. First, the event sequence is observed and recorded. GMEC is used for elementary diagnosis of the system behavior, then the ILP problem of POPN is solved for further diagnosis. Finally, an example of a real DES to test the new fault diagnoser is analyzed. The proposed algorithm increases the diagnosability of the DES remarkably, and the effectiveness of the new algorithm integrating GMEC and ILP is verified. This paper investigates the fault detection problem for discrete event systems (DESs) which can be modeled by partially observed Petri nets (POPNs). To overcome the problem of low diagnosability in the use of POPN online fault diagnoser in current use, an improved online fault diagnosis algorithm Assume that the POPN structure and its initial markings are known, and the faults are modeled as unobservable transitions. First, the event sequence is observed and recorded. GMEC is used for elementary diagnosis of the system behavior, then the ILP problem of POPN is solved for further diagnosis. Finally, an example of a real DES to test the new fault diagnoser is analyzed. The proposed algorithm increases the diagnosability of the DES remarkably , and the effectiveness of the new algorithm integrating GMEC and ILP is verified.
其他文献
第一节双手下按rn动作:两脚分立比肩稍宽,两臂自然下垂,手指微张并稍向前翘起,掌心向下,双目前视,呼吸自然,全身放松,稍用意想着脐腹部,然后,稍微调整姿势把身体重心移到右脚
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
针对HIV-1包膜蛋白的中和抗体在体外高度有效地抑制不同病毒株的侵染, 但在体内只以很低水平存在, 提出多中和表位-表位疫苗作为提高体内中和抗体水平及机体抗病毒变异能力的
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
从整体和细胞水平观察血管紧张素Ⅱ(AngⅡ)对心肌细胞血小板源生长因子(PDGF)受体-β表达的影响, 探讨其可能的胞内信号转导机制. 制备2K1C肾性高血压大鼠模型, 术后4和8周测
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7