Relations identification and visualization for sequence planning and automation design

2010 IEEE International Conference on Automation Science and Engineering, CASE 2010

Volumn , Issue , 2010, Pages 841-848

  Bengtsson, Kristofer ^a   Thorstensson, Carl ^b   Lennartson, Bengt ^b   Åkesson, Knut ^b   Yuan, Chengyin ^b   Miremadi, Sajed ^b   Falkman, Petter ^c  

^a Research and Development   (Sweden)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^c GENERAL MOTORS CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINEERING; INDUSTRIAL ENGINEERING;

AUTOMATION DESIGN; DEVELOPMENT PROCESS; EXECUTION CONSTRAINTS; GRAPHICAL LANGUAGES; MANUFACTURING OPERATIONS; SEQUENCE PLANNING; SEQUENCES OF OPERATIONS; TEMPORAL RELATION;

MANUFACTURE;

EID: 78149430727     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2010.5584141     Document Type: Conference Paper

References (26)

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. International Journal of Production Research, 41(11):2391-2410, 2003.
2. S. B. Akers. Binary decision diagrams. IEEE, 27:509-516, June 1978.
3. K. Bengtsson. Operation Specification for Sequence Planning and Automation Design. Licentiate thesis, Signals and Systems, Chalmers, Göteborg, Sweden, 2009.
4. K. Bengtsson, B. Lennartson, and C. Yuan. The origin of operations: Interactions between the product and the manufacturing automation control system. In In IFAC Symposium on Information Control Problems in Manufacturing, INCOM, 2009.
5. K. Bengtsson, B. Lennartson, C. Yuan, P. Falkman, and S. Biller. Operation-oriented specification for integrated control logic development. In In Proc. IEEE Conference on Automation Science and Engineering, CASE, 2009.
6. H. Flordal. Compositional Approaches in Supervisory Control-with Application to Automatic Generation of Robot Interlocking Policies. PhD thesis, Signals and Systems, Chalmers, Göteborg, Sweden, October 2006.
7. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
8. IEC 61131-3:2003. Programmable controllers-part 3: Programming languages. Technical report, International Electrotechnical Commission, 2003.
9. K. Kosanke. Cimosa - overview and status. Computers in Industry, 27:101-109, 1995.
10. S. H. Lee, F. Pena-Mora, and M. Park. Dynamic planning and control methodology for strategic and operational construction project managment. Automation in Construction, 15:84-97, 2005.
11. B. Lennartson, K. Bengtsson, C. Yuan, K. Andersson, M. Fabian, P. Falkman, and K. Åkesson. Sequence planning for integrated product, process and automation design. Accepted for IEEE Transactions on Automation Science and Engineering, 2010.
12. R. Levin and C. Kirkpatrick. Planning and Control with PERT/CRM. McGraw-Hill, 1966.
13. H. B. Marri, A. Gunasekaran, and R. J. Grieve. Computer-aided process planning: A state of art. The International Journal of Advanced Manufacturing Technology, 14(4):261-268, 1998.
14. H. Miao, N. Sridharan, and J. Shah. Cad-cam integration using machining features. International Journal of Computer Integrated Manufacturing, 15(4):296-318, 2002.
15. S. Miremadi, K. Åkesson, and B. Lennartson. Efficient generation of compact guards using bdds. Submitted to IEEE Transactions on Automation Science and Engineering, 2009.
16. J. Nielsen. Information Modeling of Manufacturing Processes: Information Requirements for Process Planning in a Concurrent Engineering Environment. PhD thesis, Department of Production Engineering, Royal Institute of Technology, Stockholm, Sweden, 2003.
17. E. Ohlson and C. Torstensson. Development, implementation and testing of Sequence Planner - A concept for modeling of automation systems. Technical Report EX/2009, Signals and Systems, Chalmers, Göteborg, Sweden, 2009.
18. A. Shabaka and H. Elmaraghy. A model for generating optimal process plans in rms. International Journal of Computer Integrated Manufacturing, 21(2):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 Transactions on Systems, Man, and Cybernetics, 36(4):563-577, 2006.
20. M. Sköldstam, K. Åkesson, and M. Fabian. Modelling of discrete event systems using finite automata with variables. In Proc. 46th IEEE Conference on Decision and Control, New Orleans, USA, Dec 2007.
21. Markus Sköldstam, Knut Åkesson, and Martin Fabian. Supervisory control applied to automata extended with variables - revised. Technical Report R001/2008, Signals and Systems, Chalmers, Göteborg, Sweden, 2008.
22. Supremica. http://www.supremica.org.
23. A. Vahidi. Efficient analysis of discrete event systems. PhD thesis, Signals and Systems, Chalmers, Göteborg, Sweden, 2004.
24. A. Voronov and K. Åkesson. Verification of process operations using model checking. In Proc. 2009 IEEE Conference on Automation Science and Engineering, Bangalore, India, August 2009.
25. J. M. Wilson. Gantt charts: A centenary appreciation. European Journal of Operational Research, 149(2):430-437, 2003.
26. M. C. Zhou and F. DiCesare. Petri net synthesis for discrete event control of manufacturing systems. Kluwer Academic Publishers, 1993.