Template-based modeling methodology of a virtual plant for virtual commissioning

作者: Minsuk Ko , Sang C Park

DOI: 10.1177/1063293X14531423

关键词:

摘要: This article presents a template-based modeling methodology for the effective construction of virtual plant that can be used commissioning programmable logic controller. For commissioning, corresponding plant, consisting devices, is required to interact with input and output symbols In other words, behavior device should same as real device. Conventionally, discrete event systems specifications formalism has been represent However, using requires in-depth knowledge simulation well significant amounts time effort. One key ideas proposed provide template model representing relations between tasks The very intuitive generate comprehensive virtual...

参考文章(19)
Ralf Pinger, Olivera Pavlovic, Maik Kollmann, Automation of Formal Verification of PLC Programs Written in IL. VERIFY. ,(2007)
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg, Verification of PLC Programs Given as Sequential Function Charts Integration of Software Specification Techniques for Applications in Engineering. pp. 517- 540 ,(2004) , 10.1007/978-3-540-27863-4_28
René David, Hassane Alla, Petri nets for modeling of dynamic systems—a survey Automatica. ,vol. 30, pp. 175- 202 ,(1994) , 10.1016/0005-1098(94)90024-8
Hyeong-Tae Park, Jong-Geun Kwak, Gi-Nam Wang, Sang C. Park, Plant model generation for PLC simulation International Journal of Production Research. ,vol. 48, pp. 1517- 1529 ,(2010) , 10.1080/00207540802577961
Peter Hoffmann, Talal M.A. Maksoud, Reimar Schumann, Giuliano C. Premier, Virtual Commissioning Of Manufacturing Systems A Review And New Approaches For Simplification ECMS 2010 Proceedings edited by A Bargiela S A Ali D Crowley E J H Kerckhoffs. pp. 175- 181 ,(2010) , 10.7148/2010-0175-0181
Mohsen A. Jafari, Thomas O. Boucher, A rule-based system for generating a ladder logic control program from a high-level systems model Journal of Intelligent Manufacturing. ,vol. 5, pp. 103- 120 ,(1994) , 10.1007/BF00572403
S. Manesis, K. Akantziotis, Automated synthesis of Ladder automation circuits based on state-diagrams Advances in Engineering Software. ,vol. 36, pp. 225- 233 ,(2005) , 10.1016/J.ADVENGSOFT.2004.11.002
Yongjin Kwon, Yongmin Park, Jungwan Hong, Sang C. Park, Sensor-based Remote Quality Control Application in Automotive Components Assembly: Concurrent Engineering. ,vol. 18, pp. 141- 155 ,(2010) , 10.1177/1063293X10372793
SangSu Choi, HyunJei Jo, Stefan Boehm, Sang Do Noh, ONESVIEW: An Integrated System for One-Stop Virtual Design Review Concurrent Engineering. ,vol. 18, pp. 75- 91 ,(2010) , 10.1177/1063293X10361624
Marcello Pellicciari, Angelo O. Andrisano, Francesco Leali, Alberto Vergnano, Engineering method for adaptive manufacturing systems design International Journal on Interactive Design and Manufacturing (ijidem). ,vol. 3, pp. 81- 91 ,(2009) , 10.1007/S12008-009-0065-9