Models and algorithms for failure diagnosis and recovery in FMSs

International Journal of Flexible Manufacturing Systems

Volumn 15, Issue 1, 2003, Pages 57-85

  Toguyeni, Abdoul Karim Armand ^a   Berruet, Pascal ^b   Craye, Etienne ^a  

^a ECOLE CENTRALE DE LILLE   (France)

^b UNIVERSITÉ DE BRETAGNE SUD   (France)

Author keywords

Diagnosis; Error recovery; Fault detection and isolation; Fault tolerance; Flexible manufacturing system

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER AIDED DESIGN; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; SOFTWARE ENGINEERING;

ERROR RECOVERY; FAILURE DIAGNOSIS; FAULT DETECTION AND ISOLATION; FUNCTIONAL GRAPH; OPERATIONAL ACCESSIBILITY GRAPH;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0037590944     PISSN: 09206299     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1023905023772     Document Type: Article

References (39)

1. Aho, A., Hopcroft, J., and Ullman, J., Data Structures and Algorithms, Addison-Wesley, New York (1989).
2. Amar, S., Craye, E., and Gentina, J.-C., "Une Méthode Hiérarchique de Spécification et de Prototypage des Systèmes de Production Flexibles," Automatique Productique Informatique Industrielle, Vol. 26, Nos. 5/6, pp. 483-514 (1992).
3. Berruet, P., Toguyéni, A. K. A., and Craye, E., "Considering Parts in Progress in a Reconfiguration Procedure for FMS," Modern Applied Mathematics Techniques in Circuits, Systems, and Control, Athens, Greece, pp. 366-372 (July 1999).
4. Berruet, P., Toguyéni, A. K. A., El Khattabi, S., and Craye, E., "A Process Modeling for Supervision in FMS: Operational Accessibility Graph," Proceedings of 7th IFAC Symposium On Computer Aided Control Systems Design, Gand, Belgium, pp. 225-230 (April 1997).
5. Berruet, P., Toguyéni, A. K. A., El Khattabi, S., and Craye, E., "Toward an Implementation of Recovery Procedures for FMS Supervision," Computers in Industry, Vol. 43, pp. 227-236 (July 2000).
6. Brandin, B. A. and Wonham, W. M., "Supervisory Control of Timed Discrete Event Systems," IEEE Transactions on Automatic Control, Vol. 39, No. 2, pp. 329-342 (1994).
7. Chaillet, A. and Courvoisier, M., "An Information System for Control and Monitoring Purposes in FMS," Proceedings of IECON'94, Bologna, Italy (September 1994).
8. Charbonnier, F., Alla, H., and David, R., "The Supervised Control of Discrete Event Dynamic Systems: A New Approach," Proceedings of the 34th Conference on Decision and Control, New Orleans, LA, pp. 913-920 (December 1995).
9. Courvoisier, M., Combacau, M., and de Bonneval, A., "Control and Monitoring of Large Discrete Event Systems," IEEE International Symposium on Industrial Electronics, Budapest, Hungary (June 1993).
10. Dangoumau, N., El Khattabi, S., and Craye, E., "Modes Management for Flexible Manufacturing Systems," Proceedings of the World Automation Congress, Maui, Hawaii (June 2000).
11. Dean, A., "Using Functional Models in Automatic Debugging," IEEE EXPERT, pp. 13-18 (December 1991).
12. Debouk, R., Lafortune, S., and Teneketzis, D., "Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems," Discrete Event Dynamic Systems, Vol. 10, pp. 33-79 (2000).
13. De Kleer, J. and Brown, J. S., "A Mental Model of Physical Mechanisms and Their Acquisition," Cognitive Skills and their Acquisition, J. R. Anderson (ed.), Lawrence Erlbaum Associates, Hillsdale, NJ, pp. 285-309 (1981).
14. Frank, P. M., "Analytical and Qualitative Model-Based Fault Diagnosis - A Survey and Some New Results," European Journal of Control, Vol. 2, pp. 6-28 (1996).
15. Gondran, M. and Minoux, M., Graphes et Algorithmes, Eyrolles, Paris, France (1995).
16. Hopcroft, J. E. and Ullman, J.D., Introduction to Automata Theory: Languages and Computation, Addison-Wesley, New York, NY (March 1979).
17. International Electronic Community, "Liste des Termes de Base, Définitions et Mathématiques Applicables à la Fiabilité," Publication 271 (1974)
18. International Electronic Community "Liste des Termes de Base, Définitions et Mathématiques Applicables à la Fiabilité," Publication 271A (1978)
19. International Electronic Community, "Liste des Termes de Base, Définitions et Mathématique Applicables à la Fiabilité," Publication 271B (1983)
20. International Electronic Community, "Liste des Termes de Base, Définitions et Mathématiques Applicables à la Fiabilité," Publication 271C (1985).
21. Laprie, J. C., "Dependability: From Concepts to Limits," Proceedings of the Symposium on Safety of Computer Control Systems, Poznan, Poland, pp. 157-168 (1993).
22. Lin, F. and Wonham, W. M., "On Observability of Discrete Event Systems," Information Sciences, Vol. 44, No. 2, pp. 173-198 (1988).
23. Lin, F. and Wonham, W. M., "Decentralized Control and Coordination of Discrete Event Systems with Partial Observation," IEEE Transaction on Automatic Control, Vol. 35, No. 12, pp. 1330-1337 (1990).
24. Niel, E., Rezg, N., Nourelfath, M., and Boukhobza, S., "Supervisory Control in the Context of Operational Safety Reactivity," Proceedings of Computational Engineering in Systems Applications, Lille, France, pp. 746-751 (July 1996).
25. Patton, R. J. and Chen, J., "Review of Parity Space Approaches to Fault Diagnosis for Aerospace Systems," Journal of Guidance, Control, Dynamics, Vol. 17, pp. 278-285 (1994).
26. Provan, G. and Chen, Y. L., "Model-Based Fault-Tolerant Control Reconfiguration for General Network Topologies," IEEE Micro, pp. 64-76 (September-October 2001).
27. Ramadge, P. J. and Wonham, W. M., "Supervisory Control of a Class of Discrete Event Processes," SIAM Journal on Control and Optimization, Vol. 25, No. 1, pp. 206-230 (1987).
28. Ranky, P., "Flexible Manufacturing Cells and Systems," Computer Integrated Manufacturing, Guildford, UK (1990).
29. Tarjan, R., "Depth-First Search and Linear Graph Algorithms," SIAM Journal of Computing, Vol. 1, pp. 146-160 (1972).
30. Toguyéni, A. K. A. and Craye, E, "Alarm Processing and Faults Recovery Based on Functional Modeling," Proceedings of World Automation Congress, Maui, Hawaii (June 2000).
31. Toguyéni, A. K. A., Craye, E., and Gentina, J.-C., "An Approach for the Placement of Sensors for On-line Diagnostic Purposes," Proceedings of 12th IFAC World Congress, Sydney, Australia, Vol. 8, pp. 83-88 (July 1993).
32. Toguyéni, A. K. A., Craye, E., and Gentina, J.-C., "Knowledge-Based Supervision of Flexible Manufacturing Systems," Artificial Intelligence in Industrial Decision Making, Control and Automation, Kluwer Academic Publishers, The Netherlands, pp. 631-662 (1995).
33. Toguyéni, A. K. A., Craye, E., and Gentina, J.-C., "A Framework to Design a Distributed Diagnosis in FMSs," Proceedings of IEEE System, Man, and Cybernetic, Beijing, China, Vol. IV, pp. 2774-2779 (October 1996).
34. Toguyéni, A. K. A., Craye, E., and Gentina, J.-C., "Time and Reasoning for On-line Diagnosis of Failures in Flexible Manufacturing Systems," Proceedings of 15th IMACS World Congress on Scientific Computation, Modeling, and Applied Mathematics, Berlin, Germany, Vol. 6, pp. 709-714 (August 1997).
35. Sampath, M., Lafortune, S., and Teneketzis, D., "Active Diagnosis of Discrete Event Systems," IEEE Transaction on Automatic Control, Vol. 43, No. 7 (July 1998).
36. Sampath, M., Lafortune, S., and Teneketzis, D., "Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems," Discrete Event Dynamic Systems, Vol. 10, pp. 33-79 (2000).
37. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D., "Diagnosability of Discrete-Event Systems," IEEE Transaction on Automatic Control, Vol. 40, No. 9, pp. 1555-1575 (September 1995).
38. Wonham, W. M. and Ramadge, P. J., "Modular Supervisory Control of Discrete Event Systems," Mathematics of Control, Signals and Systems, Vol. 1, No. 1, pp. 13-30 (1988).
39. Zhong, H. and Wonham, W. M., "On Consistency of Hierarchical Supervision in Discrete Event Systems," IEEE Transaction on Automatic Control, Vol. 35, No. 10, pp. 1125-1134 (1990).