Supervision patterns in discrete event systems diagnosis

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 262-268

  Jéron, Thierry ^a   Marchand, Hervé ^a   Pinchinat, Sophie ^a   Cordier, Marie Odile ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FAILURE ANALYSIS; INTEGRATED CONTROL; PROBLEM SOLVING; SYSTEMS ANALYSIS; VERIFICATION;

FAULT SEQUENCES; INTERMITTENT FAULTS; SUPERVISION PATTERNS;

DISCRETE EVENT SIMULATION;

EID: 34250723460     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2006.1678440     Document Type: Conference Paper

References (14)

1. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella. Diagnosis of active systems. In Proceedings of the European Conference on Artificial Intelligence (ECAI), pages 274-278, 1998.
2. O. Contant, S. Lafortune, and D. Teneketzis. Diagnosis of intermittent faults. Discrete Event Dynamic Systems: Theory and Applications, 14(2):171-202, 2004.
3. R. Debouk, S. Lafortune, and D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Event Dynamic System : Theory and Applications, 10(1/2):33-86, January 2000.
4. E. Fabre, A. Benveniste, C. Jard, L. Ricker, and M. Smith. Distributed state reconstruction for discrete event systems. In IEEE Control and Decision Conference (CDC), Sydney, 2000.
5. S. Jiang, Z. Huang, V. Chandra, and R. Kumar. A polynomial time algorithm for diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 46(8):1318-1321, 2001.
6. S. Jiang and R. Kumar. Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. IEEE Transactions on Automatic Control, 49(6):934-945, 2004.
7. S. Jiang, R. Kumar, and H.E. Garcia. Diagnosis of repeated/intermittent failures in discrete event systems. IEEE Transactions on Robotics and Automation, 19(2):310-323, April 2003.
8. F. Laroussinie and Ph. Schnoebelen. A hierarchy of temporal logics with past. Theoretical Computer Science, 148(2):303-324, September 1995.
9. R. Milner. A modal characterisation of observable machine-behaviour. In CAAP, pages 25-34, 1981.
10. Y. Pencolé and M-O. Cordier. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence Journal, 164(1-2):121-170, 2005.
11. L. Rozé and M.-O. Cordier. Diagnosing discrete-event systems : an experiment in telecommunication networks. In 4th International Workshop on Discrete Event Systems, pages 130-137, 1998.
12. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9):1555-1575, 1995.
13. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology, 4(2):105-124, March 1996.
14. T. Yoo and S. Lafortune. Polynomial-time verification of diagnosability of partially-observed discrete-event systems. IEEE Trans. on Automatic Control, 47(9): 1491-1495, September 2002.