Sequence planning for integrated product, process and automation design

IEEE Transactions on Automation Science and Engineering

Volumn 7, Issue 4, 2010, Pages 791-802

  Lennartson, Bengt ^a   Bengtsson, Kristofer ^b   Yuan, Chengyin ^c   Andersson, Kristin ^a   Fabian, Martin ^a   Falkman, Petter ^a   Åkesson, Knut ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b Research and Development   (Sweden)

^c GENERAL MOTORS CORPORATION   (United States)

Author keywords

Concurrent engineering; control; discrete event systems; flexibility; modeling; sequence of operations

Indexed keywords

AUTOMATION DESIGN; CAR MANUFACTURING; DISCRETE EVENT SYSTEMS; ENGINEERING DISCIPLINES; FLEXIBILITY; GRAPHICAL LANGUAGES; INFORMATION FLOWS; INTEGRATED FRAMEWORKS; INTEGRATED PRODUCTS; MODELING; MODELING FRAMEWORKS; MULTIPLE VIEWS; PRECEDENCE RELATIONS; PROCESS OPERATION; PRODUCT PROPERTY; SEQUENCE OF OPERATIONS; SEQUENCE PLANNING;

AUTOMOBILE MANUFACTURE; CONCURRENCY CONTROL; CONCURRENT ENGINEERING; FLEXIBLE MANUFACTURING SYSTEMS;

PRODUCT DESIGN;

EID: 77957766559     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2010.2051664     Document Type: Article

References (33)

1. T. A. Abdullah, K. Popplewell, and C. J. Page, "A review of the support tools for the process of assembly method selection and assembly planning", Int. J. Prod. Res., vol. 41, no. 11, pp. 2391-2410, 2003.
2. K. Andersson, J. Richardsson, B. Lennartson, and M. Fabian, "Coordination of operations by relation extraction for manufacturing cell controllers", IEEE Trans. Control Syst. Technol., vol. 18, no. 2, pp. 414-429, Mar. 2010.
3. K. Bengtsson, B. Lennartson, and C. Yuan, "The origin of operations: Interactions between the product and the manufacturing automation control system. In", in Proc. IFAC Symp. Inf. Control Prob. Manuf., 2009, vol. 13, pt. 1.
4. A. Bourjault, "Contributionà une approche méthodologique de l'assemblage automatisé: Élaboration automatique des séquences opératoires", in Thèse d'État Université de Franche Comté, Besançon, 1984.
5. 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, 2003.
6. L. Chao, "Automated generation of PLC program in PLCopen XML format", Signals and Systems, Chalmers, Göteborg, Sweden, Tech. Rep. EX037/2009, 2009..
7. A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri, "NUSMV: A new symbolic model checker", Software Tools for Technology Transfer, vol. 2, no. 4, pp. 410-425, 2000.
8. H. Flordal, R. Malik, M. Fabian, and K. Åkesson, "Compositional synthesis of maximally permissive supervisors using supervision equivalence", Discrete Event Dynamic Syst., pp. 475-504, 2007.
9. G. Frey and L. Litz, "Formal methods in PLC programming", in Proc. IEEE SMC 2000, Nashville, TN, Oct. 2000, vol. 4, pp. 2431-2436.
10. D. Harel, "Statecharts: A visual formalism for complex systems", Science of Computer Programming, vol. 8, pp. 231-274, 1987.
11. C. A. R. Hoare, Communicating sequential processes, ser. Computer Science. Englewood Cliffs, NJ: Prentice-Hall, 1985.
12. "Grafcet specification language for sequential function charts", International Electrotechnical Commission, IEC 60848 Ed. 2.0 b:2002, 2002.
13. "Programmable controllers-Part 3: Programming languages", International Electrotechnical Commission, IEC 61131-3:2003, 2003.
14. "Batch control part 1: Models and terminology", International Electrotechnical Commission, ", IEC 61512-1, 1997.
15. H. Kerzner, Project Management: A Systems Approach to Planning, Scheduling, and Controlling. New York: Wiley, 2006.
16. B. Lennartson, K. Bengtsson, C. Yuan, K. Andersson, M. Fabian, P. Falkman, and K. Åkesson, "Sequence planning for integrated product, process and automation design", Dept. Signals and Systems, Chalmers Univ. Technol., Göteborg, Sweden, Tech. Rep. R018/2009, 2009.
17. B. Lennartson, M. Tittus, and M. Fabian, "Modeling, specification and controller synthesis for discrete event systems", in Proc. IEEE Int. Conf. Syst., Man, Cybern., San Diego, USA, Oct. 1998, pp. 698-703.
18. R. Levin and C. Kirkpatrick, Planning and Control with PERT/CRM. New York: McGraw-Hill, 1966.
19. A. Mannani, Y. Yang, and P. Gohari, "Distributed extended finite-state machines: Communication and control", in Proc. 8th Workshop on Discrete Event Systems, Ann Arbor, MI, Jul. 2006, pp. 161-167.
20. S. Miremadi, K. Åkesson, and B. Lennartson, "Extraction and representation of a supervisor using guards in extended finite automata", in Proc. 9th Int. Workshop on Discrete Event Systems, WODES'08, Gothenburg, Sweden, May 2008, pp. 193-199.
21. S. Miremadi, K. Åkesson, and B. Lennartson, "Symbolic computation of reduced guards in supervisory control", IEEE Trans. Autom. Sci. Eng., 2010, submitted for publication.
22. E. Ohlson and C. Torstensson, "Development, implementation and testing of sequence planner-A concept for modeling of automation systems", Dept. Signals and Systems, Chalmers Univ. Technol., Göteborg, Sweden, Tech. Rep. EX/2009, 2009.
23. PLCopen [Online]. Available: http://www.plcopen.org
24. J.-F. Pétin, D. Gouyon, and G. Morel, "Supervisory synthesis for product-driven automation and its application to a flexible assembly cell", Control Engineering Practice, vol. 15, no. 5, pp. 595-614, 2007.
25. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems", Proc. IEEE, vol. 77, pp. 81-98, Jan. 1989.
26. M. Rausch and B. H. Krogh, "Formal verification of PLC programs", in Proc. 1998 Amer. Control Conf., Philadelphia, PA, Jun. 1998, pp. 234-238.
27. O. Salomons, F. J. van Houten, and H. J. Kals, "Review of research in feature-based design", J. Manuf. Syst., vol. 26, pp. 113-132, 1993.
28. M. Reza Shoaei, B. Lennartson, and S. Miremadi, "Automatic generation of controllers for collision-free flexible manufacturing systems", in Proc. 6th IEEE Conf. Autom. Sci. Eng., Toronto, ON, Canada, Aug. 2010.
29. M. Sköldstam, K. Åkesson, and M. Fabian, "Modelling of discrete event systems using finite automata with variables", in Proc. 46th IEEE Conf. Decision and Control, New Orleans, LA, Dec. 2007, pp. 3387-3392.
30. Supremica [Online]. Available: http://www.supremica.org
31. A. Vahidi, M. Fabian, and B. Lennartson, "Efficient supervisory synthesis of large systems", Control Engineering Practice, vol. 14, no. 10, pp. 1157-1167, Oct. 2006.
32. A. Voronov and K. Åkesson, "Verification of process operations using model checking", in Proc. 2009 IEEE Conf. Autom. Sci. Eng., Bangalore, India, Aug. 2009, pp. 415-426.
33. M. C. Zhou and F. Di Cesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer Academic, 1993.