Modular supervisory control of an experimental automated manufacturing system

Control Engineering Practice

Volumn 12, Issue 2, 2004, Pages 205-216

  Nourelfath, M ^a   Niel, E ^b  

^a UNIVERSITÉ DU QUÉBEC EN ABITIBI TÉMISCAMINGUE   (Canada)

^b UNIVERSITÉ DE LYON   (France)

Author keywords

Automata; Control synthesis; Grafcet; Logic controllers; Manufacturing; Modular supervisory control

Indexed keywords

AUTOMATA THEORY; CLOSED LOOP CONTROL SYSTEMS; CONTROL SYSTEM ANALYSIS;

MODULAR SUPERVISORY CONTROL;

COMPUTER AIDED MANUFACTURING;

CONTROL SYSTEM; MANUFACTURING SYSTEM; SUPERVISORY CONTROL AND DATA ACQUISITION;

EID: 0346640279     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0967-0661(03)00056-X     Document Type: Article

References (35)

1. Arzén, K. E. (1994). Grafcet for intelligent supervisory control applications. Automatica, 30(10), 1513-1525.
2. Balemi, S., Hoffman, G. J., Gyugyi, P., Wong-Toi, H., & Franklin, G. F. (1993). Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38(7), 1040-1058.
3. Brandin, BA., Chen, T., Derventzis, C., & Pang, G. (1990). The control and supervision of groups of lifts using blackboard architecture approach. Transactions of the Institute of Measurement and Control, 12(5), 271-279.
4. Brandin, B. A. (1996). The real-time supervisory control of an experimental manufacturing cell. IEEE Transactions on Robotics and Automation, 12(1), 1-14.
5. Boimond, J. L., & Ferrier, J. L. (1996). Internal model control and max-algebra: Controller design. IEEE Transactions on Automatic Control, 41(3), 457-461.
6. Cassandras, C.G., & Lafortune, S. (1999). Introduction to discrete event systems (p. 848). Dordrecht: Kluwer Academic Publishers.
7. Chandra, V., & Kumar, R. (2001). A discrete event systems modeling formalism based on event occurrence rules and precedences. IEEE Transactions on Robotics and Automation, 17(6), 785-794.
8. Charbonnier, F., Alla, H., & David, R. (1999). The supervised control of discrete event dynamic systems. IEEE Transactions on Control Systems Technology, 7(2), 175-187.
9. Cohen, G., Dubois, D., Quadrat, J. P., & Viot, M. (1985). A linear system theoretic view of discrete-event processes and its use for performance evaluation in manufacturing. IEEE Transactions on Automatic Control, 30, 210-220.
10. David, R. (1995). Grafcet: A powerful tool for specification of logic controllers. IEEE Transactions on Control Systems Technology, 3(3), 253-268.
11. Fabian, M. (1995). On object oriented non-deterministic supervisory control. Technical Report No. 282, Ph. D. thesis, Control Eng. Lab, Chalmers.
12. Golaszewski, C. H., & Ramadge, P. J. (1987). Control of discrete-event processes with forced events. Proceedings of the 28th Conference on Decision and Control (pp. 247-251). Los Angeles.
13. Giua, A., & Dicesare, F. (1994). Petri net structural analysis for supervisory control. IEEE Transactions on Robotics and Automation, 10(2), 185-195.
14. Hayes-Roth, B. (1985). A blackboard architecture for control. Artificial Intelligence, 26(3), 251-321.
15. Ho, Y. C. (1979). Parameter sensivity of a statistical experiment. IEEE Transactions on Automatic Control, 24, 982-983.
16. Hoare, C. A. R. (1985). Communicating sequential processes. Englewood Cliffs, NJ: Prentice-Hall.
17. Hopcroft, J. E., & Ullman, J. D. (1979). Introduction to automata theory, languages and computation. Menlo Park: Addison-Wesley.
18. IEC (2002). International Electrotechnic Commission. Grafcet specification language for sequential function Charts. Publication 60848.
19. Kim, S., Park, J., & Leachman, R. C. (2001). A supervisory control approach for execution control of an FMC. The International Journal of Flexible Manufacturing Systems. 13, 5-31.
20. Krogh, B. H., Magott, J., & Holloway, L. E. (1991). On the complexity of forbidden state problems for controlled marked graphs. Proceedings of the 30th IEEE Conference on Decision and Control (pp. 85-91). Brighton, England.
21. Lauzon, S. C., Ma, A. K. L., Mills. J. K., & Benhabib, B. (1996). Application of discrete event system theory to flexible manufacturing. IEEE Control Systems, 16(l), 41-48.
22. Leduc, R. J., & Wonham, W. M. (1995). PLC implementation of a DES supervisor for manufacturing testbed. Proceedings of the 33rd Annual Allerton Conference on Communication, Control and Computing (pp. 519-528). Monticello, IL.
23. Nourelfath, M., Charbonnier, F., Niel, E., & Alla, H. (1996). Operational safety and supervised control of the manufacturing system of the AIP. Proceedings of the Rensseelaer's Fifth International Conference on Computer Integrated Manufacturing and Automation Technology (CIMAT) (pp. 71-77). Grenoble, France.
24. Nourelfath, M. (1997). Extension de la théorie de la supervision à la commande et à la surveillance des systèmes à événements discrets: application à la sécurité opérationnelle des systèmes de production. Ph. D. thesis (145pp.). INSA de Lyon, France (in French).
25. Ramadge, J. G., & Wonham, W. M. (1987). Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25(1), 206-230.
26. Ramadge, J. G., & Wonham, W. M. (1989). The control of discrete-event systems. IEEE Transactions on Automatic Control, 77(1), 81-98.
27. Ramirez, A., Sriskandarajah, C., & Benhabib, B. (1999). Control of flexible-manufacturing workcells using extended Moore automata. IEEE International Conference on Robotics and Automation (pp. 120-125). Detroit, MI.
28. Ricker, S. L., Sarkar, N., & Rudie, K. (1996). A discrete event systems approach to modeling dextrous manipulation. Robotica, 14, 515-525.
29. Wonham, W. M., & Ramadge. J. G. (1987). On the supermal controllable sublanguage of a given language. SIAM Journal of Control and Optimization, 25(3), 637-659.
30. Wonham, W. M., & Ramadge, J. G. (1988). Modular supervisory control of discrete event systems. Math Control Signals and Systems, 1(1), 13-30.
31. Wonham, W. M. (1999). TCT software and notes on control of discrete-events systems. Department of Electrical and Computer Engineering. University of Toronto, Canada.
32. Zaytoon, J., Ndjab, C., & Roussel, J. M. (1997). On the supremal controllable Grafcet of a given Grafcet. Proceedings of the Second IMACS Symposium on Mathematical Modelling (pp. 371-376). Vienne, Autriche.
33. Zaytoon, J., & Carré-Ménétrier, V. (2001). Synthesis of control implementation for discrete manufacturing systems, International Journal of Production Research, 39(2), 329-345.
34. Zaytoon, J. (2002). On the recent advances in grafcet. Production Planning and Control, 13(1), 86-100.
35. Zhong, H., & Wonham, W. M. (1990). On consistency of hierarchical supervision of discrete-event systems. IEEE Transactions on Automatic Control, 35(10), 1125-1134.