Theory of supervisory control: An example of application of a decentralized approach to a manufacturing production system;Théorie du contrôle par supervision: Un exemple d'application d'une approche décentralisée sur un système de production manufacturière

Journal Europeen des Systemes Automatises

Volumn 38, Issue 3-4, 2004, Pages

  Piétrac, Laurent ^a   Chafik, Samir ^a   Niel, Eric ^a  

^a UNIVERSITÉ DE LYON   (France)

Author keywords

Decentralised concept; Modelling; Plc programming; Properties; Supervisory control theory

Indexed keywords

EID: 72649103229     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (28)

1. Altisen K., Gössler G., Sifakis J., "Scheduler modeling based on the Controller synthesis Paradigm", Real-Time Systems, vol. 23, 2002, p. 55-84.
2. 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, no 7, 1993, p. 1040-1059.
3. Brandin B. A., Wonham W. M., "Supervisory control of timed discrete-event systems", IEEE Transactions on Automatic Control, vol. 39, no 2, février 1994, p. 329-342.
4. Cassandras C. G., Lafortune S., Intoduction to Discrete Event Systems, Kluwer Academic Publishers, 1999, 822 p.
5. rd Mathmod, Vienne, Autriche, vol. 2, 2000, p. 787-790.
6. Chafik S., Niel E., «Du contrôle par Supervision Hierarchique et Distribuée», MSR2001: modélisation des systèmes réactifs, Toulouse, France, 17-19 octobre 2001, p. 55-70.
7. Charbonnier F., Commande supervisée des systèmes à événements discrets, Thèse de doctorat, Institut National Polytechnique de Grenoble, 1996.
8. th international workshop on discrete event systems (WODES'02), Zaragoza, Espagne, 2-4 octobre 2002, p. 377-382.
9. Dietrich P., Malik R., Wonham W. M., Brandin B. A., "Implementation considerations in supervisory control", proceedings of SCODES'01, Paris, France, juillet 2001, p. 27-38.
10. th international workshop on discrete event systems, WODES'02, Zaragoza, Espagne, 2-4 octobre 2002, p. 371-376.
11. Khatab A., Contrôle et contrôle stabilisant des systèmes à événements discrets: application au recouvrement des défaillances, Thèse de doctorat, INSA de Lyon, 2000.
12. Kumar R., Supervisory synthesis technics for discrete event dynamics systems, Thèse de doctorat, Université du Texas, 1991, 198 p.
13. Kumar R., Garg V. K. Et Marcus S. I., "Predicates and predicate transformers for supervisory control of discrete event dynamical systems", IEEE transactions on Automatic Control, vol. 38, no 2, 1993, p. 232-247.
14. Leduc R. J., PLC implementation of a DES supervisory for a manufacturing testbed: an implementation perspective, Ma. Sc. Thesis, Dept. of Elec. & Comp. Engrg., Univ. of Toronto, 1996.
15. Lhoste P., Faure J.-M., Lesage J.-J., Zaytoon J., «Comportement temporel du grafcet», Journal Européen des Systèmes Automatisés, vol. 31, no 4, 1997, p. 685-711.
16. Lin F., Wonham W. M., "Decentralized Supervisory Control of Discrete-Event Systems", Inform. Sci., vol. 44, no 3, 1988, p. 199-244.
17. Lin F., Wonham W. M., "Decentralized Control and Coordination of Discrete-Event Systems with Partial Observation", IEEE Transactions on Automatic Control, vol. 35, no 12, 1990, p. 1330-1337.
18. th international workshop on discrete event systems, WODES'02, Zaragoza, Espagne, 2-4 octobre 2002, p. 383-389.
19. st IEEE Conference on Decision and Control, Las Vegas, Nevada, USA, décembre 2002, p. 1199-1204.
20. Mohanty S. R., Chandra V., Kumar R., "A framework for optimal control of discrete event systems", IEEE Transactions on Robotics and Automation, soumis en 2002, 24 p. (http://clue.eng.iastate.edu/~rkumar/jour. html#optimal)
21. Piétrac L., Chafik S., Regimbal L., «Application de la théorie de la supervision: un exemple de conception de programmes d'API», Conférence Internationale Francophone d'Automatique, CIFA '2002, Nantes, France, 8-10 juillet 2002, 6 p.
22. Ramadge P. J., Wonham W. M., "Supervisory control of a class of discrete event processes", SIAM journal on Control and Optimization, vol. 25, no 1, 1987, p. 206-230.
23. Ramadge P. J., Wonham W. M., "The control of discrete event systems", IEEE Transactions on Automatic Control, vol. 77, no 1, 1988, p. 81-98.
24. Regimbal L., Application de la théorie de contrôle par supervision: proposition d'une approche d'implantation dé centralisée, Mémoire d'ingénieur CNAM, 2002.
25. Sengupta R., Lafortune S., "A graph-theortic optimal control problem for terminating discrete event processes", Discrete Event Dynamic System: Theory and Applications, vol. 2, no 2, 1992, p. 139-172.
26. Wonham W. M., Notes on control of discrete-event systems, notes de cours, Depertment of Electrical and Computer Engineering, University of Toronto, http://www.control.toronto.edu/people/profs/wonham/wonham.html, juillet 2002.
27. Zaytoon J., Carré-Ménétier V., «Grafeet et graphe d'états: comportement, raffinement, vérification et validation», Journal europeen des systèmes automatisés, vol. 33, no 7, 1999, p. 751-782.
28. Zong H., Wonham W. M., "On the consistency of hierarchical supervision in discrete-event systems", IEEE Transactions on Automatic Control, vol. 35, no 10, octobre 1990, p. 1124-1134.