Methodology

Combining Digital Twins and Categorical Algebra

Reference: - D. Grzelak, "Programming Drone Collectives: Towards Safe Plug-And-Play Modularity," in Proceedings of the 1st German Robotics Conference (GRC), Nürnberg, Germany: Robotics Institute Germany, Mar. 2025. Standalone video contribution (demo video, abstract, and poster)


Definition (Digital Twin):

  • "Digital representation of a target entity with data connections that enable convergence between the physical and digital states at an appropriate rate of synchronisation." [ISO/IEC 30173:2023, 3.1.1]
  • "A Digital Twin of a system consists of a set of models of the system, a set of Digital Shadows, and a set of services that allow using the data and models purposefully with respect to the original system." [Braun et al., Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0, 2023]


Model Transformation and Execution

Previous Next