12 citations · 32 across the 7 of their papers we have counts for
3 papers · 1 filter
Formal Verification of Digital Twins with TLA and Information Leakage Control
Luwen Huang, Lav R. Varshney, Karen E. Willcox
Verifying the correctness of a digital twin provides a formal guarantee that the digital twin operates as intended. Digital twin verification is challenging due to the presence of…
Adaptive planning for risk-aware predictive digital twins
Marco Tezzele, Steven Carr, Ufuk Topcu +1
This work proposes a mathematical framework to increase the robustness to rare events of digital twins modelled with graphical models. We incorporate probabilistic model-checking a…
Distributed computing for physics-based data-driven reduced modeling at scale: Application to a rotating detonation rocket engine
Ionut-Gabriel Farcas, Rayomand P. Gundevia, Ramakanth Munipalli +1
High-performance computing (HPC) has revolutionized our ability to perform detailed simulations of complex real-world processes. A prominent contemporary example is from aerospace…