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.
