Supervisory synthesis for product-driven automation and its application to a flexible assembly cell

Control Engineering Practice

Volumn 15, Issue 5, 2007, Pages 595-614

  Pétin, Jean François ^a   Gouyon, David ^a   Morel, Gérard ^a  

^a CENTRE DE RECHERCHE EN AUTOMATIQUE DE NANCY   (France)

Author keywords

Control system synthesis; Flexible automation; Manufacturing plant control; Reconfiguration; Supervisory control

Indexed keywords

AUTOMATION; CELLULAR MANUFACTURING; DECISION MAKING; SCADA SYSTEMS;

FLEXIBLE AUTOMATION; MAKE-TO-ORDER BUSINESS MODEL; MANUFACTURING PLANT CONTROL;

CONTROL SYSTEM SYNTHESIS;

AUTOMATION; CELLULAR MANUFACTURING; CONTROL SYSTEM SYNTHESIS; DECISION MAKING; SCADA SYSTEMS;

EID: 33846318587     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.conengprac.2006.10.013     Document Type: Article

References (47)

1. Achour Z., Rezg N., and Xie X. Supervisory control of marked graphs with partial observations. International Journal of Production Research 42 14 (2004) 2827-2838
2. Balemi S., Hoffmann G.J., Gyugyi P., Wong-Toi H., and Franklin G.F. Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control 38 (1993) 7
3. Basile F., Carbone C., and Chiacchio P. Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab. Control Engineering Practice 15 2 (2006) 241-259
4. Berruet P., Toguyeni A.K.A., Elkattabi S., and Craye E. Toward an implementation of recovery procedures for flexible manufacturing systems supervision. Computers in Industry 43 3 (2000) 227-236
5. Brennan R.W., Zhang X., Xu Y., and Norrie D.H. A reconfigurable concurrent function block model and its implementation in real-time java. Journal of Integrated Computer-Aided Engineering 9 (2002) 263-279
6. Cassandras C.G., and Lafortune S. Introduction to discrete event systems (1999), Kluwer Academic, Dordrecht. 0-7923-8609-4
7. Chafik, S., & Niel, E. (2000). Hierarchical-decentralized solutions of supervisory control. In Proceedings of the third international symposium on mathematical modelling. Vienna, Austria.
8. Da Silveira G., Borenstein D., and Fogliatto F.S. Mass customization: Literature review and research directions. International Journal of Production Economics 72 (2001) 1-13
9. De Queiroz, M. H., & Cury, J. E. R. (2002). Synthesis and implementation of local modular supervisory control for a manufacturing cell. In Proceedings of the sixth international Workshop on discrete event systems (pp. 377-382). Zaragoza, Spain.
10. Dijkstra E.W. A note on two problems in connexion with graph. Numerische Matematik 1 (1959) 269-271
11. Endsley E.W., Almeida E.E., and Tilbury D.M. Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation. Control Engineering Practice 14 (2006) 1127-1142
12. Fabian, M., & Hellgren, A. (1998). PLC-based implementation of supervisory control for discrete event systems. In Proceedings of the 37th IEEE conference on decision and control. Tampa, Florida.
13. Fusaoka, A., Seki, H., & Takahashi, K. (1983). A description and reasoning of plant controllers in temporal logic. In Proceedings of the eighth international joint conference on artificial intelligence (pp. 405-408). Karlsruhe, Germany.
14. Gohari, P., & Wonham, W. M. (1998). Hierarchical supervisory control of discrete-event systems. In Proceedings of the fourth IFAC workshop on discrete event systems. Cagliari, Italy.
15. Gouyon D., Pétin J.-F., and Gouin A. Pragmatic approach for modular control synthesis and implementation. International Journal of Production Research 42 14 (2004) 2839-2858
16. Henry, S., Zamai, E., & Jacomino, M. (2004). Real time reconfiguration of manufacturing systems. In Proceedings of the IEEE conference on systems, man and cybernetics. The Hague, Netherlands.
17. Iung B., Neunreuther E., and Morel G. Engineering process of integrated-distributed shop floor architecture based on interoperable field components. International Journal of Computer Integrated Manufacturing 14 3 (2001) 246-262
18. Jiang S., and Kumar R. Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Transactions on Systems, Man and Cybernetics, Part B 30 5 (2000) 653-660
19. Koren, Y. (2005). Reconfigurable manufacturing and beyond. In Proceedings of the CIRP third international conference on reconfigurable manufacturing. Ann Arbor, MI, USA.
20. Kumar R., Garg V., and Marcus S.L. On controllability and normality of discrete event dynamical systems. Systems & Control Letters 17 (1991) 157-168
21. Lauzon S.C., Mills J.K., and Benhabib B. An implementation methodology for the supervisory control of flexible manufacturing workcells. SME Journal of Manufacturing Systems 16 1 (1997)
22. Leduc, R. J. (2002). Hierarchical interface-based supervisory control. Doctoral Thesis, Department of Electrical & Computer Engineering, University of Toronto.
23. Lennartson, B., Tittus, M., Fabian, M., & Hellgren, A. (1998). Specification structures for supervisory control. In Proceedings of the fourth IFAC workshop on discrete event systems. Cagliari, Italy.
24. Marchand H., Boivineau O., and Lafortune S. On the synthesis of optimal schedulers in discrete event control problems with multiple goals. SIAM Journal on Control and Optimization 39 2 (2000) 512-532
25. Marchand H., Bournai P., Le Borgne M., and Le Guernic P. Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic Systems: Theory and Applications 10 (2000) 325-346
26. Marikar, M.T., Rotsein, G.E., & Macchietto, S. (1998). An integrated environment for the design of procedural controllers. In Proceedings of the ninth IFAC/INCOM symposium. Nancy, France.
27. McFarlane, D., Sarma, S., Chirn, J.L., & Ashton, K. (2002). The intelligent product in manufacturing control and management. In Proceedings of the 15th triennal IFAC world congress. Barcelone, Spain.
28. Morel G., Panetto H., Zaremba M., and Mayer F. Manufacturing enterprise control and management system engineering: Rationales and open issues. IFAC Annual reviews in Control (2003)
29. Muhl E., Charpentier P., and Chaxel F. Optimization of physical flows in an automotive manufacturing plant: Some experiment and issues. Engineering Application of Artificial Intelligence 16 (2003) 293-305
30. Newman W.S., Podgursji A., Quinn R.D., Merat F.L., Branicky M.S., Barendt N.A., et al. Deign lessons for building agile manufacturing systems. IEEE Transactions on Robotics and Automation 16 3 (2000) 228-238
31. Nourelfath M., and Niel E. Modular supervisory control of an experimental automated manufacturing system. IFAC Control Engineering Practice 12 (2004) 205-216
32. Ollero A., Morel G., Bernus P., Nof S.Y., Sasiadek J., Boverie S., et al. From MEMS to Enterprise systems. IFAC Annual Reviews in Control 26 2 (2002) 151-162
33. Qiu R., Wysk R., and Xu Q. Extended structured adaptive supervisory control of shop-floor controls for an e-manufacturing system. International Journal of Production Research 41 8 (2003) 1605-1620
34. Ramadge P.J., and Wonham W.M. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization 25 1 (1987)
35. Roussel J.M., Faure J.M., Lesage J.J., and Medina A. An algebraic approach for dependable logic control systems design. International Journal of Production Research 42 14 (2004)
36. Staroswiecki M., and Bayart M. Models and languages for the interoperability of smart instruments. Automatica 32 6 (1996) 859-873
37. Toguyeni A.K.A., Craye E., and Sekhri L. Study of the diagnosability of automated production systems based on functional graphs. Mathematics and Computers in Simulation 70 5-6 (2006) 377-393
38. Tsubone H., and Horikawa M. A comparison between machine flexibility and routing flexibility. The International Journal of Flexible Manufacturing Systems 11 (1999) 83-101
39. Vahidi A., Fabian M., and Lennartson B. Efficient supervisory synthesis of large systems. Control Engineering Practice 14 10 (2006) 1157-1167
40. Valckenaers, P. (Ed.) (2001). Holonic manufacturing systems [Special issue]. Computer in Industry, 46 (3), 233-331.
41. Vogrig R., Baracos P., Lhoste P., Morel G., and Salzemann B. Flexible manufacturing shop. Manufacturing Systems 16 3 (1987)
42. Vyatkin V.V., Chistensen J.H., and Martinez Lastra J.L. OOONEIDA: An open, object-oriented knowledge economy for intelligent distributed automation. IEEE Transactions on Industrial Informatics 1 1 (2005)
43. Wonham W.M., and Ramadge P.J. On the supremal controllable sublanguage of a given language. SIAM Journal of Control and Optimization 25 3 (1987)
44. Wright P.K., and Bourne D.A. Manufacturing intelligence (1988), Addison-Wesley, Reading, MA. 0-201-13576-0
45. Yoo T.-S., and Lafortune S. A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications 12 (2002)
46. Zaytoon J., and Carre-menetrier V. Synthesis of a correct control implementation for manufacturing systems. International Journal of Production Research 39 (2001) 329-345
47. Zamaï E., Chaillet-Subias A., and Combacau M. An architecture for control and monitoring of discrete events systems. Computers in Industry 36 1-2 (1998) 95-100