A physical-effect-awared part behavior modeling method on control integration for pipelining manufacturing modules

作者: Mincong Yu , Deyu Qi

DOI: 10.1109/ICINFA.2016.7832086

关键词:

摘要: While the challenges and advance factors of implementation technology are emerging, there still lack ideal formal models developing tools for mechanical experts to construct controller software on control integration pipelining manufacturing modules. To meet requirements, a novel part behavior modeling method has been proposed in this paper. The definitions materials, parts, coordinates model given concept two levels modules is brought in. level mechanism defined as space moveable objects track groups, while policy workstations stages applying customized policies. Since physical effects behaviors considered model, invalid situations events can be checked avoided controlling actions. controlled actions supplied by dedicated devices also able described which benefit mapping composing from controllers match granularity interfaces device controls. Finally, design framework addressed based model.

参考文章(15)
Lihui Wang, Göran Adamson, Magnus Holm, Philip Moore, A review of function blocks for process planning and control of manufacturing equipment Journal of Manufacturing Systems. ,vol. 31, pp. 269- 279 ,(2012) , 10.1016/J.JMSY.2012.02.004
Tea Y. Park, Kwan H. Han, Byoung K. Choi, An object-oriented modelling framework for automated manufacturing system International Journal of Computer Integrated Manufacturing. ,vol. 10, pp. 324- 334 ,(1997) , 10.1080/095119297131075
E. Park, D.M. Tilbury, P.P. Khargonekar, Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets international conference on robotics and automation. ,vol. 15, pp. 1046- 1061 ,(1999) , 10.1109/70.817669
Marcin Jamro, Bartosz Trybus, An approach to SysML modeling of IEC 61131-3 control software international conference on methods and models in automation and robotics. pp. 217- 222 ,(2013) , 10.1109/MMAR.2013.6669909
E.W. Endsley, D.M. Tilbury, Modular verification of modular finite state machines conference on decision and control. ,vol. 1, pp. 972- 979 ,(2004) , 10.1109/CDC.2004.1428811
Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan, Kristin Andersson, Martin Fabian, Petter Falkman, Knut Akesson, Sequence Planning for Integrated Product, Process and Automation Design IEEE Transactions on Automation Science and Engineering. ,vol. 7, pp. 791- 802 ,(2010) , 10.1109/TASE.2010.2051664
Milena Rota Sena Marques, Eliane Siegert, Lisane Brisolara, Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain 2014 12th IEEE International Conference on Industrial Informatics (INDIN). pp. 176- 181 ,(2014) , 10.1109/INDIN.2014.6945504
Devinder Thapa, Jaeil Park, Chang Mok Park, Gi-Nam Wang, Dongmin Shin, A Formal Model for Real-Time Automated Manufacturing System Control with Timed-MPSG international symposium on industrial electronics. pp. 1962- 1967 ,(2007) , 10.1109/ISIE.2007.4374908
Devinder Thapa, Chang Mok Park, Sang C. Park, Gi-Nam Wang, Auto-generation of IEC standard PLC code using t-MPSG International Journal of Control, Automation and Systems. ,vol. 7, pp. 165- 174 ,(2009) , 10.1007/S12555-009-0202-Z
Bo Svensson, Fredrik Danielsson, P-SOP - A multi-agent based control approach for flexible and robust manufacturing Robotics and Computer-integrated Manufacturing. ,vol. 36, pp. 109- 118 ,(2015) , 10.1016/J.RCIM.2014.12.005