24 citations · 120 across the 25 of their papers we have counts for
27 papers
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments
Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech +1
Digital Twins are increasingly being introduced for smart manufacturing systems to improve the efficiency of the main disciplines of such systems. Formal techniques, such as graphs…
Industry 4.0 in Finland: Towards Twin Transition
Iqra Khan, Osmo Kauppilaa, Jukka Majava +5
This submission has been removed by arXiv administrators as the submitter did not have the right to agree to the license at the time of submission.
Towards Digital Twins for the Description of Automotive Software Systems
Jan Olaf Blech
We present models for automotive software that capture quantitative and qualitative aspects of software systems and the underlying hardware architecture. In particular, we consider…
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…
On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework
Jan Olaf Blech, Ian D. Peake, Sudarsan SD
Means to support collaboration for remote industrial facilities such as mining are an important topic, especially in Australia, where major mining sites can be more than a thousand…
Towards a Cloud-based Architecture for Visualization and Augmented Reality to Support Collaboration in Manufacturing Automation
Ian D. Peake, Jan Olaf Blech, Shyam Nath +2
In this report, we present our work in visualization and augmented reality technologies supporting collaboration in manufacturing automation. Our approach is based on (i) analysis…