Formal modeling and control of cyber-physical manufacturing systems

Abstract

Cyber-physical manufacturing systems are a new paradigm of manufacturing systems that integrate cyber systems and physical systems to aid smart manufacturing. Cyber-physical manufacturing systems can improve agility and responsiveness and guarantee the quality of products to meet the market requirements. Meanwhile, cyber-physical manufacturing systems also become susceptible to cyber-attacks. In order to improve the trustworthiness of cyber-physical manufacturing systems in the dynamic modeling phase, a cyber-physical manufacturing system formal model based on objectoriented Petri nets is presented from the perspective of multi-agent systems. Some mathematical methods and supporting tools of Petri nets can be utilized to analyze, verify, and validate cyber-physical manufacturing system formal model. To defense the malicious software spreading in cyber-physical manufacturing systems at run-time, a spreading dynamics model is proposed, and its dynamic behaviors are analyzed. A hybrid bifurcation control method is designed to control the Hopf bifurcation that is caused by the malicious software spreading. The simulation results show that the hybrid bifurcation control method can make cyber-physical manufacturing systems generate the expected dynamic behaviors and guarantee the trustworthiness of cyber-physical manufacturing systems at run-time.

Az Ipar 4.0 implementációval kapcsolatos vezetői motivációk és akadályozó tényezők elemzése hazai vállalatvezetők véleménye alapján

“…Az Ipar 4.0 előnyei abban mutatkoznak meg, hogy az információs technológiák és az ipari automatizálás révén a gyártórendszerek rugalmasabbak és jobban méretezhetők (Brettel, Friederichsen, Keller, & Rosenberg, 2014;Dassisti, Giovannini, Merla, Chimienti, & Panetto, 2019). Ez egyrészt rendkívül haté-konn�á teszi a vállalatokat az új technológiai képességeik révén, ami gyors alkalmazkodást tesz lehetővé számukra a szervezeti célok és az iparági forgatókön�vek kihívásai közepette (Wittenberg, 2016), ugyanakkor új kihívásokat is támaszt a szervezetek és a munkavállalók irányába (Kaasinen et al, 2020;Demeter et al, 2019;Yu, Ouyang, Li, & Peng, 2017). Új készségekre, ismeretekre és kompetenciákra van szükség ezeknek a technológiáknak a kezeléséhez, valamint rugalmasabb vállalati munkakörnyezetet igényel (Imran & Kantola, 2019).…”

Blockchain technology’s impact on supply chain integration and sustainable supply chain performance: evidence from the automotive industry

“…Blockchain Technology (BT) is an organizational capability that integrates all the SC assets and resources, adding value to the activities such as product tracking, information sharing, and providing transparency in SC transactions (Aste et al, 2017;Korpela et al, 2017;Pazaitis et al, 2017). BT builds trustworthiness and reliability in the SC network when integrated with the other cutting edge technologies such as cloud computing (Liu & Xu, 2017), robotics system (Mueller et al, 2017), Internet of Things (IoT) (Yang et al, 2017), big data analytics (Belhadi et al, 2019;, cybersecurity (Yu et al, 2017) and simulations and prototype (Ramadan et al, 2017). BT is expected to have a significant impact on the SC processes in the context of the automotive industry (Chen, 2018).…”

A review on the characteristics of cyber-physical systems for the future smart factories

“…Self-capabilities can in fact be seen as exemplifications of autonomy [10,53]. Instances of self-capabilities are self-adaptivity [75], selfreconfiguration, self-organization [24], self-awareness [18], self-learning [76], self-diagnosis [5], self-healing [77], self-optimization [11], self-protection, and self-explaining [29].…”