SMOL Tutorials

A SMOL tutorial was presented on September 26-27, 2022 at the ICTAC 2022 summer school, Tbilisi, Georgia.

Slides for day one

Slides for day two

The online version of the tutorial is under development.

Contents:

• Digital Twins
  • What is a digital twin
  • Lifecycle Management
  • Conceptual Layers of a Digital Twin
  • Digital Twins and Formal Methods
  • The Semantically Reflected Digital Twin
  • Tool Installation
• Knowledge Modelling
  • Semantic Technologies
  • RDF (Resource Description Framework)
  • OWL (Web Ontology Language)
  • SPARQL (SPARQL Protocol and RDF Query Language)
  • Asset modelling
  • Example of SPARQL in SMOL
• Modelling Physical Systems
  • Behavior of a Watertank
  • The Watertank in Modelica
  • Creating an FMU for the Watertank
  • Controlling the Watertank from SMOL
• Semantic Reflection
  • Self-Adaptation
  • MAPE-K
  • Semantically Lifted States
  • SMOL
  • DEMO - Semantic reflection
  • SMOL and FMI
  • Using the Semantical Lifting
  • Demo - Inconsistent twinning
  • Example: Adding a New Room
  • Demo - Repair
  • Summary
  • Current Research Questions