Diagnosis of intermittent faults. Discrete Event Dynamic Systems, pp.171-202, 2004. ,
Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, pp.262-268, 2006. ,
DOI : 10.1109/WODES.2006.1678440
A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, issue.8, pp.461318-1321, 2001. ,
Diagnosis of repeated/intermittent failures in discrete event systems, IEEE Transactions on Robotics and Automation, vol.19, issue.2, pp.310-323, 2003. ,
DOI : 10.1109/TRA.2003.809590
Lower bounds for natural proof systems, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.254-266, 1977. ,
DOI : 10.1109/SFCS.1977.16
Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996. ,
DOI : 10.1109/87.486338