Formal modeling and control of cyber-physical manufacturing systems:
Reads0
Chats0
TLDR
In this article, a cyber-physical manufacturing system formal model based on object-oriented Petri nets is presented from the perspective of multi-agent systems, and a spreading dynamics model is proposed, and its dynamic behaviors are analyzed.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 object-oriented 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 me...read more
Citations
More filters
Journal ArticleDOI
Sustainable Industry 4.0 framework: A systematic literature review identifying the current trends and future perspectives
TL;DR: A systematic and extensive review of research that captures the dynamic nature of industry 4.0 has been presented in this article, where 85 papers were classified in five research categories namely conceptual papers on Industry4.0, human-machine interactions, machine-equipment interactions, technologies of Industry 4., and sustainability.
Journal ArticleDOI
Analysis of the driving and dependence power of barriers to adopt industry 4.0 in Indian manufacturing industry
TL;DR: This study is first of its kind to identify industry 4.0 adoption barriers and develop hierarchical relationships between them using interpretive structural modeling (ISM) and fuzzy MICMAC methodology in the Indian manufacturing context.
Journal ArticleDOI
Industry 4.0 and lean manufacturing practices for sustainable organisational performance in Indian manufacturing companies
TL;DR: The findings suggest significant direct and indirect effects of I4 T on SOP and confirm the presence of LMP as a strong mediating variable.
Journal ArticleDOI
A review on the characteristics of cyber-physical systems for the future smart factories
TL;DR: There is a need for research on operations management characteristics of CPSs as these may be the ones actually leading operations managers to the concrete implementation of CPS-based factories in manufacturing.
Journal ArticleDOI
In-process machine vision monitoring of tool wear for Cyber-Physical Production Systems
TL;DR: A methodology of four phases is proposed, whose goal basically is to raise the requirements, validate the integration, develop the decentralized architecture and finally prove the efficiency, robustness, and capabilities that only cyber-physical systems can bring to a production system.
References
More filters
Journal ArticleDOI
A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems
TL;DR: A unified 5-level architecture is proposed as a guideline for implementation of Cyber-Physical Systems (CPS), within which information from all related perspectives is closely monitored and synchronized between the physical factory floor and the cyber computational space.
Journal ArticleDOI
Cyber-physical systems in manufacturing
László Monostori,László Monostori,Botond Kádár,Thomas Bauernhansl,Thomas Bauernhansl,S. Kondoh,Soundar R. T. Kumara,Gunther Reinhart,Olaf Sauer,Günther Schuh,Günther Schuh,Wilfried Sihn,Kanji Ueda +12 more
TL;DR: There are significant roots in general and in particular to the CIRP community – which point towards CPPS, and expectations towards research in and implementation of CPS and CPPS are outlined.
Book
Introduction to Embedded Systems - A Cyber-Physical Systems Approach
Edward A. Lee,Sanjit A. Seshia +1 more
TL;DR: This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study.
Journal ArticleDOI
Current status and advancement of cyber-physical systems in manufacturing
TL;DR: In this article, the current status and the latest advancement of cyber-physical systems (CPS) in manufacturing are discussed and compared with the cloud manufacturing concept in order to understand CPS and its future potential in manufacturing.
Journal ArticleDOI
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
Zhiwu Li,MengChu Zhou +1 more
TL;DR: It is proved that by adding a control place for each elementary siphon to make sure that it is marked, deadlock can be successfully prevented and is suitable for large-scale Petri nets.