Abstract
Traditional factories are turning into smart factories with the advent of various ICT technologies, and various control decisions are derived by AI technologies. In this circumstance, runtime verification of a control command is important for zero-defect manufacturing processes but challengeable because factories of the future are highly complex and heterogeneous systems. In this paper, we propose DigTwinOps, a Digital Twin framework for Runtime Verification of Cyber-Physical Production Systems (CPPSs). DigTwinOps features a Digital Twin Execution Engine (DTEE) that manages a Digital Twin Model to synchronize states of a real CPPS object in a production environment. With a monitoring and simulation combination process, a human worker can observe the states of the CPPS object and verify the effectiveness of control commands before applying it to a real production environment. The proposed framework is applied to a CPPS prototype production system, and the results show that the framework can work effectively in the controllability verification of control commands.
Highlights
Traditional factories are turning into smart factories with the advent of various ICT technologies such as wireless sensor networks (WSNs), artificial intelligence (AI), and cyberphysical systems (CPSs) [1]
Controllability is defined as the ability of a control input to move the internal state of a system from any initial state to any other final state. e controllability verification of the control command which is scheduled to be applied to the production environment is important for Journal of Engineering zero-defect manufacturing processes but challengeable because Cyber-Physical Production Systems (CPPSs) are highly large-scale distributed and heterogeneous systems [12]
The hierarchy of the existing production system is modelled as digital twin, and the framework of DigTwinOps, which uses it to perform monitoring and simulation, is proposed. is framework allows interworking simulations of data from existing factory hierarchies and can be reflected in decision making based on the simulation results of possible control commands
Summary
Traditional factories are turning into smart factories with the advent of various ICT technologies such as wireless sensor networks (WSNs), artificial intelligence (AI), and cyberphysical systems (CPSs) [1]. One of the key issues in CPPS is the management of a control loop, which is the fundamental building block of industrial control systems [4,5,6] It manages the decision cycle (observation, analysis, decision, and action) between the production environment and the operational environment. DEVS BUS provides simulation environment for networked discrete event systems It requires external modules such as Simulink and HLA-RTI and it requires additional implementation for runtime veri cation. FILCon is a MESlevel framework which is able to support various manufacturing applications such as monitoring, simulation, and data analysis It lacks precise representation and analysis of physical dynamics because it abstracts behaviours of manufacturing objects under MES level
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
