Sequence planning using multiple and coordinated sequences of operations

IEEE Transactions on Automation Science and Engineering

Volumn 9, Issue 2, 2012, Pages 308-319

  Bengtsson, Kristofer ^a   Bergagard, Patrik ^b   Thorstensson, Carl ^b   Lennartson, Bengt ^b   Akesson, Knut ^b   Yuan, Chengyin ^c,d   Miremadi, Sajed ^b   Falkman, Petter ^b  

^a Sekvensa AB   (Sweden)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^c GENERAL MOTORS CORPORATION   (United States)

^d Pride Power System Technology Co Ltd   (China)

Author keywords

Automation design; control logic design; formal methods; sequence planning; sequences of operations

Indexed keywords

AUTOMATION DESIGN; CONTROL LOGIC; CONTROL LOGIC DESIGNS; DEVELOPMENT PROCESS; EXECUTION CONSTRAINTS; SEQUENCE PLANNING; SEQUENCES OF OPERATIONS;

FORMAL LANGUAGES; FORMAL METHODS; LOGIC DESIGN;

MANUFACTURE;

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

References (29)

1. S. B. Akers, "Binary decision diagrams," IEEE Trans. Comput., vol. 27, no. 6, pp. 509-516, Jun. 1978.
2. M. Q. W. Baldonado, A.Woodruff, and A. Kuchinsky, "Guidelines for using multiple views in information visualization," in Proc. Working Conf. Advanced Visual Interfaces, AVI '00, 2000, pp. 110-119.
3. K. Bengtsson, B. Lennartson, and C. Yuan, "The origin of operations: Interactions between the product and the manufacturing automation control system," in Proc. IFAC Symp. Inform. Control Problems in Manuf., INCOM'09, 2009. [Online]. Available: http://www.ifac-papersonline. net/Detailed/40587.html
4. K. Bengtsson, B. Lennartson, C. Yuan, P. Falkman, and S. Biller, "Operation-oriented specification for integrated control logic development," in Proc. IEEE Conf. Autom. Sci. Eng., CASE, 2009, pp. 183-190.
5. K. Bengtsson, C. Thorstensson, B. Lennartson, K. Åkesson, C. Yuan, S. MIremadi, and P. Falkman, "Relations identification and visualization for sequence planning and automation design," in Proc. IEEE Conf. Autom. Sci. Engineering, CASE, Toronto, ON, Canada, 2010, pp. 841-848.
6. A. Hofstede, W. Aalst, M. Adams, and N. Russell, Modern Business Process Automation, YAWL and its Support Environment. New York: Springer, 2010.
7. W. Hsu and B. Liu, "Conceptual design: Issues and challenges," Comput.-Aided Design, vol. 32, no. 14, pp. 849-850, 2000.
8. H. Hu and Z. Li, "Modeling and scheduling for manufacturing grid workflows using timed Petri nets," Int. J. Adv. Manuf. Technol., vol. 42, pp. 553-568, 2009.
9. H. Kerzner, Project Management: A Systems Approach to Planning, Scheduling, and Controlling, 9th ed. New York: Wiley, 2006.
10. A. Kobetski and M. Fabian, "Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming," J. Discrete Event Dynamic Syst., vol. 19, no. 3, pp. 287-315, 2009.
11. S. H. Lee, F. Pena-Mora, and M. Park, "Dynamic planning and control methodology for strategic and operational construction project management," Autom. Construction, vol. 15, pp. 84-97, 2005.
12. B. Lennartson, K. Bengtsson, C. Yuan, K. Andersson, M. Fabian, P. Falkman, and K. Åkesson, "Sequence planning for integrated product, process and automation design," IEEE Trans. Autom. Sci. Autom., vol. 7, no. 4, pp. 791-802, Oct. 2010.
13. H. B. Marri, A. Gunasekaran, and R. J. Grieve, "Computer-aided process planning: A state of art," Int. J. Adv. Manuf. Technol., vol. 14, no. 4, pp. 261-268, 1998.
14. H. Miao, N. Sridharan, and J. Shah, "Cad-cam integration using machining features," Int. J. Comput. Integr. Manuf., vol. 15, no. 4, pp. 296-318, 2002.
15. S. Miremadi, K. Åkesson, and B. Lennartson, "Symbolic computation of reduced guards in supervisory control," IEEE Trans. Autom. Sci. Autom., vol. 8, no. 4, pp. 754-765, Oct. 2011. [Online]. Available: http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber= 5764846
16. 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.
17. J. C. Roberts, "State of the art: Coordinated & multiple views in exploratory visualization," in Proc. 5th Int. Conf. Coordinated and Multiple Views in Exploratory Visualization, 2007, pp. 61-71.
18. A. Shabaka and H. Elmaraghy, "A model for generating optimal process plans in RMS," Int. J. Comput. Integr. Manuf., vol. 21, no. 2, pp. 180-194, 2008.
19. W. Shen, L. Wang, and Q. Hao, "Agent-based distributed manufacturing process planning and scheduling: A state-of-the-art survey," IEEE Trans. Syst., Man, Cybern., vol. 36, no. 4, pp. 563-577, Jul. 2006.
20. M. R. Shoaei, B. Lennartson, and S. Miremadi, "Automatic generation of controllers for collision-free flexible manufacturing systems," in Proc. IEEE Conf. Autom. Sci. Eng., CASE, Toronto, ON, Canada, 2010, pp. 368-373.
21. 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.
22. M. Sköldstam, K. Åkesson, and M. Fabian, Supervisory control applied to automata extended with variables-Revised Chalmers, Göteborg, Sweden, Tech. Rep. R001/2008, Signals and Systems, 2008.
23. R. Spence, Information Visualization-Design for Interaction, ISBN 0132065509, 2nd ed. Upper Saddle River, NJ: Pearson Education, 2006.
24. Supremica. [Online]. Available: http://www.supremica.org
25. A. Vahidi, "Efficient analysis of discrete event systems," Ph.D. dissertation, Dept. Signals and Systems, Chalmers Univ. Technol., Göteborg, Sweden, 2004.
26. A. Voronov and K. Åkesson, "Verification of process operations using model checking," in Proc. IEEE Conf. Autom. Sci. Eng., Bangalore, India, Aug. 2009, pp. 415-420.
27. L. Wall, "Perl, the first postmodern computer language," 1999. [Online]. Available: http://www.perl.com/pub/a/1999/03/pm.html
28. L. Wang, S. Keshavarzmanesh, H.-Y. Feng, and R. Buchal, "Assembly process planning and its future in collaborative manufacturing: A review," Int. J. Adv. Manuf. Technol., vol. 41, pp. 132-144, 2009, 10.1007/s00170-008- 1458-9.
29. J. M. Wilson, "Gantt charts: A centenary appreciation," Eur. J. Oper. Res., vol. 149, no. 2, pp. 430-437, 2003.