基于扩展窗口的时序不完备诊断方法研究

计算机科学 ›› 2015, Vol. 42 ›› Issue (10): 222-225.

基于扩展窗口的时序不完备诊断方法研究

柴瑞亚,朱怡安,陆伟,史佳龙

西北工业大学计算机学院西安710072,西北工业大学计算机学院西安710072,西北工业大学软件与微电子学院西安710072,西北工业大学计算机学院西安710072

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受航天支撑技术基金(2013-HT-XGD(10)),陕西省科学技术研究发展计划项目(2014K05-25),西北工业大学研究生创业种子基金(Z2014065)资助

Extended Observation Window for Diagnosing Discrete-event Systems with Incomplete Event Sequence Model

CHAI Rui-ya, ZHU Yi-an, LU Wei and SHI Jia-long

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

摘要： 离散事件系统诊断中,由于系统复杂度较高,对系统建模时要获得系统的完备行为非常困难。传统的诊断方法往往基于模型完备的假设,在模型不完备时会出现得不到诊断解释的问题。针对模型定义不完备中的一种情况——事件顺序定义不完备,提出了一种基于扩展窗口的时序不完备诊断方法,该方法利用相关事件无序信息,在增量诊断时通过动态改变观测窗口大小,结合两个观测窗口的观测序列,在一定程度上解决了不完备的诊断问题。该方法不仅扩展了模型完备条件的约束,得到了合理的诊断结果,而且改进了观测延迟导致的观测乱序情况,扩大了模型诊断的适用范围。最后,通过算法分析和实验结果证明该诊断方法在复杂度较低的情况下能够得到合理的诊断结果。

关键词: 离散事件系统诊断,不完备模型

Abstract: Most of traditonal approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed.Aiming at this situation,we presented an approach to diagnose the incomplete event sequence model.Three aspects of the approach are adding information to the system model,dynamically extending observation window and merging the observations of the two windows.This diagnosis approach not only processes the event sequence model to expand the applicative scope,but also sloves the observation delay in a certain extent.It was tested.The result shows the approach in case of low complexity brings out expected results according to certain incomplete models.

Key words: Discrete-event system diagnosis,Incomplete model

柴瑞亚,朱怡安,陆伟,史佳龙. 基于扩展窗口的时序不完备诊断方法研究[J]. 计算机科学, 2015, 42(10): 222-225. https://doi.org/

CHAI Rui-ya, ZHU Yi-an, LU Wei and SHI Jia-long. Extended Observation Window for Diagnosing Discrete-event Systems with Incomplete Event Sequence Model[J]. Computer Science, 2015, 42(10): 222-225. https://doi.org/

参考文献

[1] Cassandras C G,Lafortune S.Introduction to discrete event systems[M].Springer,1999
[2] Zaytoon J,Lafortune S.Overview of fault diagnosis methods for Discrete Event Systems[J].Annual Reviews in Control,2013,37(2):308-320
[3] Sampath M,Sengupta R,Lafortune S,et al.Failure diagnosisusing discrete-event models[J].IEEE Transactions on Control Systems Technology,1996,4(2):105-124
[4] 王晓宇,欧阳丹彤,赵剑.不完备模型下的离散事件系统诊断方法[J].软件学报,2012,23(3):465-475 Wang X Y,Ouyang D T,Zhao J.Discrete-Event System Diagnosis upon Incomplete Model[J].Journal of Software,2012,3(3):465-475
[5] Sampath M,Sengupta R,Lafortune S,et al.Diagnosability ofdiscrete-event systems[J].IEEE Transactions on Control Systems Technology,1995,0(9):1555-1575
[6] 刘永阔,谢春丽,成守宇,等.核电站分布式智能故障诊断系统研究与设计[J].原子能科学技术,2011,5(6):688-694 Liu Yong-kuo,Xie Chun-li,Cheng Shou-yu,et al.Research and Design of Distributed Intelligence Fault Diagnosis System in Nuclear Power Plant[J].Atomic Energy Science and Technology,2011,5(6):688-694
[7] Chen W H.Online fault diagnosis for power transmission networks using fuzzy digraph models[J].IEEE Transactions on Power Delivery,2012,7(2):688-698
[8] Wang D,Feng W,Li J.A hybrid and hierarchy modeling approach to model-based diagnosis[M]∥Electrical Engineering and Control.Springer,2011:173-180
[9] Schullerus G,Supavatanakul P,Krebs V,et al.Modelling andhierarchical diagnosis of timed discrete-event systems[J].Ma-thematical and Computer Modelling of Dynamical Systems,2006,2(6):519-542
[10] Console L,Dupré D T,Torasso P,et al.A Theory of Diagnosis for Incomplete Causal Models[C]∥IJCAI.1989:1311-1317
[11] Kwong R H,Yonge-Mallo D L.Fault Diagnosis in Discrete-Event Systems:Incomplete Models and Learning[J].IEEE Transactions on Systems,Man,and Cybernetics,Part B:Cybernetics,2011,1(1):118-130
[12] 韩旭,史忠植,林芬.基于模型诊断的研究进展[J].高技术通讯,2009,9(5):543-550 Han Xu,Shi Zhong-zhi,Lin Fen.Research advances in model-based diagnosis[J].Chinese High Technology Letters,2009,9(5):543-550
[13] Obdrálek J,Slaby J,Trtík M.STANSE:bug-finding framework for c programs[M]∥Mathematical and Engineering Methods in Computer Science.Springer,2012:167-178

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed