吉林大学学报(工学版) ›› 2013, Vol. 43 ›› Issue (02): 380-385.

Previous Articles     Next Articles

Conflict-based diagnosis of discrete event system

WANG Xiao-yu1,2, OUYANG Dan-tong1,2, ZHAO Jian1,2, GENG Xue-na1,2   

  1. 1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;
    2. Key Laboratory of Symbol Computation and Knowledge Engineer of Ministry of Education, Jilin University, Changchun 130012, China
  • Received:2012-03-10 Online:2013-03-01 Published:2013-03-01

RICH HTML

0   

PDF (PC)

452

Abstract: A dynamic model-based diagnosis method based on conflict computation is proposed. Discrete event system uses automaton to off-line add the probabilities to events and states. The method deals with the uncertainty lead by the incomplete observation. The ability of the discrete system in solving uncertain problem is enhanced. On the model built off-line, the conflict between model and observation is computed on-line, and the trajectory compatible with the observation is extracted. Based on the trajectory, the fault is estimated, the faulty trajectory is given and the state of the system is deduced. The conflict-based diagnosis is extended to the diagnosis in discrete event system. The search and judgment of unrelated events are avoided, thus, the research space is reduced. Therefore, the proposed diagnosis method is suitable for large scale systems.

Key words: artificial intelligence, conflict based diagnosis, discrete event system, dynamic diagnoses

CLC Number: 

  • TP312
[1] 赵相福,欧阳丹彤. 动态系统基于模型诊断的研究进展与展望[J].仪器仪表学报, 2005,26(增刊2): 599-602. Zhao Xiang-fu, Ouyang Dan-tong. Research development and prospect of model-based diagnosis of dynamic systems[J]. Chinese Journal of Scientific Instrument, 2005, 26(S2): 599-602.

[2] Hayden S,Sweet A, Christa S. Livingstone model based diagnosis of earth observing one//In Proc AIAA Intelligent Systems. 2004:1-11.

[3] 栾尚敏, 戴国忠. 利用结构信息的故障诊断方法[J]. 计算机学报, 2005, 28(5): 801-808. Luan Shang-min, Dai Guo-zhong. An approach to diagnosing a system with structure information[J].Chinese Journal of Computers, 2005, 28(5): 801-808.

[4] Mihai N, Jorg W, Franz W. On the use of specification knowledge in program debugging//20th International Workshop on Principles of Diagnosis. Sydney, Australia. Stockholm, Sweden,2009.

[5] Weber J. Wotawa F. Diagnosing dependent failures in the context of consistency-based diagnosis//The 19th International Workshop on Principles of Diagnosis. Sydney, Australia,2008:701-708.

[6] Pencole Y, Cordier M O. A formal framework for the decentralized diagnosis of large scale discrete event systems and its application to telecommunication networks[J]. Artificial Intelligence, 2005, 164(1-2):121-170.

[7] Mayer W. Stumptner M. Modeling context-dependent faults for diagnosis//Proceedings of the 20th International Workshop on Principles of Diagnosis, Stockholm, Sweden, 2009:211-218.

[8] Qiu W B, Kumar R. Decentralized failure diagnosis of discrete event systems[J]. IEEE Transactions on Systems, Man, and Cybernetics. Part A, Systems and Humans, 2006,36(2):175-181.

[9] Kleer J. An improved approach for generating max-fault min-cardinality diagnoses//The 19th International Workshop on Principles of Diagnosis. Sydney, Australia,2008:247-252.

[10] Baroni P, Lamperti G, Pogliano P, et al. Diagnosis of large active systems[J]. Artificial Intelligence, 1999, 110(1):135-183.

[11] Zhao X F, Ouyang D T. A method of combining SE-tree to compute all minimal hitting sets[J]. Progress in Natural Science, 2006, 16 (2): 169-174.

[12] Han B, Lee S J. Deriving minimal conflict sets by CS-tree with mark set in diagnosis from first principles[J]. IEEE Transactions on System, Man and Cybernetics-Part B: Cybernetics, 1999(29):281-286.

[13] Sampath M, Sengupta R, Lafortune S, et al. Diagnosability of discrete-event systems[J]. IEEE Transactions on Automatic Control, 1995, 40(9): 1555-1575.

[14] Sampath M, Sengupta R, Lafortune S, et al. Failure diagnosis using discrete-event models[J]. IEEE Transactions on Control Systems Technology, 1996, 4(2):105-124.

[15] Ribot P, Pencole Y, Combacau M. Design requirements for the diagnosability of distributed discrete event systems//The 19th International Workshop on Principles of Diagnosis. Sydney, Australia,2008.

[16] Grastien A, Cordier M O, Largouet C. First steps towards incremental diagnosis of discrete-event systems//18th Conference of the Canadian Society for Computational Studies of Intelligence. Victoria: Springer,2005:170-181.

[17] Grastein A, Cordier M O, Largouet C. Automata slicing for diagnosing discrete-event systems with partially ordered observations//Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence. Milan, Italy: Springer,2005:282-285.

[18] Grastien A, Cordier M, Largouet C. Incremental diagnosis of discrete-event systems//International Joint Conference on Artificial Intelligence. Edinburgh: Professional Book Center, 2005:1564-1570.

[19] Xavier P, Mayer W, Markus S. Diagnosability analysis without fault models//20th International Workshop on Principles of Diagnosis. Stockholm, Sweden, 2009:67-74.

[20] Jiang S, Kumar R, Garcia H E. Optimal sensor selection for discrete event systems with partial observation//IEEE Transactions on Automatic Control, 2003, 48(3): 369-381.

[21] Flesch I, Lucas P, Weide V D T. Probabilistic properties of model-based diagnostic reasoning in Bayesian networks//19th Belgium-Netherlands Artificial Intelligence Conference. Netherlands: Kluwer Academic Publishers, 2007:119-126.

[22] Flesch I, Lucas P J F. Combining abduction with conflict-based diagnosis//18th European Conference on Artificial Intelligence. Patras Greece: IOS Press, 2008: 807-808.

[23] Flesch I, Lucas P, Weide T. Conflict-based diagnosis: adding uncertainty to model-based diagnosis//20th International Joint Conference on Artificial Intelligence. Hyderabad, India: Professional Book Center, 2007:380-385.

[24] Grastien A, Cordier M, Largout C. Incremental diagnosis of discrete-event systems//International Joint Conference on Artificial Intelligence. Edinburgh: Professional Book Center, 2005:1564-1571.

[25] Pencole Y. Diagnosability analysis of distributed discrete event systems//16th Eureopean Conference on Artificial Intelligence. Valencia, Spain: IOS Press, 2004: 43-51.
[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