Formal modeling and control of cyber-physical manufacturing systems:
作者： Zhenhua Yu , Jie Ouyang , Sisi Li , Xia Peng
关键词: Manufacturing engineering 、 Computer-integrated manufacturing 、 Systems engineering 、 Systems modeling 、 Cyber-physical system 、 Integrated Computer-Aided Manufacturing 、 Manufacturing execution system 、 Process development execution system 、 IDEF0 、 Petri net 、 Computer science
摘要: Cyber-physical manufacturing systems are a new paradigm of that integrate cyber and physical to aid smart manufacturing. can improve agility responsiveness guarantee the quality products meet market requirements. Meanwhile, cyber-physical also become susceptible cyber-attacks. In order trustworthiness in dynamic modeling phase, system formal model based on object-oriented Petri nets is presented from perspective multi-agent systems. Some mathematical methods supporting tools be utilized analyze, verify, validate model. To defense malicious software spreading at run-time, dynamics proposed, its behaviors analyzed. A hybrid bifurcation control me...
sagepub.com
sci-hub.se 参考文章(37)
J. Sztipanovits, X. Koutsoukos, G. Karsai, N. Kottenstette, P. Antsaklis, V. Gupta, B. Goodwine, J. Baras, Shige Wang, Toward a Science of Cyber–Physical System Integration Proceedings of the IEEE. ,vol. 100, pp. 29- 44 ,(2012) , 10.1109/JPROC.2011.2161529
YuFeng Chen, ZhiWu Li, Kamel Barkaoui, Murat Uzam, New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs systems man and cybernetics. ,vol. 44, pp. 1384- 1400 ,(2014) , 10.1109/TSMC.2014.2307284
T. MIYAMOTO, A Survey of Object-Oriented Petri Nets and Analysis Methods IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. ,vol. 88, pp. 2964- 2971 ,(2005) , 10.1093/IETFEC/E88-A.11.2964
Radha Poovendran, Krishna Sampigethaya, Sandeep Kumar S. Gupta, Insup Lee, K. Venkatesh Prasad, David Corman, James L. Paunicka, Special Issue on Cyber - Physical Systems [Scanning the Issue] Proceedings of the IEEE. ,vol. 100, pp. 6- 12 ,(2012) , 10.1109/JPROC.2011.2167449
Jay Lee, Behrad Bagheri, Hung-An Kao, A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems Manufacturing letters. ,vol. 3, pp. 18- 23 ,(2015) , 10.1016/J.MFGLET.2014.12.001
ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou, Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems systems man and cybernetics. ,vol. 42, pp. 178- 191 ,(2012) , 10.1109/TSMCA.2011.2147308
Dazhong Wu, David W. Rosen, Lihui Wang, Dirk Schaefer, Cloud-based design and manufacturing Computer-aided Design. ,vol. 59, pp. 1- 14 ,(2015) , 10.1016/J.CAD.2014.07.006
André Platzer, Verification of Cyberphysical Transportation Systems IEEE Intelligent Systems. ,vol. 24, pp. 10- 13 ,(2009) , 10.1109/MIS.2009.81
Lee J. Wells, Jaime A. Camelio, Christopher B. Williams, Jules White, Cyber-physical security challenges in manufacturing systems Manufacturing letters. ,vol. 2, pp. 74- 77 ,(2014) , 10.1016/J.MFGLET.2014.01.005
Zhihao Jiang, M. Pajic, R. Mangharam, Cyber–Physical Modeling of Implantable Cardiac Medical Devices Proceedings of the IEEE. ,vol. 100, pp. 122- 137 ,(2012) , 10.1109/JPROC.2011.2161241