Control by supervision of discrete event systems based on the use of the Grafcet and the theory of regions;Commande par supervision des systèmes à évé nements discrets basée sur l'utilisation du Grafcet et la théorie des régions

Journal Europeen des Systemes Automatises

Volumn 38, Issue 1-2, 2004, Pages 37-58

  Achour, Zied ^a   Rezg, Nidhal ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Automata; Discrete event systems; Grafcet; Supervisory control

Indexed keywords

AUTOMOTIVE ENGINEERING; CONTROL ENGINEERING; ELECTRICAL ENGINEERING;

AUTOMATA; CONTROL PROCESS; CONTROL SYNTHESIS; CONTROL VARIABLE; GRAFCET; SUPERVISORY CONTROL; THEORY OF REGIONS;

DISCRETE EVENT SIMULATION;

EID: 79955455156     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: 10.3166/jesa.38.37-58     Document Type: Article

References (17)

1. Arinez J. F., Benhabib B., Smith K. C., Brandin B. A., "Design of a PLC-based supervisorycontrol system for a manufacturing workcell", Proceedings of the Canadian High Technology Show and Conference, Toronto, 1993.
2. Babouel E., Bernardinello L., Darondeau P., "Polynomial algorithms for the synthesis of bounded nets", CAAP'95, Sringer Verlag LNCS 915, p. 364-378, 1995.
3. Balemi S., Hoffmann G. J., Gyugyi P., Wong-Toi H., Franklin G.F., "Supervisory control of a rapid thermal multiprocessor", IEEE Transactions on Automatic Control, vol. 38, 1993, p. 1040-1059. (Pubitemid 23712137)
4. Brandlin B. A., Wonham W. M., Benhabib B., "Discrete event system supervisory control applied to the management of manufacturing workcells", Computer-Aided Production Engineering, Amsterdam, Elsevier, 1991, p. 527-536.
5. Charbonnier F, Alla H., David R., "The Supervised Control of Discrete Event Dynamic Systems", IEEE Transactions on Control Systems Technology, vol. 7, n° 2, March 1999.
6. Ghaffari A., Rezg N., Xie X., "Design of Live and Maximally Permissive Petri Net Controller Using the Theory of Regions", IEEE Transactions on Robotics and Automation, vol. 19, 2003, p. 137-142.
7. Giua A., DiCesare F., SILVA M., "Petri net supervisors for generalized mutual exclusion constraints", 12th IFAC World Congress, Sidney, Australia, 1993, p. 267-270.
8. Holloway L., Krogh B., "Synthesis of feedback control logic for a class of controlled Petri nets", IEEE Trans. Automatic Control, vol. 35, n° 5, 1990, p. 514-523. (Pubitemid 20713301)
9. Ishikawa A., Hiraishi K., "Analysis and control of discrete event systems represented by Petri nets", in Discrete Event Systems : Models and Applications, vol. 103 of Lecture Notes in Control and Information Sciences, Springer, Verlag, 1987, p. 115-134.
10. Krogh B. H., "Controlled Petri nets and maximally permissive feedback logic", 25th Annual Allerton Conference, University of Illinois, Urbana, 1987, p. 317-326.
11. Li Y., Wonham W. M., "Control of vector discrete event systems I - the base model", IEEE Trans. On Automatic Control, vol. 38, n° 8, 1993, p. 1214-12217.
12. Li Y., Wonham W. M., "Control of vector discrete event systems II - Controller synthesis", IEEE Trans. On Automatic Control, vol. 39, n° 3, 1994, p. 512-531.
13. Ndjab Hagbebell C., Synthèse de la commande des systèmes à événements discrets par GRAFCE, Thèse de Doctorat de l'Université de Reims Champagne Ardenne, 16 septembre 1999.
14. Ramadge P.J., Wonham W.M., "Supervisory Control of a class discrete event processes", SIAM Journal on Control and Optimization, vol. 25, n° 1, 1987, p. 206-230. (Pubitemid 17513624)
15. Rezg N., Xie X., Ghaffari A., "Supervisory Control in Discrete Event Eystems Using the Theory of Regions", Discrete Event Systems Analysis and Control, 2000, p. 391-398.
16. Roussel J. M., Analyse de Grafcets par génération logique de l'automate équivalent, Thèse de Doctorat de l'ENS de Cachan, 16 décembre 1994.
17. Zaytoon J., Carré-Ménétrier V., "Synthesis of control implementation for discrete manufacturing systems", International Journal of Production Research, vol. 39, n° 2, p. 329-345, 2001. (Pubitemid 35165682)