Computer Science ›› 2015, Vol. 42 ›› Issue (10): 222-225.
Previous Articles Next Articles
CHAI Rui-ya, ZHU Yi-an, LU Wei and SHI Jia-long
[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 |
No related articles found! |
|