1 citations · 1 across the 2 of their papers we have counts for
3 papers
A parallel implementation of reduced-order modeling of large-scale systems
Ionut-Gabriel Farcas, Rayomand P. Gundevia, Ramakanth Munipalli +1
Motivated by the large-scale nature of modern aerospace engineering simulations, this paper presents a detailed description of distributed Operator Inference (dOpInf), a recently d…
Non-intrusive reduced-order modeling for dynamical systems with spatially localized features
Leonidas Gkimisis, Nicole Aretz, Marco Tezzele +3
This work presents a non-intrusive reduced-order modeling framework for dynamical systems with spatially localized features characterized by slow singular value decay. The proposed…
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…