Digital twin applications use digital artifacts to twin physical systems. The purpose is to continuously mirror the structure and behavior of the physical system, such that stakeholders can analyze the physical system by means of the digital twin for, e.g., decision support, scenario exploration, model-based control, systematic reconfiguration, etc. In this tutorial, we discuss the basic concepts of a digital twin, and how digital twins differ from models and control systems. We show how digital twins can be realized in a framework that integrates models at runtime, semantic technology and simulation models, in order to leverage domain knowledge in model-based analysis driven by live data. We further discuss how a digital twin can systematically evolve over time to mirror a changing physical system. For this purpose, we discuss our work on semantic reflection, which enables a digital twin to query a knowledge graph about itself, and leverage formalized knowledge of the application domain in its (re)configuration strategies. The tutorial will be illustrated by concrete easy-to-understand examples of digital twins, including our on-going work on digital twins for natural systems such as the Oslo fjord.
Sun 22 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | |||
14:00 90mTutorial | T10: The Semantically Reflected Digital Twin Tutorials Einar Broch Johnsen University of Oslo, Eduard Kamburjan University of Oslo, Silvia Lizeth Tapia Tarifa University of Oslo, Norway | ||
Einar Broch Johnsen is a professor at the Department of Informatics, University of Oslo. He is active in formal methods for distributed and concurrent systems, including object-oriented and actor languages, cloud computing, robotics and digital twins. He is one of the main developers of the ABS modeling language and the SMOL programming language for digital twins. He has been prominently involved in many national and European research projects. Currently, Einar leads a project on a digital twin of the Oslo fjord. He is also involved in the MSCA network REMARO on reliable AI for marine robotics and the HEU project NebulOuS, in which his group develops a digital twin for a meta-operating system.
Eduard Kamburjan is a senior researcher at the Department of Informatics, University of Oslo. His research focuses on software engineering and formal methods with and for knowledge graphs, as well as on architectures and languages for Digital Twins. Eduard is the main developer of SMOL, a programming model for programming with semantic reflection. He has been involved in a number of projects with the railway and energy industry. He also researches deductive verification and has previously worked on reliable distributed systems and type systems for actor-based programming languages.
Silvia Lizeth Tapia Tarifa is an associate professor at the Department of Informatics, University of Oslo. Her research activities are rooted in the application and foundations of modeling languages and formal methods, focusing on abstractions that benefit the specification, design, and implementation of complex systems, with particular interest in resource analysis, data privacy, self-adaptation, and user experience, which are various aspects that are interesting to study in the context of Digital Twins. She has been contributing to several EU and Norwegian research projects, including the Norwegian Young Research Talent project ADAPT, EU FP7 Envisage, EU FP7 UpScale, etc. She is currently part of the supervision team of MSCA net- work REMARO on Reliable AI for Marine Robotics and Norwegian Research Project SJM (Smart Journey Mining) on user experience analysis of digital services using formal methods.