吉林大学学报(工学版) ›› 2015, Vol. 45 ›› Issue (5): 1541-1549.doi: 10.13229/j.cnki.jdxbgxb201505024

Previous Articles     Next Articles

Strategy in judging diagnosability of distributed discrete event systems

WANG Xiao-yu1, 2, OUYANG Dan-tong1, 2, CHI Jin-jin1, 2, HAN Zheng-fu3   

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

RICH HTML

0   

PDF (PC)

226

Abstract: A synchronizing strategy of solving the diagnosability in distributed systems is proposed, which is used to reduce the costs of computation and communication. Under the condition of assurance diagnosability, the synchronization operation is decreased and the method is simplified. The trajectories, which are irrelevant with the diagnosability, are deleted, thus, the complexity synchronization operation is reduced due to the absence of these trajectories. The diagnosability of the distributed systems is discussed quantitatively; the synchronization operation and the cost of the synchronization are used as parameters to analyze how the structure of distributed system affects the diagnosability.

Key words: artificial intelligence, diagnosability, distributed discrete event system, synchronization

CLC Number: 

  • TP301.1
[1] Walter Hamscher, Luca Console, Johan de Kleer eds. Readings in model-based diagnosis[C]∥San Mateo, CA, USA: Morgan Kaufmann Publishers,1992.
[2] Luca Console, Oskar Dressler. Model-based diagnosis in the real world: lessons learned and challenges remaining[C]∥L C Aiello eds. Proceeding of 16th International Joint Conference of Artificial Intellitgence, Stockholm, Sweden: Morgan-Kaufmann Publishers, 1999:1393-1400.
[3] Peter Struss. Knowledge-based diagnosis: an important challenge and touchstone for AI[C]∥B Neumann eds. Proceeding of 10th European Conference on Artificial Intelligence, Chichester, UK: John Wiley and Sons, 1992:863-874.
[4] Raymond Reiter. A theory of diagnosis from first principles[J]. Artificial Intelligence, 1987,32(1):57-95.
[5] Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, et al. Diagnosis of large active systems[J].Artificial Intelligence, 1999, 110(1): 135-183.
[6] Meera Sampath, Raja Sengupta, Stephane Lafortune, et al. Diagnosability of discrete-event systems[J]. IEEE Transactions on Automatic Control, 1995, 40(9): 1555-1575.
[7] Meera Sampath, Raja Sengupta, Stephane Lafortune, et al. Failure diagnosis using discrete-event models[J]. IEEE Transactions on Control Systems Technology, 1996, 4(2):105-124.
[8] Jiang Sheng-bing, Huang Zhong-dong, 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.
[9] Yannick Pencolé, Marie Odile Cordier. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks[J]. Artificial Intelligence, 2005, 164 (1): 121-170.
[10] Roni Stern, Meir Kalech, Niv Gafni, et al.Using model-based diagnosis to improve software testing[C]∥University of Birmingham. 23rd International Workshop on Principles of Diagnosis(DX-2012), Great Malvern, UK: Neal Snooke, 2012:99-106.
[11] Gregory Provan. Distributed diagnosability properties of discrete event systems[C]∥Ratna Bhushan Gopaluni eds. American Control Conference. Anchorage, USA: IEEE, 2002:134-139.
[12] Yannick Pencolé, Marie Odile Cordier.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): 121-170.
[13] Thorsley David, Demosthenis Teneketzis. Diagnosability of stochastic discrete-event systems[J]. IEEE Transactions on Automatic Control, 2005, 50(4):476-492.
[14] Liu Fu-chun, David Thorsley, Demosthenis Teneketzis. Diagnosability of fuzzy discrete event systems[J]. Information Science,2008, 178(3): 858-870.
[15] Zhao Xiang-fu, Ouyang Dan-tong, Zhang Li-ming, et al. Reasoning on partially-ordered observations in online diagnosis of dess[J]. AI Communications, 2012, 25(4): 285-294.
[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] WU Kai-jun, WANG Chun-li, SHAN Ya-zhou, DU San-shan, LU Huai-wei. Chemical synapse coupling synchronization of Hindmarsh-Rose neurons under Gauss white noise [J]. 吉林大学学报(工学版), 2017, 47(5): 1554-1560.
[12] QU Hui-yan, ZHAO Wei, QIN Ai-hong. A fast collision detection algorithm based on optimization operator [J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[13] LI Jia-fei, SUN Xiao-yu. Clustering method for uncertain data based on spectral decomposition [J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[14] 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.
[15] WANG Sheng-sheng, WANG Chuang-feng, GU Fang-ming. Spatio-temporal reasoning for OPRA direction relation network [J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
[1] LIU Song-shan, WANG Qing-nian, WANG Wei-hua, LIN Xin. Influence of inertial mass on damping and amplitude-frequency characteristic of regenerative suspension[J]. 吉林大学学报(工学版), 2013, 43(03): 557 -563 .
[2] CHU Liang, WANG Yan-bo, QI Fu-wei, ZHANG Yong-sheng. Control method of inlet valves for brake pressure fine regulation[J]. 吉林大学学报(工学版), 2013, 43(03): 564 -570 .
[3] LI Jing, WANG Zi-han, YU Chun-xian, HAN Zuo-yue, SUN Bo-hua. Design of control system to follow vehicle state with HIL test beach[J]. 吉林大学学报(工学版), 2013, 43(03): 577 -583 .
[4] HU Xing-jun, LI Teng-fei, WANG Jing-yu, YANG Bo, GUO Peng, LIAO Lei. Numerical simulation of the influence of rear-end panels on the wake flow field of a heavy-duty truck[J]. 吉林大学学报(工学版), 2013, 43(03): 595 -601 .
[5] WANG Tong-jian, CHEN Jin-shi, ZHAO Feng, ZHAO Qing-bo, LIU Xin-hui, YUAN Hua-shan. Mechanical-hydraulic co-simulation and experiment of full hydraulic steering systems[J]. 吉林大学学报(工学版), 2013, 43(03): 607 -612 .
[6] ZHANG Chun-qin, JIANG Gui-yan, WU Zheng-yan. Factors influencing motor vehicle travel departure time choice behavior[J]. 吉林大学学报(工学版), 2013, 43(03): 626 -632 .
[7] MA Wan-jing, XIE Han-zhou. Integrated control of main-signal and pre-signal on approach of intersection with double stop line[J]. 吉林大学学报(工学版), 2013, 43(03): 633 -639 .
[8] YU De-xin, TONG Qian, YANG Zhao-sheng, GAO Peng. Forecast model of emergency traffic evacuation time under major disaster[J]. 吉林大学学报(工学版), 2013, 43(03): 654 -658 .
[9] XIAO Yun, LEI Jun-qing, ZHANG Kun, LI Zhong-san. Fatigue stiffness degradation of prestressed concrete beam under multilevel amplitude cycle loading[J]. 吉林大学学报(工学版), 2013, 43(03): 665 -670 .
[10] XIAO Rui, DENG Zong-cai, LAN Ming-zhang, SHEN Chen-liang. Experiment research on proportions of reactive powder concrete without silica fume[J]. 吉林大学学报(工学版), 2013, 43(03): 671 -676 .
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