arXiv Science⌕ Search

arXiv subjects

Martin Weiser

Publications and source records attributed to Martin Weiser.

At least 19 recordsLinked to original sources
arXiv2026

Embedding Model-form Uncertainty in Probabilistic Calibration of Digital Twins for Bridges

Digital twins of bridges rely on physics-based models to infer full-field structural responses from sparse monitoring data. The reliability of these predictions depends on the calibration of model parameters while accounting for discrepancies between the model and the physical system. Such discrepancies, commonly referred to as model-form uncertainty (MFU), arise from simplifying assumptions and incomplete representations of physical processes, and can substantially affect predictive reliability. Explicitly quantifying MFU during calibration is therefore essential for trustworthy digital-twin predictions. This work presents a calibration framework that explicitly represents MFU through stochastic parameter embedding. The framework is demonstrated using a simplified two-dimensional cross-sectional thermal model of the Nibelungenbr\"ucke calibrated against temperature measurements from its monitoring system. By explicitly accounting for MFU, the proposed methodology enables computationally efficient models to be reliably employed within digital-twin environments while maintaining predictive credibility. The framework introduces a three-step calibration strategy that progressively addresses sources of discrepancy while maintaining a clear distinction between identified uncertainties. Variance decomposition is used to characterize the structure of predictive uncertainty and its propagation to quantities of interest. Remaining discrepancies between predictive distributions and observations are quantified using Kolmogorov-Smirnov metrics to assess predictive consistency across seasonal conditions. The results demonstrate that explicitly accounting for MFU improves the interpretability and reliability of predictive uncertainties and validate the methodology for calibration of physics-based models supporting digital twins in structural health monitoring.

cs.CE↗
arXiv2026

Bayesian Tendon Breakage Localization under Model Uncertainty Using Distributed Fiber Optic Sensors

This study develops a Bayesian, uncertainty-aware framework for tendon breakage localization in pre-stressed concrete members using high-resolution data from distributed fiber-optic sensors (DFOS). DFOS enable full-field monitoring of strain changes on the surface of pre-stressed concrete members due to such failure. A finite element model (FEM) of an experimental tendon-breakage test is constructed, and model parameters are calibrated probabilistically against DFOS measurements. To capture model-form uncertainty (MFU), stochastic perturbations are embedded directly into material parameters, enabling the joint inference of physical properties and MFU within a unified probabilistic framework. Gaussian Process surrogates are employed to efficiently emulate the nonlinear FEM response, supporting computationally tractable Bayesian inference. A $\phi$-divergence-based influence analysis identifies the DFOS measurements that most strongly shape the posterior distributions, providing interpretable diagnostics of sensor informativeness and model adequacy. The calibrated parameters and embedded uncertainties are then transferred to a FEM of a full-scale structural configuration, enabling prediction of tendon breakage localization under realistic conditions. A separability analysis of the predictive strain distributions quantifies the identifiability of tendon breakage at varying depths, assessing the confidence with which different damage scenarios can be distinguished given the propagated uncertainties. Results demonstrate that the framework achieves robust parameter calibration, interpretable diagnostics, and uncertainty-informed damage detection, integrating experimental data, embedded MFU, and probabilistic modeling. By systematically propagating both experimental and model uncertainties, the approach supports reliable tendon breakage localization and optimal DFOS placement.

cs.CE↗
arXiv2026

Gaussian mixture models for model improvement

Modeling complex physical systems such as they arise in civil engineering applications requires finding a trade-off between physical fidelity and practicality. Consequently, deviations of simulation from measurements are ubiquitous even after model calibration due to the model discrepancy, which may result from deliberate modeling decisions, ignorance, or lack of knowledge. If the mismatch between simulation and measurements are deemed unacceptable, the model has to be improved. Targeted model improvement is challenging due to a non-local impact of model discrepancies on measurements and the dependence on sensor configurations. Many approaches to model improvement, such as Bayesian calibration with additive mismatch terms, gray-box models, symbolic regression, or stochastic model updating, often lack interpretability, generalizability, physical consistency, or practical applicability. This paper introduces a non-intrusive approach to model discrepancy analysis using mixture models. Instead of directly modifying the model structure, the method maps sensor readings to clusters of physically meaningful parameters, automatically assigning sensor readings to parameter vector clusters. This mapping can reveal systematic discrepancies and model biases, guiding targeted, physics-based refinements by the modeler. The approach is formulated within a Bayesian framework, enabling the identification of parameter clusters and their assignments via the Expectation-Maximization (EM) algorithm. The methodology is demonstrated through numerical experiments, including an illustrative example and a real-world case study of heat transfer in a concrete bridge.

cs.CE↗
arXiv2026

An Eikonal Approach for Globally Optimal Free Flight Trajectories

We present an eikonal-based approach that is capable of finding a continuous globally optimal trajectory for an aircraft in a stationary wind field. This minimizes emissions and fuel consumption. If the destination is close to a cut locus of the associated Hamilton-Jacobi-Bellman equation, small numerical discretization errors can lead to selecting a merely locally optimal trajectory and missing the globally optimal one. Based on finite element error estimates, we construct a trust region around the cut loci in order to guarantee uniqueness of trajectories for destinations sufficiently far from cut loci.

math.OC↗
arXiv2025

A BDDC Preconditioner for the Cardiac EMI Model in three Dimensions

We analyze a Balancing Domain Decomposition by Constraints (BDDC) preconditioner for the solution of three dimensional composite Discontinuous Galerkin discretizations of reaction-diffusion systems of ordinary and partial differential equations arising in cardiac cell-by-cell models like the Extracellular space, Membrane and Intracellular space (EMI) Model. These microscopic models are essential for the understanding of events in aging and structurally diseased hearts which macroscopic models relying on homogenized descriptions of the cardiac tissue, like Monodomain and Bidomain models, fail to adequately represent. The modeling of each individual cardiac cell results in discontinuous global solutions across cell boundaries, requiring the careful construction of dual and primal spaces for the BDDC preconditioner. We provide a scalable condition number bound for the precondition operator and validate the theoretical results with extensive numerical experiments.

math.NA↗
arXiv2024

Posterior sampling with Adaptive Gaussian Processes in Bayesian parameter identification

Posterior sampling by Monte Carlo methods provides a more comprehensive solution approach to inverse problems than computing point estimates such as the maximum posterior using optimization methods, at the expense of usually requiring many more evaluations of the forward model. Replacing computationally expensive forward models by fast surrogate models is an attractive option. However, computing the simulated training data for building a sufficiently accurate surrogate model can be computationally expensive in itself, leading to the design of computer experiments problem of finding evaluation points and accuracies such that the highest accuracy is obtained given a fixed computational budget. Here, we consider a fully adaptive greedy approach to this problem. Using Gaussian process regression as surrogate, samples are drawn from the available posterior approximation while designs are incrementally defined by solving a sequence of optimization problems for evaluation accuracy and positions. The selection of training designs is tailored towards representing the posterior to be sampled as good as possible, while the interleaved sampling steps discard old inaccurate samples in favor of new, more accurate ones. Numerical results show a significant reduction of the computational effort compared to just position-adaptive and static designs.

math.NA↗
arXiv2024

Embedded Model Form Uncertainty Quantification with Measurement Noise for Bayesian Model Calibration

A key factor in ensuring the accuracy of computer simulations that model physical systems is the proper calibration of their parameters based on real-world observations or experimental data. Inevitably, uncertainties arise, and Bayesian methods provide a robust framework for quantifying and propagating these uncertainties to model predictions. Nevertheless, Bayesian methods paired with inexact models usually produce predictions unable to represent the observed datapoints. Additionally, the quantified uncertainties of these overconfident models cannot be propagated to other Quantities of Interest (QoIs) reliably. A promising solution involves embedding a model inadequacy term in the inference parameters, allowing the quantified model form uncertainty to influence non-observed QoIs. This paper introduces a more interpretable framework for embedding the model inadequacy compared to existing methods. To overcome the limitations of current approaches, we adapt the existing likelihood models to properly account for noise in the measurements and propose two new formulations designed to address their shortcomings. Moreover, we evaluate the performance of this inadequacy-embedding approach in the presence of discrepancies between measurements and model predictions, including noise and outliers. Particular attention is given to how the uncertainty associated with the model inadequacy term propagates to the QoIs, enabling a more comprehensive statistical analysis of prediction's reliability. Finally, the proposed approach is applied to estimate the uncertainty in the predicted heat flux from a transient thermal simulation using temperature observations.

cs.CE↗
arXiv2024

Hybrid PDE-ODE Models for Efficient Simulation of Infection Spread in Epidemiology

This paper introduces a novel hybrid model combining Partial Differential Equations (PDEs) and Ordinary Differential Equations (ODEs) to simulate infectious disease dynamics across geographic regions. By leveraging the spatial detail of PDEs and the computational efficiency of ODEs, the model enables rapid evaluation of public health interventions. Applied to synthetic environments and real-world scenarios in Lombardy, Italy, and Berlin, Germany, the model highlights how interactions between PDE and ODE regions affect infection dynamics, especially in high-density areas. Key findings reveal that the placement of model boundaries in densely populated regions can lead to inaccuracies in infection spread, suggesting that boundaries should be positioned in areas of lower population density to better reflect transmission dynamics. Additionally, regions with low population density hinder infection flow, indicating a need for incorporating, e.g., jumps in the model to enhance its predictive capabilities. Results indicate that the hybrid model achieves a balance between computational speed and accuracy, making it a valuable tool for policymakers in real-time decision-making and scenario analysis in epidemiology and potentially in other fields requiring similar modeling approaches.

math.DS↗
arXiv2024

Adaptive Gaussian Process Regression for Bayesian inverse problems

We introduce a novel adaptive Gaussian Process Regression (GPR) methodology for efficient construction of surrogate models for Bayesian inverse problems with expensive forward model evaluations. An adaptive design strategy focuses on optimizing both the positioning and simulation accuracy of training data in order to reduce the computational cost of simulating training data without compromising the fidelity of the posterior distributions of parameters. The method interleaves a goal-oriented active learning algorithm selecting evaluation points and tolerances based on the expected impact on the Kullback-Leibler divergence of surrogated and true posterior with a Markov Chain Monte Carlo sampling of the posterior. The performance benefit of the adaptive approach is demonstrated for two simple test problems.

math.NA↗
arXiv2024

Adaptive Gradient Enhanced Gaussian Process Surrogates for Inverse Problems

Generating simulated training data needed for constructing sufficiently accurate surrogate models to be used for efficient optimization or parameter identification can incur a huge computational effort in the offline phase. We consider a fully adaptive greedy approach to the computational design of experiments problem using gradient-enhanced Gaussian process regression as surrogates. Designs are incrementally defined by solving an optimization problem for accuracy given a certain computational budget. We address not only the choice of evaluation points but also of required simulation accuracy, both of values and gradients of the forward model. Numerical results show a significant reduction of the computational effort compared to just position-adaptive and static designs as well as a clear benefit of including gradient information into the surrogate training.

math.NA↗
arXiv2023

Model bias identification for Bayesian calibration of stochastic digital twins of bridges

Simulation-based digital twins must provide accurate, robust and reliable digital representations of their physical counterparts. Quantifying the uncertainty in their predictions plays, therefore, a key role in making better-informed decisions that impact the actual system. The update of the simulation model based on data must be then carefully implemented. When applied to complex standing structures such as bridges, discrepancies between the computational model and the real system appear as model bias, which hinders the trustworthiness of the digital twin and increases its uncertainty. Classical Bayesian updating approaches aiming to infer the model parameters often fail at compensating for such model bias, leading to overconfident and unreliable predictions. In this paper, two alternative model bias identification approaches are evaluated in the context of their applicability to digital twins of bridges. A modularized version of Kennedy and O'Hagan's approach and another one based on Orthogonal Gaussian Processes are compared with the classical Bayesian inference framework in a set of representative benchmarks. Additionally, two novel extensions are proposed for such models: the inclusion of noise-aware kernels and the introduction of additional variables not present in the computational model through the bias term. The integration of such approaches in the digital twin corrects the predictions, quantifies their uncertainty, estimates noise from unknown physical sources of error and provides further insight into the system by including additional pre-existing information without modifying the computational model.

cs.CE↗
arXiv2023

Efficient adaptivity for simulating cardiac electrophysiology with spectral deferred correction methods

The locality of solution features in cardiac electrophysiology simulations calls for adaptive methods. Due to the overhead incurred by established mesh refinement and coarsening, however, such approaches failed in accelerating the computations. Here we investigate a different route to spatial adaptivity that is based on nested subset selection for algebraic degrees of freedom in spectral deferred correction methods. This combination of algebraic adaptivity and iterative solvers for higher order collocation time stepping realizes a multirate integration with minimal overhead. This leads to moderate but significant speedups in both monodomain and cell-by-cell models of cardiac excitation, as demonstrated at four numerical examples.

math.NA↗
arXiv2023

Multilevel Optimization for Policy Design with Agent-Based Epidemic Models

Epidemiological models can not only be used to forecast the course of a pandemic like COVID-19, but also to propose and design non-pharmaceutical interventions such as school and work closing. In general, the design of optimal policies leads to nonlinear optimization problems that can be solved by numerical algorithms. Epidemiological models come in different complexities, ranging from systems of simple ordinary differential equations (ODEs) to complex agent-based models (ABMs). The former allow a fast and straightforward optimization, but are limited in accuracy, detail, and parameterization, while the latter can resolve spreading processes in detail, but are extremely expensive to optimize. We consider policy optimization in a prototypical situation modeled as both ODE and ABM, review numerical optimization approaches, and propose a heterogeneous multilevel approach based on combining a fine-resolution ABM and a coarse ODE model. Numerical experiments, in particular with respect to convergence speed, are given for illustrative examples.

math.OC↗
arXiv2023

Adaptive Gaussian Process Regression for Efficient Building of Surrogate Models in Inverse Problems

In a task where many similar inverse problems must be solved, evaluating costly simulations is impractical. Therefore, replacing the model $y$ with a surrogate model $y_s$ that can be evaluated quickly leads to a significant speedup. The approximation quality of the surrogate model depends strongly on the number, position, and accuracy of the sample points. With an additional finite computational budget, this leads to a problem of (computer) experimental design. In contrast to the selection of sample points, the trade-off between accuracy and effort has hardly been studied systematically. We therefore propose an adaptive algorithm to find an optimal design in terms of position and accuracy. Pursuing a sequential design by incrementally appending the computational budget leads to a convex and constrained optimization problem. As a surrogate, we construct a Gaussian process regression model. We measure the global approximation error in terms of its impact on the accuracy of the identified parameter and aim for a uniform absolute tolerance, assuming that $y_s$ is computed by finite element calculations. A priori error estimates and a coarse estimate of computational effort relate the expected improvement of the surrogate model error to computational effort, resulting in the most efficient combination of sample point and evaluation tolerance. We also allow for improving the accuracy of already existing sample points by continuing previously truncated finite element solution procedures.

math.NA↗
arXiv2023

Newton's Method for Global Free Flight Trajectory Optimization

Globally optimal free flight trajectory optimization can be achieved with a combination of discrete and continuous optimization. A key requirement is that Newton's method for continuous optimization converges in a sufficiently large neighborhood around a minimizer. We show in this paper that, under certain assumptions, this is the case.

math.OC↗
arXiv2022

Convergence analysis of BDDC preconditioners for composite DG discretizations of the cardiac cell-by-cell model

A Balancing Domain Decomposition by Constraints (BDDC) preconditioner is constructed and analyzed for the solution of composite Discontinuous Galerkin discretizations of reaction-diffusion systems of ordinary and partial differential equations arising in cardiac cell-by-cell models. Unlike classical Bidomain and Monodomain cardiac models, which rely on homogenized descriptions of cardiac tissue at the macroscopic level, the cell-by-cell models enable the representation of individual cardiac cells, cell aggregates, damaged tissues, and nonuniform distributions of ion channels on the cell membrane. The resulting discrete cell-by-cell models exhibit discontinuous global solutions across the cell boundaries. Therefore, the proposed BDDC preconditioner employs appropriate dual and primal spaces with additional constraints to transfer information between cells (subdomains) without affecting the overall discontinuity of the global solution. A scalable convergence rate bound is proved for the resulting BDDC cell-by-cell preconditioned operator, while numerical tests validate this bound and investigate its dependence on the discretization parameters.

math.NA↗
arXiv2022

Fast Floating-Point Filters for Robust Predicates

Geometric predicates are at the core of many algorithms, such as the construction of Delaunay triangulations, mesh processing and spatial relation tests. These algorithms have applications in scientific computing, geographic information systems and computer-aided design. With floating-point arithmetic, these geometric predicates can incur round-off errors that may lead to incorrect results and inconsistencies, causing computations to fail. This issue has been addressed using a combination of exact arithmetic for robustness and floating-point filters to mitigate the computational cost of exact computations. The implementation of exact computations and floating-point filters can be a difficult task, and code generation tools have been proposed to address this. We present a new C++ meta-programming framework for the generation of fast, robust predicates for arbitrary geometric predicates based on polynomial expressions. We combine and extend different approaches to filtering, branch reduction, and overflow avoidance that have previously been proposed. We show examples of how this approach produces correct results for data sets that could lead to incorrect predicate results with naive implementations. Our benchmark results demonstrate that our implementation surpasses state-of-the-art implementations.

math.NA↗