吉林大学学报(工学版) ›› 2015, Vol. 45 ›› Issue (1): 222-228.doi: 10.13229/j.cnki.jdxbgxb201501033

• Orignal Article • Previous Articles     Next Articles

Diagnoser-based incremental method of determining diagnosability

WANG Xiao-yu1,2,OUYANG Dan-tong1,2,ZHAO Jian2   

  1. 1.College of Computer Science and Technology, Jilin University, Changchun 130012,China;
    2.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Changchun 130012,China
  • Received:2013-09-06 Online:2015-02-01 Published:2015-02-01

RICH HTML

0   

PDF (PC)

242

Abstract: In model based diagnosis of discrete event system, an incremental method is proposed to determine the diagnosability and improve the efficiency of determining diagnosability. By reversely spreading the faulty labels on states, the pre-diagnoser is built. Then based on the diagnoser and the virtual online observation windows, the diagnosability is determined incrementally, and it is decided whether to prune the current state and return the result of diagnosability. An incremental algorithm is proposed and its correctness is proved. The experiment not omnly verifies the efficiency of the incremental algorithm but also tests the relationship between the size of the observation windows and the efficiency of determining diagnosability.

Key words: artificial intelligence, model-based diagnosis, diagnosability, incremental method

CLC Number: 

  • TP18
[1] Pencole Y, Cordier M O. A formal framework for the decentralised diagnosis of large scale discreteevent systems and its application to telecommunication networks[J]. Artificial Intelligence, 2005, 164(1): 121-170.
[2] Hayden S, Sweet A,Christa S. Livingstone model-based diagnosis of earth observing one[C]∥Proceedings of AIAA 1st Intelligent Systems Conference,2004.
[3] Sampath M, Sengupta R, Lafortune S, et al. Diagnosability of discrete-event systems[J]. IEEE Transactions on Automatic Control, 1995, 40(9): 1555-1575.
[4] Sampath M,Sengupta R, Lafortune S,et al.Failure diagnosis usingdiscrete-event models[J].IEEE Transactions on Control Systems Technology,1996,4(2):105-124.
[5] Jiang S, Huang Z, Chandra V, et al. A polynomial algorithm for testing diagnosability of discrete-event systems[J]. IEEE Transactions on Automatic Control, 2001, 46(8): 1318-1321.
[6] Grastien A. Symbolic testing of diagnosability[C]∥International Workshop on Principles of Diagnosis, 2009.
[7] Jeron T,Marchand H, Pinchinat S,et al.Supervision patterns in discrete event systems diagnosis[C]∥The 8th International Workshop on Discrete Event Systems,2006.
[8] Ye L, Dague P. Diagnosability analysis of discrete event systems with autonomous components[C]∥ECAI, 2010:105-110.
[9] Ye L, Dague P. A general algorithm for pattern diagnosability of distributed discrete event systems[C]∥IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI), 2012: 130-137.
[10] Debouk R, Lafortune S, Teneketzis D. Coordinated decentralized protocols for failure diagnosis of discrete event systems[J]. Discrete Event Dynamic Systems, 2000, 10(1-2): 33-86.
[11] Pencole Y, Cordier M O, Roze L. A decentralized model-based diagnostic tool for complex systems[J]. International Journal on Artificial Intelligence Tools, 2002, 11(3):327-346.
[12] Provan G. Distributed diagnosability properties of discrete event systems[C]∥Proceedings of the American Control Conference, 2002: 134-139.
[13] Rudie K, Lafortune S, Lin F. Minimal communication in a distributed discrete-event system[J]. IEEE Transactions on Automatic Control, 2003, 48(6): 957-975.
[14] Ye L, Dague P. New results for joint diagnosability of self-observed distributed discrete event systems[C]∥The 23rd International Workshop on Principles of Diagnosis, 2002: 131-138.
[15] Cassez F. The complexity of codiagnosability for discrete event and timed systems[J]. IEEE Transactions on Automatic Control, 2012, 57(7): 1752-1764.
[1] DONG Sa, LIU Da-you, OUYANG Ruo-chuan, ZHU Yun-gang, LI Li-na. Logistic regression classification in networked data with heterophily based on second-order Markov assumption [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1571-1577.
[2] GU Hai-jun, TIAN Ya-qian, CUI Ying. Intelligent interactive agent for home service [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1578-1585.
[3] WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Measurement of graph similarity based on vertical dimension sequence dynamic time warping method [J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4] ZHANG Hao, ZHAN Meng-ping, GUO Liu-xiang, LI Zhi, LIU Yuan-ning, ZHANG Chun-he, CHANG Hao-wu, WANG Zhi-qiang. Human exogenous plant miRNA cross-kingdom regulatory modeling based on high-throughout data [J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5] HUANG Lan, JI Lin-ying, YAO Gang, ZHAI Rui-feng, BAI Tian. Construction of disease-symptom semantic net for misdiagnosis prompt [J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6] LI Xiong-fei, FENG Ting-ting, LUO Shi, ZHANG Xiao-li. Automatic music composition algorithm based on recurrent neural network [J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7] LIU Jie, ZHANG Ping, GAO Wan-fu. Feature selection method based on conditional relevance [J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8] WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Heuristic algorithm of all common subsequences of multiple sequences for measuring multiple graphs similarity [J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9] YANG Xin, XIA Si-jun, LIU Dong-xue, FEI Shu-min, HU Yin-ji. Target tracking based on improved accelerated gradient under tracking-learning-detection framework [J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10] LIU Xue-juan, YUAN Jia-bin, XU Juan, DUAN Bo-jia. Quantum k-means algorithm [J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11] QU Hui-yan, ZHAO Wei, QIN Ai-hong. A fast collision detection algorithm based on optimization operator [J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12] LI Jia-fei, SUN Xiao-yu. Clustering method for uncertain data based on spectral decomposition [J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13] SHAO Ke-yong, CHEN Feng, WANG Ting-ting, WANG Ji-chi, ZHOU Li-peng. Full state based adaptive control of fractional order chaotic system without equilibrium point [J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14] WANG Sheng-sheng, WANG Chuang-feng, GU Fang-ming. Spatio-temporal reasoning for OPRA direction relation network [J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15] MA Miao, LI Yi-bin. Multi-level image sequences and convolutional neural networks based human action recognition method [J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright © Journal of Jilin University(Engineering and Technology Edition), All Rights Reserved.
Tel: +86-431-85095297　Fax: +86-431-85094074　E-mail: xbgxb@jlu.edu.cn
Powered by Beijing Magtech Co. Ltd