Implicit Probabilistic Integrators for ODEs

Abstract

We introduce a family of implicit probabilistic integrators for initial value problems (IVPs), taking as a starting point the multistep Adams-Moulton method. The implicit construction allows for dynamic feedback from the forthcoming time-step, in contrast to previous probabilistic integrators, all of which are based on explicit methods. We begin with a concise survey of the rapidly-expanding field of probabilistic ODE solvers. We then introduce our method, which builds on and adapts the work of Conrad et al. (2016) and Teymur et al. (2016), and provide a rigorous proof of its well-definedness and convergence. We discuss the problem of the calibration of such integrators and suggest one approach. We give an illustrative example highlighting the effect of the use of probabilistic integrators - including our new method - in the setting of parameter inference within an inverse problem.

32nd Conference on Neural Information Processing Systems (NeurIPS 2018), Montréal, Canada

Cited by in corpus (10)

• Strong convergence rates of probabilistic integrators for ordinary differential equations
• A probabilistic finite element method based on random meshes: Error estimators and Bayesian inverse problems
• Randomised one-step time integration methods for deterministic operator differential equations
• Differentiable Likelihoods for Fast Inversion of 'Likelihood-Free' Dynamical Systems
• Testing whether a Learning Procedure is Calibrated
• A Role for Symmetry in the Bayesian Solution of Differential Equations
• Calibrated Adaptive Probabilistic ODE Solvers
• Black Box Probabilistic Numerics
• Pick-and-Mix Information Operators for Probabilistic ODE Solvers
• Sampling Methods for Bayesian Inference Involving Convergent Noisy Approximations of Forward Maps