Bayesian State-Space Modelling on High-Performance Hardware Using LibBi
arXiv:1306.3277
Abstract
LibBi is a software package for state-space modelling and Bayesian inference on modern computer hardware, including multi-core central processing units (CPUs), many-core graphics processing units (GPUs) and distributed-memory clusters of such devices. The software parses a domain-specific language for model specification, then optimises, generates, compiles and runs code for the given model, inference method and hardware platform. In presenting the software, this work serves as an introduction to state-space models and the specialised methods developed for Bayesian inference with them. The focus is on sequential Monte Carlo (SMC) methods such as the particle filter for state estimation, and the particle Markov chain Monte Carlo (PMCMC) and SMC^2 methods for parameter estimation. All are well-suited to current computer hardware. Two examples are given and developed throughout, one a linear three-element windkessel model of the human arterial system, the other a nonlinear Lorenz '96 model. These are specified in the prescribed modelling language, and LibBi demonstrated by performing inference with them. Empirical results are presented, including a performance comparison of the software with different hardware configurations.
Cited by in corpus (10)
- Denotational validation of higher-order Bayesian inference
- Inference for SDE models via Approximate Bayesian Computation
- Sequential Monte Carlo Samplers for capital allocation under copula-dependent risk models
- Biips: Software for Bayesian Inference with Interacting Particle Systems
- Nested Reasoning About Autonomous Agents Using Probabilistic Programs
- PPF - A Parallel Particle Filtering Library
- PROFET: Construction and Inference of DBNs Based on Mathematical Models
- Towards Practical Bayesian Parameter and State Estimation
- PF: A C++ Library for Fast Particle Filtering
- Compositional Inference Metaprogramming with Convergence Guarantees