Introducing digital twins - how they can be realized in a framework, integrating models at runtime, semantic technology and simulation models.
Watch the video
View the presentation slides (PDF)
Synopsis
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 talk, 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 model of its own runtime configuration, reconfigure to maintain system invariants, and leverage formalized knowledge of the application domain in its (re)configuration strategies. The talk 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.
About the speaker
Einar Broch Johnsen
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 for distributed and cloud applications, 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.
Our events are for adults aged 16 years and over.
BCS is a membership organisation. If you enjoy this event, please consider joining BCS. You’ll be very welcome. You’ll receive access to many exclusive career development tools, an introduction to a thriving professional community and also help us Make IT Good For Society. Join BCS today
This event is brought to you by: FACS (Formal Aspects of Computing Science) group and the Formal Methods Europe
