Coordination of operations by relation extraction for manufacturing cell controllers

IEEE Transactions on Control Systems Technology

Volumn 18, Issue 2, 2010, Pages 414-429

  Andersson, Kristin ^a   Richardsson, Johan ^b   Lennartson, Bengt ^a   Fabian, Martin ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b VOLVO CAR CORPORATION   (Sweden)

Author keywords

Discrete event systems; Flexible manufacturing systems; Maintenance; Programmable logic control (PLC); Sequence of operations

Indexed keywords

CONTROL FUNCTIONS; DEVELOPMENT PROCESS; DISCRETE EVENT SYSTEMS; EXECUTION PROCESS; FLEXIBLE MANUFACTURING CELL; INDUSTRIAL SETTINGS; MACHINE OPERATORS; MAINTENANCE PERSONNEL; MANUFACTURING CELLS; OPERATION SEQUENCES; OPTIMALITY; PROGRAM STRUCTURES; PROGRAMMABLE LOGIC CONTROL; RELATION EXTRACTION; SAFETY REQUIREMENTS; STATE-SPACE EXPLOSION;

AUTOMATA THEORY; CELLULAR MANUFACTURING; COORDINATION REACTIONS; MACHINE TOOLS; MAINTENANCE; MATHEMATICAL OPERATORS; SUPERVISORY PERSONNEL; SYNTHESIS (CHEMICAL); TRANSLATION (LANGUAGES);

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 77649193562     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCST.2009.2015591     Document Type: Article

References (62)

1. G. Frey and L. Litz, "Formal methods in PLC programming," in Proc. IEEE SMC, Nashville, Oct. 2000, vol. 4, pp. 2431-2436.
2. M. Rausch and B. H. Krogh, "Formal verification of PLC programs," in Proc. Amer. Control Conf., Philadelphia, PA, Jun. 1998, pp. 234-238.
3. O. de Smet and O. Rossi, "Verification of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking," in Proc. Amer. Control Conf., Anchorage, CA, May 2002, pp. 4147-4152.
4. V. Chandra, Z. Huang, and R. Kumar, "Automated control synthesis for an assembly line using discrete event system control theory," IEEE Trans. Syst., Man, Cybern., vol. 33, no. 2, pp. 284-289, May 2003.
5. S. C. Lauzon, A. K. L. Ma, J. K. Mills, and B. Benhabib, "Application of discrete-event-system theory to flexible manufacturing," IEEE Control Syst. Mag., vol. 16, no. 1, pp. 41-48, Feb. 1996.
6. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
7. E. W. Endsley, E. E. Almeida, and D. M. Tilbury, "Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation," Control Eng. Practice, vol. 14, no. 10, pp. 1127-1142, 2006.
8. A. Vahidi, M. Fabian, and B. Lennartson, "Efficient supervisory synthesis of large systems," Control Eng. Practice, vol. 14, no. 10, pp. 1157-1167, 2006.
9. H. Flordal, R. Malik, M. Fabian, and K. Åkesson, "Compositional synthesis of maximally permissive supervisors using supervision equivalence," Discrete Event Dyn. Syst., Theory Appl., vol. 17, no. 4, pp. 475-504, 2007.
10. O. Ljungkrantz, K. Åkesson, J. Richardsson, and K. Andersson, "Implementing a control system framework for automatic generation of manufacturing cell controllers," presented at the IEEE Int. Conf. Robot. Autom., Rome, Italy, Apr. 2007.
11. Vinnova (Swedish Governmental Agency for Innovation Systems), "MERA-Programmet Projektkatalog 2007," ISSN: 1650-3120, 2007, pp. 121-123.
12. K. Danielsson, J. Richardsson, B. Lennartson, and M. Fabian, "Automatic scheduling and verification of the control function of flexible assembly cells in an information reuse environment," in Proc. IEEE Int. Symp. Assembly Task Plann., Montreal, QC, Canada, Jul. 2005, pp. 80-85.
13. K. Andersson, J. Richardsson, B. Lennartson, and M. Fabian, "Hierarchical control applying supervisor synthesis and relation extraction," presented at the Int. Congr. ANIPLA 2006-Methodologies for Emerg. Technol. Autom., Rome, Italy, Nov. 2006.
14. K. Andersson, J. Richardsson, B. Lennartson, and M. Fabian, "Synthesis of hierarchical and distributed control functions for multi-product manufacturing cells," presented at the IEEE Conf. Autom. Sci. Eng., Shanghai, China, Oct. 2006.
15. J. Rocha and C. Ramos, "Plan representation and generation for manufacturing tasks," in Proc. IEEE Int. Symp. Assembly Task Plann., Aug. 1995, pp. 22-27.
16. K. P. Valavanis and G. N. Saridis, "Information-theoretic modeling of intelligent robotic systems," IEEE Trans. Syst., Man, Cybern., vol. 18, no. 6, pp. 852-872, Nov./Dec. 1988.
17. P.-T. Chang and C.-H. Chang, "An integrated artificial intelligent computer-aided process planning system," Int. J. Computer Integr. Manuf., vol. 13, no. 6, pp. 483-497, 2000.
18. J. Sun, Y. F. Zhang, and A. Y. C. Nee, "A distributed multi-agent environment for product design and manufacturing planning," Int. J. Prod. Res., vol. 39, no. 4, pp. 625-645, 2001.
19. J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2nd ed. Reading, MA: Addison-Wesley, 2003, Addison-Wesley Series in Computer Science.
20. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Engle-wood Cliffs, NJ: Prentice-Hall, 1981.
21. D. Harel, A. Pnueli, J. Schmidt, and R. Sherman, "On the formal semantics of statecharts," in Proc. Symp. Logic Comput. Sci., Ithaca, NY, Jun. 1987, pp. 55-64.
22. L. Pinzon, H.-M. Hanish, M. Jafari, and T. Boucher, "A comparative study of synthesis methods for discrete event controllers," Form. Methods Syst. Des., vol. 15, no. 2, pp. 123-167, 1999.
23. A. Hellgren, M. Fabian, and B. Lennartson, "On the execution of discrete event systems as sequential function charts," presented at the IEEE Conf. Control Appl., Mexico City, Mexico, Sep. 2001.
24. H. Kerzner, Project Management: A Systems Approach to Planning, Scheduling, and Controlling, 8th ed. New York: Wiley, 2003.
25. R. I. Levin, Planning and Control With PERT/CPM. New York: McGraw-Hill, 1966.
26. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Autom. Control, vol. 35, no. 5, pp. 514-523, May 1990.
27. M. Uzam, "Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions," Int. J. Adv. Manuf. Technol., vol. 24, no. 1-2, pp. 48-69, 2004.
28. D. Cruette, J. P. Bourey, and J. C. Gentina, "Hierarchical specification and validation of operating sequences in the context of FMSs," Comput.-Integr. Manuf. Syst., vol. 4, no. 3, pp. 140-156, 1991.
29. I. Chaieb and O. Korbaa, "Intra-cell machine layout associated with flexible production and transport systems," Proc. Inst. Mech. Eng. B, J. Eng. Manuf., vol. 217, no. B7, pp. 883-897, 2003.
30. A. Giua and F. DiCesare, "Petri net structural analysis for supervisory control," IEEE Trans. Autom. Control, vol. 10, no. 2, pp. 185-195, Apr. 1994.
31. Y. Li and W. M. Wonham, "Control of vector discrete-event systerns i - The base model," IEEE Trans. Autom. Control, vol. 38, no. 8, pp. 1214-1227, Aug. 1993.
32. Y. Li and W. M. Wonham, "Control of vector discrete-event systerns ii - Controller synthesis," IEEE Trans. Autom. Control, vol. 39, no. 3, pp. 512-531, Mar. 1994.
33. J. O. Moody, K. Yamalidou, M. D. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," in Proc. IEEE Conf. Dec. Control., Lake Buena Vista, FL, Dec. 1994, pp. 3104-3109.
34. G. Stremersch, Supervision of Petri Nets. Norwell, MA: Kluwer, 2001.
35. B. H. Krogh, J. Magott, and L. E. Holloway, "On the complexity of forbidden state problems for controlled marked graphs," in Proc. IEEE Conf. Dec. Control, Pittsburgh, PA, Jan. 1992, pp. 85-91.
36. A. E. C. da Cunha, J. E. R. Cury, and B. H. Krogh, "An assume-guarantee reasoning for hierarchical coordination of discrete event systems," in Proc. 6th Int. Workshop Discrete Event Syst., Oct. 2002, pp. 75-80.
37. K. C. Wong and W. M. Wonham, "Hierarchical control of discrete-event systems," Discrete Event Dyn. Syst., Theory Appl., vol. 6, no. 3, pp. 241-273, 1996.
38. R. J. Leduc, B. A. Brandin, M. Lawford, and W. M. Wonham, "Hierarchical interface-based supervisory control-Part I: Serial case," IEEE Trans. Autom. Control, vol. 50, no. 9, pp. 1322-1335, Sep. 2005.
39. M. H. d. Queiroz and J. E. R. Cury, "Synthesis and implementation of local modular supervisory control for a manufacturing cell," in Proc. 6th Int. Workshop Discrete Event Syst., Zaragoza, Spain, Oct. 2002, pp. 377-382.
40. L. Ferrarini and L. Piroddi, "Modular design and implementation of a logic control system for a batch process," Comput. Chem. Eng., vol. 27, no. 7, pp. 983-996, 2003.
41. H. Flordal and R. Malik, "Modular nonblocking verification using conflict equivalence," in Proc. Eight Int. Workshop Discrete Event Syst., Ann Arbor, MI, Jul. 2006, pp. 100-106.
42. M. Heymann, "Concurrency and discrete event control," IEEE Control Syst. Mag., vol. 10, no. 4, pp. 103-112, Jun. 1990.
43. C. A. R. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice-Hall, 1985, International Series in Computer Science.
44. J. Richardsson and M. Fabian, "Modeling the control of a flexible manufacturing cell for automatic verification and control program generation," Int. J. Flexible Manuf. Syst., vol. 18, no. 3, pp. 191-208, 2006.
45. A. von Euler-Chelpin, P. Holmström, and J. Richardsson, "A neutral representation of process and resource information of an assembly cell - Supporting control code development, process planning and resource life cycle management," presented at the 2nd Int. Seminar Digit. Enterprise Technol., Seattle, WA, Sep. 2004.
46. K. Åkesson, "Methods and tools in supervisory control theory: Operator aspects, computation efficiency and applications," Ph.D. dissertation, Dept. Signals Syst., Chalmers Univ. Technol., Göteborg, Sweden, 2002.
47. K. Andersson, "Hierarchical control and restart of flexible manufacturing systems," Licentiate, Dept. Signals Syst., Chalmers Univ. Technol., Göteborg, Sweden, 2006.
48. R. W. Lewis, Programming Industrial Control Systems Using IEC 1131-3, Revised ed. London, U.K.: The Institution of Electrical Engineers, 1998.
49. Siemens, Germany, "Siemens process simulate," 2008. [Online]. Available: http://www.plm.automation.siemens.com/en-us/
50. "ABB RobotStudio," [Online]. Available: http://www.robotstudio. com
51. K. Åkesson, M. Fabian, H. Flordal, and R. Malik, "Supremica - An integrated environment for verification, synthesis, and simulation of discrete event systems," in Proc. 8th Int. Workshop Discrete Event Syst., Ann Arbor, MI, Jul. 2006, pp. 384-387.
52. B. A. Brandin, R. Malik, and P. Dietrich, "Incremental system verification and synthesis of minimally restrictive behaviors," in Proc. Amer. Control Conf., Chicago, IL, Jun. 2000, pp. 4056-4061.
53. K. C. Wong and W. M. Wonham, "Modular control and coordination of discrete-event systems," Discrete Event Dyn. Syst., Theory Appl., vol. 8, no. 3, pp. 247-297, 1998.
54. R. Bryant, "Symbolic manipulation with ordered binary decision diagrams," ACM Comput. Surveys 24, vol. 24, pp. 293-318, 1992.
55. K. Åkesson and M. Sköldstam, "Towards a framework for integrated supervisory and logic control," in Proc. 1st IFAC Workshop Depend. Control Discrete Syst., Paris, France, Jun. 2007, pp. 83-88.
56. E. Calo, "An object-oriented methodology for the design, programming and test of PLC applications, based on UML technique," Dip. Elettron. Info., Politecnico di Milano, Milano, Italy, 2002.
57. M. Losito, "An architecture for flexible manufacturing systems applied to an assembly cell," Dept. Signals Syst., Chalmers Univ. Technol., Göteborg, Sweden, Tech. Rep. R014/1999, 1999.
58. E. Green and A. Jonsson, "Optimal Coordination of a Multi-Robot Cell," Master's, Chalmers Univ. of Technology, Dept. of Signals and Systems, Göteborg, Sweden, 2003.
59. J. P. Tremblay and R. Manohar, Discrete Mathematical Structures with Applications to Computer Science. New York: McGraw-Hill, 1987.
60. B. Reusch, "Generation of prime implicants from subfunctions and a unifying approach to the covering problem," IEEE Trans. Comput., vol. 24, pp. 924-930, 1975.
61. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event systems," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
62. Y. Yang and R. Gohari, "Embedded supervisory control of discrete-event systems," in Proc. IEEE Int. Conf. Autom. Sci. Eng., Edmonton, Canada, Aug. 2005, pp. 410-415.