让微分方程求解器同时量化参数与数值误差不确定性
Propagating Model Uncertainty through Filtering-based Probabilistic Numerical ODE Solvers
- 用滤波法结合数值积分,对不确定参数进行概率性积分
- 在多个系统中验证,不确定性估计接近真实解
- 大步长下数值不确定性可避免结果过度自信
基于滤波的随机微分方程求解器(即ODE滤波器)已被证实是高效量化微分方程解中数值不确定性的方法。然而,在实际应用中,动态系统常含有不确定参数,需将此类模型不确定性传播至解中。本文表明,尽管ODE滤波器具有概率性质,但其并不能自动解决不确定性传播问题。为此,我们提出一种新方法:将ODE滤波器与数值积分相结合,对不确定参数进行正确边缘化处理,同时考虑参数不确定性与数值求解不确定性。在多个动力系统上的实验表明,所得不确定性估计与参考解高度吻合。尤其值得注意的是,数值求解的不确定性有助于防止在使用较大步长时产生过度自信的估计。结果表明,概率数值方法能有效量化动态系统中的数值与参数双重不确定性。
原文摘要 · Abstract (English)
Filtering-based probabilistic numerical solvers for ordinary differential equations (ODEs), also known as ODE filters, have been established as efficient methods for quantifying numerical uncertainty in the solution of ODEs. In practical applications, however, the underlying dynamical system often contains uncertain parameters, requiring the propagation of this model uncertainty to the ODE solution. In this paper, we demonstrate that ODE filters, despite their probabilistic nature, do not automatically solve this uncertainty propagation problem. To address this limitation, we present a novel approach that combines ODE filters with numerical quadrature to properly marginalize over uncertain parameters, while accounting for both parameter uncertainty and numerical solver uncertainty. Experiments across multiple dynamical systems demonstrate that the resulting uncertainty estimates closely match reference solutions. Notably, we show how the numerical uncertainty from the ODE solver can help prevent overconfidence in the propagated uncertainty estimates, especially when using larger step sizes. Our results illustrate that probabilistic numerical methods can effectively quantify both numerical and parametric uncertainty in dynamical systems.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。