Scholarlink

Digital twins couple computational models with physical systems to enable services such as predictive reasoning and runtime analysis that support decision–making for maintenance, optimisation and system evolution. They create a technically rich setting for applying formal methods throughout the system lifecycle beyond design-time. This tutorial introduces the elements of digital twin technology, identifying emerging opportunities for formal techniques, including the verification of evolving models under uncertainty, integration of heterogeneous models and rigorous composition of digital twin-enabled systems.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Digital Twins: a Briefing for Formalists

  • 会议论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年

查看全文
  • John S. Fitzgerald,
  • Cláudio Gomes,
  • Peter Gorm Larsen,
  • Mikkel Schmidt Andersen,
  • Santiago Gil,
  • Morten Haahr Kristensen

摘要

Digital twins couple computational models with physical systems to enable services such as predictive reasoning and runtime analysis that support decision–making for maintenance, optimisation and system evolution. They create a technically rich setting for applying formal methods throughout the system lifecycle beyond design-time. This tutorial introduces the elements of digital twin technology, identifying emerging opportunities for formal techniques, including the verification of evolving models under uncertainty, integration of heterogeneous models and rigorous composition of digital twin-enabled systems.