Automated fault diagnosis using a discrete event systems framework, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control, pp.213-218, 1994. ,
DOI : 10.1109/ISIC.1994.367815
Introduction to Discrete Event Systems, 2008. ,
Formal verification of diagnosability via symbolic model checking, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp.363-369, 2003. ,
PREDICTABILITY IN DISCRETE-EVENT SYSTEMS UNDER PARTIAL OBSERVATION 1, Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2006. ,
DOI : 10.3182/20060829-4-CN-2909.00243
A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001. ,
DOI : 10.1109/9.940942
A probabilistic analysis of diagnosability in discrete event systems, Proceedings of the 18th European Conference on Artificial Intelligent, pp.224-228, 2008. ,
Diagnosability analysis of distributed discrete event systems, Proceedings of the 16th European Conference on Articifial Intelligent, pp.43-47, 2004. ,
Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
DOI : 10.1109/9.412626
A scalable jointree algorithm for diagnosability, Proceedings of the 23rd American National Conference on Artificial Intelligence, pp.535-540, 2008. ,
Discrete-event based diagnostic supervisory control system, Proceedings of the AIChE Annual Meeting, 1991. ,
Fault detection and diagnosis of automated manufacturing systems, Proceedings of the 27th IEEE Conference on Decision and Control, pp.2301-2306, 1988. ,
DOI : 10.1109/CDC.1988.194747