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.
[2]
Cassez F. The complexity of codiagnosability for discrete event and timed systems[J]. IEEE Transactions on Automatic Control, 2012, 57(7): 1752-1764.
[3]
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.
[4]
Hayden S, Sweet A,Christa S. Livingstone model-based diagnosis of earth observing one[C]∥Proceedings of AIAA 1st Intelligent Systems Conference,2004.
[5]
Sampath M, Sengupta R, Lafortune S, et al. Diagnosability of discrete-event systems[J]. IEEE Transactions on Automatic Control, 1995, 40(9): 1555-1575.
[6]
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.
[7]
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.
[8]
Grastien A. Symbolic testing of diagnosability[C]∥International Workshop on Principles of Diagnosis, 2009.
[9]
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.
[10]
Ye L, Dague P. Diagnosability analysis of discrete event systems with autonomous components[C]∥ECAI, 2010:105-110.
[11]
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.
[12]
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.
[13]
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.
[14]
Provan G. Distributed diagnosability properties of discrete event systems[C]∥Proceedings of the American Control Conference, 2002: 134-139.
[15]
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.
