Fault detection and isolation in manufacturing systems with an identified discrete event model

International Journal of Systems Science

Volumn 43, Issue 10, 2012, Pages 1826-1841

  Roth, Matthias ^a,b   Schneider, Stefan ^a   Lesage, Jean Jacques ^b   Litz, Lothar ^a  

^a University of Koblenz Landau   (Germany)

^b Ecole Normale Superieure de Cachan   (France)

Author keywords

diagnosis of discrete event systems; identification of discrete event systems

Indexed keywords

CLOSED-LOOP; DETECTION CAPABILITY; DISCRETE EVENT MODELS; FAULT DETECTION AND ISOLATION; FAULT ISOLATION; FAULT SYMPTOMS; GENERIC METHOD; IDENTIFICATION ALGORITHMS; NEW RESULTS; NONDETERMINISTIC AUTOMATA; PROBABILISTIC MEASURES; SET OPERATION;

ALGORITHMS; DISCRETE EVENT SIMULATION; MANUFACTURE;

FAULT DETECTION;

EID: 84865212204     PISSN: 00207721     EISSN: 14645319     Source Type: Journal    
DOI: 10.1080/00207721.2011.649369     Document Type: Article

References (20)

1. Cassandras, C.G., and Lafortune, S. (2006), Introduction to Discrete Event Systems, New York: Springer-Verlag.
2. Danancher, M., Roth, M., Lesage, J.-J., and Litz, L. (2011), 'A Comparative Study of Three Model-based FDI Approaches for Discrete Event Systems', in 3rd International Workshop on Dependable Control of Discrete Systems (DCDS'11), Saarbuecken, Germany, pp. 29-34.
3. Dotoli, M., Fanti, M.P., Mangini, A.M., and Ukovich, W. (2009), 'On-line Fault Detection in Discrete Event Systems by Petri Nets and Integer Linear Programming', Automatica, 45, 2665-2672.
4. Estrada-Vargas, A.-P., Lopez-Mellado, E., and Lesage, J.-J. (2010), 'A Comparative Analysis of Recent Identification Approaches for Discrete-event Systems', Mathematical Problems in Engineering, 2010, 1-21.
5. Fanti, M.P., and Seatzu, C. (2008), 'Fault Diagnosis and Identification of Discrete Event Systems Using Petri Nets', in Proceedings of the 9th International Workshop on Discrete Event Systems, WODES 08, Gö teborg, Sweden, pp. 432-435.
6. Hashtrudi Zad, S., Kwong, R.H., and Wonham, W.M. (2005), 'Fault Diagnosis in Discrete-event Systems: Incorporating Timing Information', IEEE Transactions on Automatic Control, 50, 1010-1015. (Pubitemid 41078402)
7. Isermann, R., and Balle, P. (1997), 'Trends in the Application of Model-based Fault Detection and Diagnosis of Technical Processes', Control Engineering Practice, 5, 709-719. (Pubitemid 27414363)
8. Izadi, I., Shah, S.L., Shook, D.S., and Chen, T. (2009), 'An Introduction to Alarm Analysis and Design', in Proceedings of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Spain, pp. 645-650.
9. Klein, S. (2005), 'Identification of Discrete Event Systems for Fault Detection Purposes', PhD thesis, Shaker Verlag.
10. Klein, S., Litz, L., and Lesage, J.-J. (2005), 'Fault Detection of Discrete Event Systems Using an Identification Approach', in Proceedings of the 16th IFAC World Congress, Paper Mo-E17-TO4, Prag.
11. Meda-Campana, M.-E. (2002), 'On-line Identification of Discrete Event Systems: Fundamentals and Algorithms for the Synthesis of Petri Net Model', PhD Thesis, Centro De Investigacion y De Estudios Avanzados Del Instituto Polit'ecnico Nacional, Unidad Guadalajara, Mexico.
12. Moor, T., Raisch, J., and Young, S. (1998), 'Supervisory Control of Hybrid Systems via l-complete Approximations', in Proceedings of the IEE Fourth Workshop on Discrete Event Systems WODES 98, Cagliari, Italy, pp. 426-431.
13. Pandalai, D., and Holloway, L. (2000), 'Template Languages for Fault Monitoring of Timed Discrete Event Processes', IEEE Transactions on Automatic Control, 45, 868-882.
14. Reiter, R. (1987), 'A Theory of Diagnosis from First Principles', Artificial Intelligence, 32, 57-95.
15. Roth, M. (2010), 'Identification and Fault Diagnosis in Industrial Closed-loop Systems', PhD thesis, Logos Verlag.
16. Roth, M., Lesage, J.-J., and Litz, L. (2009), 'A Residual Inspired Approach for Fault Localization in DES', in Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Event Systems (DCDS'09), Bari, Italy, pp. 347-352.
17. Roth, M., Lesage, J.-J., and Litz, L. (2010), 'Identification of Discrete Event Systems-Implementation Issues and Model Completeness', in Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Funchal, Portugal.
18. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1996), 'Failure Diagnosis Using Discrete-event Models', IEEE Transactions on Control Systems Technology, 4, 105-124. (Pubitemid 126782836)
19. Sayed-Mouchaweh,M.,Philippot, A.,andCarre-Menetrier,V. (2008)'Decentralised Diagnosis Based on Boolean Discrete Event Models: Application on Manufacturing Systems', International Journal of Production Research, 46, 5469-5490.
20. Schneider, S., Litz, L., and Danancher, M. (2011), 'Timed Residuals for Fault Detection and Isolation in Discrete Event Systems', in 3rd International Workshop on Dependable Control of Discrete Systems (DCDS'11), Saarbuecken, Germany, pp. 35-40.