Study of the diagnosability of automated production systems based on functional graphs

Mathematics and Computers in Simulation

Volumn 70, Issue 5-6, 2006, Pages 377-393

  Toguyéni, Abdoul K A ^a   Craye, Etienne ^a   Sekhri, Larbi ^b  

^a ECOLE CENTRALE DE LILLE   (France)

^b UNIVERSITY OF ORAN   (Algeria)

Author keywords

Diagnosability; Functional graph; Monitoring; Relation; Supervision

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; GRAPH THEORY;

AUTOMATED PRODUCTION SYSTEMS; FUNCTIONAL GRAPHS; SUPERVISION;

PRODUCTION ENGINEERING;

EID: 32144451564     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.matcom.2005.11.007     Document Type: Conference Paper

References (31)

1. P. Berruet, A.K.A. Toguyeni, S. Elkhattabi, and E. Craye Toward an implementation of recovery procedures for flexible manufacturing systems supervision Computers in Industry, vol. 43 2000 Elsevier Science pp. 227-236
2. J.P. Bourey, E. Castelain, J.C. Gentina, and M. Kapusta CASPAIM: a computer aided design of the control system of FMS IMACS Ann. Comput. Appl. Math. (Paris) 1989 131 135
3. E. Craye, A.K.A. Toguyeni, J.C. Gentina, A Framework to Design a Distributed Diagnosis in FMS, vol. IV, IEEE/SMC'1996, Beijing, China, 14-17 October 1996, pp. 2774-2779.
4. N. Dangoumau, A.K.A. Toguyeni, M. Dupas, E. Craye, Reconfiguration Process for Automated Production Systems, MCPL'2000, Grenoble, July 2000.
5. A. Darwiche, Model-based diagnosis using causal networks, In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 1995, pp. 211-217.
6. A. Darwiche A logical notion of conditional independence: properties and applications Artif. Intell. 1-2 1997 45 82
7. A. Darwiche Model-based diagnosis using structured system description J. Artif. Intell. Res. 8 1998 165 222
8. J. de Kleer An assumption-based TMS Artif. Intell. 28 1986 127 162
9. J. de Kleer, and B.C. Williams Diagnosing multiple faults Artif. Intell. 1 32 1987 97 130
10. J. de Kleer, A.K. Mackworth, and R. Reiter Characterizing diagnoses and systems Artif. Intell. 2-3 56 1992 197 222
11. O. Dressler, and A. Farquar Putting the problem solver back in the driver's seat: contextual control of the ATMS Second AAAI Workshop on Model-Based Reasoning 1990 106 112
12. S. Elkhattabi, A.K.A. Toguyeni, and E. Craye Functional and/or structural approach for the supervision of flexible manufacturing systems, CESA'1996, IMACS Symposium on Discrete Event and Manufacturing Systems Lille 1996 716 721
13. Etablissement des Diagrammes Fonctionnels pour les Systèmes de Commande/Preparation of function charts for Control Systems, Norme Internationale/International Standard, CEI/IEC 848, 1988, 99 pp.
14. K.D. Forbus, and J. de Kleer Focusing the ATMS Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI) 1988 193 198
15. K.D. Forbus, and J. de Kleer Building Problem Solvers 1993 MIT Press
16. M. Ghazel, A.K.A Toguyeni, M. Bigand, An UML-based approach to obtain the functional graph of existing automated production systems, CESA'2003, No. S2-I-06-0287, Lille, France, July 2003.
17. F. Ly, A.K.A. Toguyeni, and E. Craye Indirect predictive monitoring in flexible manufacturing systems Robotics and Computer Integrated Manufacturing 2000 Elsevier Science pp. 321-338
18. A. Mili A relational approach to the design of deterministic programs Acta Inf. 20 December 1983 135 328
19. A. Mili, X.-Y. Wang, and Q. Yu Specification methodology: an integrated relational approach Software Pract. Experience 16 November (11) 1986 1003 1030
20. Norme Francaise (NF), Diagramme fonctionnel "GRAFCET" pour la description des systèmes logiques de commande, Norme Française NF C03-190, UTE, Juin 1982, 30 pp.
21. G. Provan A formal analysis of cost functions for ATMS focusing Proceedings of the Fourth International Symposium on AI and Mathematics Ft. Lauderdale, FL, January 3-5 1996
22. R. Reiter A theorie of diagnosis from first principles Artif. Intell. 32 1987 57 95
23. R. Reiter, J. de Kleer, Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report, In: Proceedings of AAAI, 1987, pp. 183-188.
24. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis Diagnosability of discrete-event systems IEEE Trans. Autom. Cont. 40 9 1995 1555 1575
25. L. Sekhri, A.K.A. Toguyéni, E. Craye, A relational based approach for analysing functional graphs of automated production systems, IEEE/SMC'2002, Hammamet, Tunisia, October 6-9, 2002.
26. L. Sekhri, A.K.A. Toguyéni, E. Craye, A formal framework for analysing surveilability in functional graphs, CESA'2003 Multiconference, Computational Engineering in Systems Applications, Symposium on Applied Mathematics, Operational Research and Optimization, Lille, France, July 9-11, 2003.
27. P. Suppes Axiomatic Set Theory 1972 Dover Publications New York
28. M. Staroswiecki, J.P. Cassar, P. Declerck, A Structural Framework for the Design of FDI in Large Scale Industrial Plants, Issues of Fault Diagnosis for Dynamic Systems, Editions Springer-Verlag, 2000, pp. 245-283.
29. A.K.A. Toguyéni, E. Craye, and J.C. Gentina An approach for the placement of sensors for on-line diagnostic purposes 12th IFAC World Congress, vol. 8 Sydney, Australia 1993 83 88
30. A.K.A. Toguyéni, and E. Craye Alarm processing and faults recovery based on functional modeling World Automation Congress (WAC'2000) Mauii, HI, June 11-16 2000
31. A.K.A. Toguyéni, P. Berruet, and E. Craye Models and algorithms for failure diagnosis and recovery in FMSs Int. J. Flex. Manuf. Syst. 15 2003 57 85