research
∙
12/03/2021
Hybrid Digital Twin for process industry using Apros simulation environment
Making an updated and as-built model plays an important role in the life...
share
research
∙
11/05/2021
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments
Digital Twins are increasingly being introduced for smart manufacturing ...
research
∙
08/17/2021
Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
Industrial cyber-physical systems require complex distributed software t...
research
∙
08/12/2021
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
Industrial automation systems (IAS) need to be highly dependable; they s...
research
∙
08/02/2021
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems
The benefits that arise from the adoption of a systems engineering appro...
research
∙
04/05/2021
An Artificial Intelligence Framework for Bidding Optimization with Uncertainty inMultiple Frequency Reserve Markets
The global ambitions of a carbon-neutral society necessitate a stable an...
research
∙
04/05/2021
Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins
Ongoing standardization in Industry 4.0 supports tool vendor neutral rep...
research
∙
03/25/2021
Automatic Assembly Planning based on Digital Product Descriptions
This paper proposes a new concept in which a digital twin derived from a...
research
∙
03/23/2021
Applying graph matching techniques to enhance reuse of plant design information
This article investigates how graph matching can be applied to process p...
research
∙
01/06/2021
Designing Actively Secure, Highly Available Industrial Automation Applications
Programmable Logic Controllers (PLCs) execute critical control software ...
research
∙
12/30/2020
Visual counterexample explanation for model checking with Oeritte
Despite being one of the most reliable approaches for ensuring system co...
research
∙
07/27/2019