Synthesis of control implementation for discrete manufacturing systems

International Journal of Production Research

Volumn 39, Issue 2, 2001, Pages 329-345

  Zaytoon, J ^a   Carre Menetrier V ^a  

^a UNIVERSITÉ DE REIMS CHAMPAGNE ARDENNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; DRILLING; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SCADA SYSTEMS;

DISCRETE MANUFACTURING SYSTEMS; GRAFCET SPECIFICATIONS; SUPERVISORY CONTROL THEORY;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0035916070     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540010002388     Document Type: Article

References (25)

1. Arinez, J. F., Benhabib, B., Smith, K. C. and Brandin, B. A., 1993, Design of a PLC-based supervisory-control system for a manufacturing workcell. Proceedings of the Canadian High Technology Show and Conference, Toronto.
2. Balemi, S., Hoffmann, G. J., Gyugyi, P., Wong-Toi, H. and Frankln, G. F., 1993, Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38, 1040-10459.
3. Brandin, B. A., Wonham, W. H. and Benhabib, B., 1991, Discrete event system supervisory control applied to the management of manufacturing workcells. In V. C. Venkatesh and J. A. Mgeough (eds), Computer-Aided Production Engineering (Amsterdam: Elsevier), pp. 5270-536.
4. Carré-Ménétrier, V., Ndjab, C., Gellot, F. and Zaytoon, J., 1999, A CASE tool for the synthesis of optimal control implementation of Grafcet. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Tokyo, pp. I.796-801.
5. Charbonnier, F., Alla, H. and David, R., 1999, The supervised control of discrete-event dynamic systems. IEEE Transactions on Control Systems Technology, 7, 175-187.
6. David, R. and Alla, H., 1992, Petri Nets and Grafcet: Tools for Modelling of Discrete-Event Systems (Englewood Cliffs: Prentice-Hall).
7. Frachet, J. P. and Colombari, G., 1993, Elements for a semantics of the time in Grafcet and dynamic systems using non-standard analysis. Automatic Control Production Systems APII, 27, 107-125.
8. Giua, A., 1996, Petri net techniques for supervisory control of discrete event systems. Proceedings of the First International Workshop on Manufacturing and Petri Nets, Osaka.
9. Harel, D., 1987, Statecharts, a visual formalism for complex systems. Journal of Science of Computer Programming, 8, 231-274.
10. Holloway, L. E. and Krogh, B. H., 1990, Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control, 35, 514-523.
11. International Electrotechnical Commission, 1991, Preparation of Function Charts for Control Systems, revised version IEC 848.
12. Jafari, M. A. and Boucher, T. O., 1994, A rule-based system for generating a ladder logic control program from a high-level system model. Journal of Intelligent Manufacturing, 5, 103-120.
13. Kouthon, T., Decotignie, J. D. and Koppenhoeffer, S., 1996, On distribution of Grafcet software. Proceedings of the IMACS/IEEE Symposium on Discrete Events and Manufacturing Systems CESA'96, Lille, pp. 498-506.
14. Kumar, R., 1991, Supervisory synthesis techniques for discrete event dynamical systems. PhD thess, University of Texas.
15. Lauzon, S. C., Ma, A. K., Mills, J. K. and Benhabib, B., 1997, An implementation methodology for the supervisory control of flexible manufacturing workcells. Journal of Manufacturing Systems, 16, 91-101.
16. Lhoste, P., Faure, J. M., Lesage, J. J. and Zaytoon, J., 1997, Comportement temporel du Grafcet. European Journal of Automation JESA, 31, 695-711.
17. Li, Y. and Wonham, W. M., 1993, Control of vector discrete-event systems I-the base model. IEEE Transactions On Automatic Control, 38 (8), 1214-1227.
18. Ramadge, P. J. and Wonham, W. M., 1989, The control of discrete-event systems. Proceedings of the IEEE 77, 81-97.
19. Roussel, J. M., 1994, Analyse de Grafcets par génération logique de l'automate équivalent. PhD thesis, Ecole Normale Supérieure de Cachan, France.
20. Union Technique D'Electricité, 1993, Function Chart GRAFCET: Extension of Basic Principles. UTE C03-191, June.
21. Yamalidou, K., Moody, J. O., Lemmon, M. D. and Antsaklis, P. J., 1996, Feedback control of Petri Nets based on place invariants. Automatica, 32.
22. Zaytoon, J. and Carré-Ménétrier, V., 1999, Grafcet et graphes d'état: comportement, raffinement, vérification et validation. European Journal of Automation JESA, 33, 751-782.
23. Zaytoon, J., Ndjab, C. and Carré-Ménétrier, V., 1999, Grafcet et graphes d'état: synthèse hors ligne de la commande. European Journal of Automation JESA, 33, 783-814.
24. Zhou, M. and Dicesare, F., 1993, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (Boston: Kluwer).
25. Zhou, M. and Twiss, E., 1998, Design of industrial automated systems via relay ladder logic programming and Petri nets. IEEE Transactions on Systems Man and Cybernetics-Part C, 28, 137-150.