Presentation
This talk is concerned with Environmental Digital twins, i.e., digital twins of natural environments. We start by discussing digital twins in general. 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 will 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. 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. Our work on a digital twin of the Oslo fjord suggests how physical simulators and domain knowledge can combine into a more general architecture for environmental digital twins.
Speaker
Einar Broch Johnsen is a Professor at the Department of Informatics, University of Oslo. His research interests include programming models and methodology; program specification and modeling; formal methods and associated theory; lightweight analysis, type systems, testing; as well as deductive verification and formal logic. He is active in formal methods for distributed and concurrent systems, including object-oriented and actor languages, manycore computing, cloud computing and digital twins. He is one of the main developers of the ABS modeling language for asynchronous distributed systems and the SMOL programming language for digital twins.
Einar Broch Johnsen has been prominently involved in many national and European research projects, and leads several on-going interdisciplinary projects on digital twins at UiO. Previously, he was the strategy director of Sirius (2015-2023), a center for research-driven innovation on scalable data access with 8-year funding from the Research Council of Norway. He was the coordinator of the EU FP7 project Envisage (2013-2016) on formal methods for cloud computing and the scientific coordinator of the EU H2020 project HyVar (2015-2018) on hybrid variability systems.
Program
12:00 – Doors open and lunch is served
12:15 – "Environmental Digital Twins" by Einar Broch Johnsen (Professor, Department of Informatics)
13:15 – Mingling (and goodbye)
To participate, please fill out the registration form. This way, we will not be short on food and drinks! (Registration is not binding and you are welcome to join us anyway!)
About the seminar series
Once a month, dScience will invite you to join us for lunch and professional talks at the Science Library. In addition to these, we will serve lunch in our lounge in Kristine Bonnevies house every Thursday. Due to limited space (40 people), this will be first come, first served. See how to find us here.
Our lounge can also be booked by PhDs and Postdocs on a regular basis, whether it is for a meeting or just to hang out – we have fresh coffee all day long!