Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks

Arnaud DoucetNando de FreitasKevin MurphyStuart Russell

article2000UAI1,531 citations

Proposes Rao-Blackwellised particle filtering for dynamic Bayesian networks, showing how to combine sequential Monte Carlo sampling with exact analytical filtering to achieve significantly higher estimation accuracy in complex applications like robot mapping and non-stationary regression.

Listen

Real-time state estimation and tracking are essential across modern engineering disciplines, including robotics, computer vision, and speech processing. While standard particle filters provide robust simulation-based inference for non-linear and non-Gaussian dynamic systems, they suffer from significant computational inefficiency when applied to high-dimensional state spaces. Traditional exact filters, conversely, are computationally restricted to simpler linear or small discrete systems. The article demonstrates how exploiting the internal structure of dynamic Bayesian networks via Rao-Blackwellisation drastically improves estimation accuracy and computational efficiency by analytically marginalizing out tractable sub-components and sampling only the remaining variables.

The authors develop a generalized theoretical framework for Rao-Blackwellised particle filters and evaluate their performance on dynamic models, combining sequential importance sampling, selection steps, and Markov chain Monte Carlo diversity mechanisms. They validate this methodology across two practical domains: online non-stationary regression using adaptive neural networks and simultaneous robot localization and grid-based mapping under sensor and motion noise.

The core findings establish that analytical marginalization systematically reduces the variance of importance weights and posterior estimates compared to standard particle filtering. The greatest variance reduction occurs when the marginalized variables exhibit high conditional variance. In robot navigation benchmarks, the method achieved estimation accuracy matching exact Bayesian inference using as few as 50 to 100 particles, successfully maintaining spatial correlations where alternative factorized approximations failed. Furthermore, the convergence rate remains independent of the state-space dimension under mild regularity conditions.

These results provide a scalable foundation for deploying high-accuracy tracking in resource-constrained, real-time environments, substantially reducing computational costs and memory overhead. Decision-makers in autonomous navigation and adaptive signal processing should prioritize hybrid architectures that analytically solve linear or finite discrete states while reserving particle sampling for non-linear parent states. Future development must focus on automating the structural identification of analytically tractable variables, as current implementations rely on manual model partitioning.

arXiv: 1301.3853
  • Paper: CONDENSATION—Conditional Density Propagation for Visual Tracking, MICHAEL ISARD et al. (1998). Introduces the Condensation algorithm, establishing the fundamental particle filtering / sequential Monte Carlo framework for dynamical state estimation upon which Rao-Blackwellisation is built.
  • Paper: An Introduction to the Kalman Filter, Greg Welch et al. (1995). Provides the foundational equations and principles of the Kalman filter, which serves as one of the exact sub-filters used to marginalize out conditionally linear Gaussian variables in Rao-Blackwellised particle filtering.
  • Paper: An Introduction to Variational Methods for Graphical Models, MICHAEL I. JORDAN et al. (1999). Presents exact and approximate inference methods for graphical models, including the junction tree algorithm leveraged directly by the source paper to marginalize tractable sub-structures.
  • Paper: A Tutorial on Learning with Bayesian Networks, David Heckerman (1999). Offers essential background on representing, learning, and performing probabilistic inference over dynamic and static Bayesian networks.
  • Paper: Estimating uncertain spatial relationships in robotics, Randall Smith et al. (1986). Establishes the stochastic mapping framework for mobile robot localization and map building, which forms one of the central real-world application domains demonstrated in the source paper.
  • Paper: The Unscented Particle Filter, Rudolph van der Merwe et al. (2000). Extends sequential Monte Carlo methods by integrating the unscented Kalman filter to generate advanced proposal distributions, directly complementing structural variance-reduction techniques like Rao-Blackwellisation.
  • Paper: Color-Based Probabilistic Tracking, P. Pérez et al. (2002). Applies sequential Monte Carlo particle filtering to continuous visual state estimation using multi-modal color distributions in dynamic environments.
  • Paper: Incremental Learning for Robust Visual Tracking, David A. Ross et al. (2008). Employs particle filtering alongside online adaptive subspace learning for visual tracking under complex, non-stationary conditions.
Cover for Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks

Abstract

Particle filters (PFs) are powerful sampling-based inference/learning algorithms for dynamic Bayesian networks (DBNs). They allow us to treat, in a principled way, any type of probability distribution, nonlinearity and non-stationarity. They have appeared in several fields under such names as "condensation", "sequential Monte Carlo" and "survival of the fittest". In this paper, we show how we can exploit the structure of the DBN to increase the efficiency of particle filtering, using a technique known as Rao-Blackwellisation. Essentially, this samples some of the variables, and marginalizes out the rest exactly, using the Kalman filter, HMM filter, junction tree algorithm, or any other finite dimensional optimal filter. We show that Rao-Blackwellised particle filters (RBPFs) lead to more accurate estimates than standard PFs. We demonstrate RBPFs on two problems, namely non-stationary online regression with radial basis function networks and robot localization and map building. We also discuss other potential application areas and provide references to some finite dimensional optimal filters.

Table of Contents

  • 1 INTRODUCTION
  • 2 PROBLEM FORMULATION
  • 3 IMPORTANCE SAMPLING AND RAO-BLACKWELLISATION
  • 4 RAO-BLACKWELLISED PARTICLE FILTERS
  • 4.1 IMPLEMENTATION ISSUES
  • 4.1.1 Sequential importance sampling
  • 4.1.2 Selection step
  • 4.1.3 MCMC step
  • 4.2 CONVERGENCE RESULTS
  • 5 EXAMPLES
  • 5.1 ON-LINE REGRESSION AND MODEL SELECTION WITH NEURAL NETWORKS
  • 5.2 ROBOT LOCALIZATION AND MAP BUILDING
  • 5.3 CONCLUSIONS AND EXTENSIONS
  • References

Knowls

  1. Knowl 1 — Rao-Blackwellised State Decomposition and Marginal Recursion in Dynamic Bayesian Networks

    model/method

    In a state-space model or dynamic Bayesian network (DBN) with hidden state ztz_t and observations y1:t={y1,…,yt}y_{1:t} = \{y_1, \dots, y_t\}, suppose the hidden state vector ztz_t is partitioned into two components zt=(rt,xt)z_t = (r_t, x_t) such that the transition density factors as:

    p(zt∣zt−1)=p(xt∣r1:t,xt−1)p(rt∣rt−1)p(z_t \mid z_{t-1}) = p(x_t \mid r_{1:t}, x_{t-1}) p(r_t \mid r_{t-1})

    and the conditional posterior distribution p(x0:t∣y1:t,r0:t)p(x_{0:t} \mid y_{1:t}, r_{0:t}) can be computed analytically in closed form using a finite-dimensional filter (such as the Kalman filter for conditionally linear-Gaussian models or the HMM filter / junction tree algorithm for discrete sub-networks).

    By the chain rule of probability, the joint posterior distribution factors as:

    p(r0:t,x0:t∣y1:t)=p(x0:t∣y1:t,r0:t)p(r0:t∣y1:t)p(r_{0:t}, x_{0:t} \mid y_{1:t}) = p(x_{0:t} \mid y_{1:t}, r_{0:t}) p(r_{0:t} \mid y_{1:t})

    The marginal posterior distribution p(r0:t∣y1:t)p(r_{0:t} \mid y_{1:t}) over the sampled state trajectory r0:tr_{0:t} satisfies the recursive updating formula:

    p(r0:t∣y1:t)=p(yt∣y1:t−1,r0:t)p(rt∣rt−1)p(r0:t−1∣y1:t−1)p(yt∣y1:t−1)p(r_{0:t} \mid y_{1:t}) = \frac{p(y_t \mid y_{1:t-1}, r_{0:t}) p(r_t \mid r_{t-1}) p(r_{0:t-1} \mid y_{1:t-1})}{p(y_t \mid y_{1:t-1})}

    where the conditional marginal likelihood is:

    p(yt∣y1:t−1,r0:t)=∫p(yt∣xt,rt)p(xt∣y1:t−1,r0:t) dxtp(y_t \mid y_{1:t-1}, r_{0:t}) = \int p(y_t \mid x_t, r_t) p(x_t \mid y_{1:t-1}, r_{0:t}) \, dx_t

    Rao-Blackwellised particle filtering (RBPF) uses sequential Monte Carlo to sample only the lower-dimensional trajectory r0:tr_{0:t}, while maintaining the exact distribution p(x0:t∣y1:t,r0:t)p(x_{0:t} \mid y_{1:t}, r_{0:t}) analytically for each particle.

  2. Knowl 2 — Generic Rao-Blackwellised Particle Filter Algorithm

    algorithm

    The generic Rao-Blackwellised particle filter (RBPF) recursively updates a particle approximation of the marginal posterior distribution p(r0:t−1∣y1:t−1)p(r_{0:t-1} \mid y_{1:t-1}) to p(r0:t∣y1:t)p(r_{0:t} \mid y_{1:t}) upon receiving the observation yty_t, while maintaining the analytical conditional filter state p(xt∣y1:t,r0:t(i))p(x_t \mid y_{1:t}, r_{0:t}^{(i)}) for each particle.

    Input: Particles {r0:t−1(i)}i=1N\{r_{0:t-1}^{(i)}\}_{i=1}^N at time t−1t-1, observation yty_t, proposal distribution q(rt∣r0:t−1,y1:t)q(r_t \mid r_{0:t-1}, y_{1:t})
    Output: Particles {r0:t(i)}i=1N\{r_{0:t}^{(i)}\}_{i=1}^N and analytical filtering states for p(xt∣y1:t,r0:t(i))p(x_t \mid y_{1:t}, r_{0:t}^{(i)}) at time tt
    for i=1i = 1 to NN do
        Sample candidate state r~t(i)∼q(rt∣r0:t−1(i),y1:t)\tilde{r}_t^{(i)} \sim q(r_t \mid r_{0:t-1}^{(i)}, y_{1:t})
        Form extended trajectory r~0:t(i)=(r~t(i),r0:t−1(i))\tilde{r}_{0:t}^{(i)} = (\tilde{r}_t^{(i)}, r_{0:t-1}^{(i)})
        Update analytical filter (e.g., Kalman filter or HMM filter) conditional on r~0:t(i)\tilde{r}_{0:t}^{(i)} to compute p(yt∣y1:t−1,r~0:t(i))p(y_t \mid y_{1:t-1}, \tilde{r}_{0:t}^{(i)}) and p(xt∣y1:t,r~0:t(i))p(x_t \mid y_{1:t}, \tilde{r}_{0:t}^{(i)})
        Evaluate unnormalized importance weight:
            wt(i)=p(yt∣y1:t−1,r~0:t(i))p(r~t(i)∣rt−1(i))q(r~t(i)∣r0:t−1(i),y1:t)w_t^{(i)} = \frac{p(y_t \mid y_{1:t-1}, \tilde{r}_{0:t}^{(i)}) p(\tilde{r}_t^{(i)} \mid r_{t-1}^{(i)})}{q(\tilde{r}_t^{(i)} \mid r_{0:t-1}^{(i)}, y_{1:t})}
    end for
    for i=1i = 1 to NN do
        Normalize importance weights:
            w~t(i)=wt(i)∑j=1Nwt(j)\tilde{w}_t^{(i)} = \frac{w_t^{(i)}}{\sum_{j=1}^N w_t^{(j)}}
    end for
    Resample (Selection step):
        Multiply or suppress particles {r~0:t(i)}i=1N\{\tilde{r}_{0:t}^{(i)}\}_{i=1}^N according to normalized weights {w~t(i)}i=1N\{\tilde{w}_t^{(i)}\}_{i=1}^N to obtain NN equally-weighted particles {rˉ0:t(i)}i=1N\{\bar{r}_{0:t}^{(i)}\}_{i=1}^N
    MCMC step (optional):
        for i=1i = 1 to NN do
            Apply a Markov transition kernel with invariant distribution p(r0:t∣y1:t)p(r_{0:t} \mid y_{1:t}) to particle rˉ0:t(i)\bar{r}_{0:t}^{(i)} to obtain r0:t(i)r_{0:t}^{(i)}
        end for
    return {r0:t(i)}i=1N\{r_{0:t}^{(i)}\}_{i=1}^N

    The selection step can be performed via multinomial, residual, or stratified resampling with computational complexity O(N)\mathcal{O}(N). The MCMC step mitigates sample impoverishment by adding particle diversity after resampling, without requiring kernel ergodicity.

  3. Knowl 3 — Variance Reduction and Central Limit Theorem for Rao-Blackwellised Importance Sampling

    theoretical result

    Let z0:t=(r0:t,x0:t)z_{0:t} = (r_{0:t}, x_{0:t}) denote the hidden state trajectories, y1:ty_{1:t} the observed sequence, and ft(r0:t,x0:t)f_t(r_{0:t}, x_{0:t}) a test function whose posterior expectation I(ft)=Ep(r0:t,x0:t∣y1:t)[ft(r0:t,x0:t)]I(f_t) = \mathbb{E}_{p(r_{0:t}, x_{0:t} \mid y_{1:t})}[f_t(r_{0:t}, x_{0:t})] is estimated using proposal distribution q(r0:t,x0:t∣y1:t)=q(r0:t∣y1:t)p(x0:t∣y1:t,r0:t)q(r_{0:t}, x_{0:t} \mid y_{1:t}) = q(r_{0:t} \mid y_{1:t}) p(x_{0:t} \mid y_{1:t}, r_{0:t}).

    Define the standard importance sampling estimator:

    IˉN(ft)=∑i=1Nft(r0:t(i),x0:t(i))w(r0:t(i),x0:t(i))∑i=1Nw(r0:t(i),x0:t(i))\bar{I}_N(f_t) = \frac{\sum_{i=1}^N f_t(r_{0:t}^{(i)}, x_{0:t}^{(i)}) w(r_{0:t}^{(i)}, x_{0:t}^{(i)})}{\sum_{i=1}^N w(r_{0:t}^{(i)}, x_{0:t}^{(i)})}

    where w(r0:t,x0:t)=p(r0:t,x0:t∣y1:t)q(r0:t,x0:t∣y1:t)w(r_{0:t}, x_{0:t}) = \frac{p(r_{0:t}, x_{0:t} \mid y_{1:t})}{q(r_{0:t}, x_{0:t} \mid y_{1:t})}, and the Rao-Blackwellised importance sampling estimator:

    IˉNRB(ft)=∑i=1NEp(x0:t∣y1:t,r0:t(i))[ft(r0:t(i),x0:t)]w(r0:t(i))∑i=1Nw(r0:t(i))\bar{I}_N^{\mathrm{RB}}(f_t) = \frac{\sum_{i=1}^N \mathbb{E}_{p(x_{0:t} \mid y_{1:t}, r_{0:t}^{(i)})}[f_t(r_{0:t}^{(i)}, x_{0:t})] w(r_{0:t}^{(i)})}{\sum_{i=1}^N w(r_{0:t}^{(i)})}

    where w(r0:t)=p(r0:t∣y1:t)q(r0:t∣y1:t)=∫w(r0:t,x0:t)p(x0:t∣y1:t,r0:t) dx0:tw(r_{0:t}) = \frac{p(r_{0:t} \mid y_{1:t})}{q(r_{0:t} \mid y_{1:t})} = \int w(r_{0:t}, x_{0:t}) p(x_{0:t} \mid y_{1:t}, r_{0:t}) \, dx_{0:t}.

    For any sample size NN, the variances satisfy:

    varq(r0:t∣y1:t)(w(r0:t))≤varq(r0:t,x0:t∣y1:t)(w(r0:t,x0:t))\mathrm{var}_{q(r_{0:t} \mid y_{1:t})}(w(r_{0:t})) \le \mathrm{var}_{q(r_{0:t}, x_{0:t} \mid y_{1:t})}(w(r_{0:t}, x_{0:t})) varq(r0:t∣y1:t)(1N∑i=1NEp[ft]w(r0:t(i)))≤varq(r0:t,x0:t∣y1:t)(1N∑i=1Nft(r0:t(i),x0:t(i))w(r0:t(i),x0:t(i)))\mathrm{var}_{q(r_{0:t} \mid y_{1:t})}\left(\frac{1}{N}\sum_{i=1}^N \mathbb{E}_{p}[f_t] w(r_{0:t}^{(i)})\right) \le \mathrm{var}_{q(r_{0:t}, x_{0:t} \mid y_{1:t})}\left(\frac{1}{N}\sum_{i=1}^N f_t(r_{0:t}^{(i)}, x_{0:t}^{(i)}) w(r_{0:t}^{(i)}, x_{0:t}^{(i)})\right) varq(r0:t∣y1:t)(1N∑i=1Nw(r0:t(i)))≤varq(r0:t,x0:t∣y1:t)(1N∑i=1Nw(r0:t(i),x0:t(i)))\mathrm{var}_{q(r_{0:t} \mid y_{1:t})}\left(\frac{1}{N}\sum_{i=1}^N w(r_{0:t}^{(i)})\right) \le \mathrm{var}_{q(r_{0:t}, x_{0:t} \mid y_{1:t})}\left(\frac{1}{N}\sum_{i=1}^N w(r_{0:t}^{(i)}, x_{0:t}^{(i)})\right)

    Furthermore, both estimators satisfy a Central Limit Theorem as N→∞N \to \infty:

    N(IˉN(ft)−I(ft))⟹N(0,σ12)\sqrt{N}\left(\bar{I}_N(f_t) - I(f_t)\right) \Longrightarrow \mathcal{N}(0, \sigma_1^2) N(IˉNRB(ft)−I(ft))⟹N(0,σ22)\sqrt{N}\left(\bar{I}_N^{\mathrm{RB}}(f_t) - I(f_t)\right) \Longrightarrow \mathcal{N}(0, \sigma_2^2)

    with σ22≤σ12\sigma_2^2 \le \sigma_1^2. The asymptotic variance difference is:

    σ12−σ22=Eq(r0:t∣y1:t)[varq(x0:t∣y1:t,r0:t)((ft(r0:t,x0:t)−I(ft))w(r0:t,x0:t))]≥0\sigma_1^2 - \sigma_2^2 = \mathbb{E}_{q(r_{0:t} \mid y_{1:t})}\left[\mathrm{var}_{q(x_{0:t} \mid y_{1:t}, r_{0:t})}\left((f_t(r_{0:t}, x_{0:t}) - I(f_t)) w(r_{0:t}, x_{0:t})\right)\right] \ge 0

    which shows that Rao-Blackwellisation provides large variance reduction when the conditional variance of x0:tx_{0:t} given r0:tr_{0:t} and y1:ty_{1:t} is high.

  4. Knowl 4 — Optimal Importance Proposal Distribution and Incremental Weights for RBPF

    theoretical result

    When importance distributions of the sequential form:

    q(r0:t∣y1:t)=q(r0)∏k=1tq(rk∣y1:k,r0:k−1)q(r_{0:t} \mid y_{1:t}) = q(r_0) \prod_{k=1}^t q(r_k \mid y_{1:k}, r_{0:k-1})

    are used in a Rao-Blackwellised particle filter, the proposal distribution q(rt∣r0:t−1,y1:t)q(r_t \mid r_{0:t-1}, y_{1:t}) that minimizes the variance of the importance weights conditional upon r0:t−1r_{0:t-1} and y1:ty_{1:t} is the one-step true marginal posterior distribution:

    p(rt∣r0:t−1,y1:t)=p(yt∣y1:t−1,r0:t)p(rt∣rt−1)p(yt∣y1:t−1,r0:t−1)p(r_t \mid r_{0:t-1}, y_{1:t}) = \frac{p(y_t \mid y_{1:t-1}, r_{0:t}) p(r_t \mid r_{t-1})}{p(y_t \mid y_{1:t-1}, r_{0:t-1})}

    The corresponding incremental importance weight wtw_t, which is independent of the sampled value rtr_t, is given by:

    wt=p(yt∣y1:t−1,r0:t−1)=∫p(yt∣y1:t−1,r0:t)p(rt∣rt−1) drtw_t = p(y_t \mid y_{1:t-1}, r_{0:t-1}) = \int p(y_t \mid y_{1:t-1}, r_{0:t}) p(r_t \mid r_{t-1}) \, dr_t

    where p(yt∣y1:t−1,r0:t)p(y_t \mid y_{1:t-1}, r_{0:t}) is the predictive likelihood obtained by marginalizing over xtx_t via the exact filter conditional on r0:tr_{0:t}.

  5. Knowl 5 — Monotonic Increase of Unconditional Importance Weight Variance in SIS

    theoretical result

    For sequential importance sampling (SIS) schemes where the proposal distribution factorizes sequentially according to:

    q(r0:t∣y1:t)=q(r0)∏k=1tq(rk∣y1:k,r0:k−1)q(r_{0:t} \mid y_{1:t}) = q(r_0) \prod_{k=1}^t q(r_k \mid y_{1:k}, r_{0:k-1})

    the unconditional variance of the importance weights w(r0:t)=p(r0:t∣y1:t)q(r0:t∣y1:t)w(r_{0:t}) = \frac{p(r_{0:t} \mid y_{1:t})}{q(r_{0:t} \mid y_{1:t})}, treating the observations y1:ty_{1:t} and the state trajectory r0:tr_{0:t} as random variables, increases monotonically over time tt.

    This stochastic variance growth causes SIS weight degeneracy: in practice, after a small number of iterations, the normalized weight of a single particle approaches 1 while all other particle weights vanish, necessitating selection/resampling mechanisms.

  6. Knowl 6 — Mean Square Convergence Bound for Rao-Blackwellised Particle Filters

    theoretical result

    Let B(Rnr(t+1))B(\mathbb{R}^{n_r(t+1)}) denote the space of bounded, Borel measurable functions on the trajectory space Rnr(t+1)\mathbb{R}^{n_r(t+1)} of r0:tr_{0:t}, with supremum norm ∥ft∥=sup⁡r∣ft(r)∣\|f_t\| = \sup_{r} |f_t(r)|.

    If the incremental importance weights wtw_t are upper bounded and a valid selection scheme is used (such as multinomial, residual, or stratified sampling where E[Ni]=Nw~t(i)\mathbb{E}[N_i] = N \tilde{w}_t^{(i)}), then for all t≥0t \ge 0, there exists a constant ct<∞c_t < \infty independent of the particle count NN such that for any ft∈B(Rnr(t+1))f_t \in B(\mathbb{R}^{n_r(t+1)}):

    E[(1N∑i=1Nft(r0:t(i))−∫ft(r0:t)p(r0:t∣y1:t) dr0:t)2]≤ct∥ft∥2N\mathbb{E}\left[\left(\frac{1}{N}\sum_{i=1}^N f_t(r_{0:t}^{(i)}) - \int f_t(r_{0:t}) p(r_{0:t} \mid y_{1:t}) \, dr_{0:t}\right)^2\right] \le c_t \frac{\|f_t\|^2}{N}

    where the expectation is taken with respect to the random simulation operations introduced by the particle filter.

    The convergence rate O(1/N)\mathcal{O}(1/\sqrt{N}) in L2L_2 norm is independent of the dimension of the state space, although the constant ctc_t typically grows exponentially with time tt for general continuous state-space models.

  7. Knowl 7 — RBPF for Online Regression and Model Selection with Dynamic RBF Neural Networks

    model/method

    In non-stationary online regression using radial basis function (RBF) neural networks, the function output at time tt is modeled as a mixture of ktk_t basis functions plus linear terms and additive Gaussian observation noise N(0,σt2)\mathcal{N}(0, \sigma_t^2):

    yt=∑j=1ktαj,tϕ(∥xt−μj,t∥)+ϵt,ϵt∼N(0,σt2)y_t = \sum_{j=1}^{k_t} \alpha_{j,t} \phi(\|x_t - \mu_{j,t}\|) + \epsilon_t, \quad \epsilon_t \sim \mathcal{N}(0, \sigma_t^2)

    where the number of basis functions ktk_t, basis centers μt={μ1,t,…,μkt,t}\mu_t = \{\mu_{1,t}, \dots, \mu_{k_t,t}\}, regression coefficients αt=(α1,t,…,αkt,t)T\alpha_t = (\alpha_{1,t}, \dots, \alpha_{k_t,t})^T, and noise variance σt2\sigma_t^2 are all time-varying latent variables.

    Because the network output is linear in αt\alpha_t conditional on the basis parameters (kt,μt)(k_t, \mu_t) and variance σt2\sigma_t^2, the system forms a conditionally linear Gaussian state-space model (CLGSSM). The RBPF algorithm:

    1. Samples the non-linear discrete and continuous latent variables rt=(kt,μt,σt2)r_t = (k_t, \mu_t, \sigma_t^2) using sequential Monte Carlo combined with reversible jump MCMC transitions to handle dimension changes in ktk_t.
    2. Marginalizes and estimates the linear weight vector xt=αtx_t = \alpha_t analytically and exactly for each particle using standard Kalman filters.
  8. Knowl 8 — Rao-Blackwellised Particle Filtering for Concurrent Robot Localization and Map Learning

    model/method

    For a mobile robot navigating a discrete grid of NLN_L cells with NCN_C possible cell colors, concurrent localization and map learning is formulated as Bayesian state estimation over the robot location Lt∈{1,…,NL}L_t \in \{1, \dots, N_L\} and the grid map Mt=(Mt(1),…,Mt(NL))M_t = (M_t(1), \dots, M_t(N_L)), where each Mt(i)∈{1,…,NC}M_t(i) \in \{1, \dots, N_C\}. The full joint state space has size O(NLNCNL)\mathcal{O}(N_L N_C^{N_L}).

    The observation Yt=f(Mt(Lt))Y_t = f(M_t(L_t)) is a noisy sensor readout of the color of cell LtL_t. Conditional on the entire robot trajectory L1:tL_{1:t}, all grid map cells Mt(i)M_t(i) are mutually independent:

    P(Mt(1),…,Mt(NL)∣y1:t,L1:t)=∏i=1NLP(Mt(i)∣y1:t,L1:t)P(M_t(1), \dots, M_t(N_L) \mid y_{1:t}, L_{1:t}) = \prod_{i=1}^{N_L} P(M_t(i) \mid y_{1:t}, L_{1:t})

    The RBPF samples only the low-dimensional robot trajectory L1:tL_{1:t} via a particle filter, and tracks the exact discrete marginal posterior distributions P(Mt(i)∣y1:t,L1:t)P(M_t(i) \mid y_{1:t}, L_{1:t}) independently for each cell i∈{1,…,NL}i \in \{1, \dots, N_L\} analytically per particle using discrete HMM filter updates.

  9. Knowl 9 — Empirical Comparison of RBPF, Exact Bayesian Inference, and Boyen-Koller Algorithm for Robot Localization and Mapping

    empirical result

    In a 1D corridor of 8 cells where a robot moves back and forth and gets stuck in cell 4 for two consecutive time steps on the outgoing leg, RBPF using N=50N=50 particles was compared against exact Bayesian inference and the fully-factorized Boyen-Koller (BK) algorithm:

    • Exact inference: The robot maintains multimodal uncertainty while moving through cells 4 to 8, and upon reaching the end of the corridor at step 9, successfully relocalizes and resolves past position and map uncertainty.
    • RBPF (50 particles): Closely replicates the exact posterior distribution across all time steps, successfully resolving trajectory and map state at step 9.
    • Fully-factorized BK: Represents the belief state as a fully-factored product P(Lt,Mt(1),…,Mt(NL)∣y1:t)≈P(Lt∣y1:t)∏i=1NLP(Mt(i)∣y1:t)P(L_t, M_t(1), \dots, M_t(N_L) \mid y_{1:t}) \approx P(L_t \mid y_{1:t}) \prod_{i=1}^{N_L} P(M_t(i) \mid y_{1:t}). It fails and gets confused because discarding the correlations between map cells and robot location prevents successful relocalization.

    In a 2D grid world of size 10×1010 \times 10 (state space size O(2100)\mathcal{O}(2^{100})) with a 3×33 \times 3 local neighborhood sensor, RBPF successfully learns the map using 100 particles.

Coverage note — None was omitted; the extracted knowls comprehensively cover the theoretical formulation of Rao-Blackwellised particle filtering, variance reduction theorems, optimal proposal construction, SIS weight degeneracy, convergence bounds, the generic RBPF algorithm, and its application and empirical validation on neural network regression and robot SLAM.

References

  1. 1.Akashi, H. and Kumamoto, H. (1977). Random sampling approach to state estimation in switching environments, Automatica 13: 429–434.
  2. 2.Andrieu, C., de Freitas, J. F. G. and Doucet, A. (1999a). Sequential Bayesian estimation and model selection applied to neural networks, Technical Report CUED/F-INFENG/TR 341, Cambridge University Engineering Department.
  3. 3.Andrieu, C., de Freitas, J. F. G. and Doucet, A. (1999b). Sequential MCMC for Bayesian model selection, IEEE Higher Order Statistics Workshop, Ceasarea, Israel, pp. 130–134.
  4. 4.Becker, A., Bar-Yehuda, R. and Geiger, D. (1999). Random algorithms for the loop cutset problem.
  5. 5.Bernardo, J. M. and Smith, A. F. M. (1994). Bayesian Theory, Wiley Series in Applied Probability and Statistics.
  6. 6.Boutilier, C., Friedman, N., Goldszmidt, M. and Koller, D. (1996). Context-specific independence in bayesian networks, Proc. Conf. Uncertainty in AI.
  7. 7.Boyen, X. and Koller, D. (1998). Tractable inference for complex stochastic processes, Proc. Conf. Uncertainty in AI.
  8. 8.Casella, G. and Robert, C. P. (1996). Rao-Blackwellisation of sampling schemes, Biometrika 83(1): 81–94.
  9. 9.Cowell, R. G., Dawid, A. P., Lauritzen, S. L. and Spiegelhalter, D. J. (1999). Probabilistic Networks and Expert Systems, Springer-Verlag, New York.
  10. 10.Crisan, D. and Doucet, A. (2000). Convergence of generalized particle filters, Technical Report CUED/F-INFENG/TR 381, Cambridge University Engineering Department.
  11. 11.Crisan, D., Del Moral, P. and Lyons, T. (1999). Discrete filtering using branching and interacting particle systems, Markov Processes and Related Fields 5(3): 293–318.
  12. 12.de Freitas, J. F. G. (1999). Bayesian Methods for Neural Networks, PhD thesis, Department of Engineering, Cambridge University, Cambridge, UK.
  13. 13.Dean, T. and Kanazawa, K. (1989). A model for reasoning about persistence and causation, Artificial Intelligence 93(1–2): 1–27.
  14. 14.Doucet, A. (1998). On sequential simulation-based methods for Bayesian filtering, Technical Report CUED/F-INFENG/TR 310, Department of Engineering, Cambridge University.
  15. 15.Doucet, A., de Freitas, J. F. G. and Gordon, N. J. (2000). Sequential Monte Carlo Methods in Practice, Springer-Verlag.
  16. 16.Doucet, A., Godsill, S. and Andrieu, C. (2000). On sequential Monte Carlo sampling methods for Bayesian filtering, Statistics and Computing 10(3): 197–208.
  17. 17.Doucet, A., Gordon, N. J. and Krishnamurthy, V. (1999). Particle filters for state estimation of jump Markov linear systems, Technical Report CUED/F-INFENG/TR 359, Cambridge University Engineering Department.
  18. 18.Ghahramani, Z. and Jordan, M. (1997). Factorial Hidden Markov Models, Machine Learning 29: 245–273.
  19. 19.Gilks, W. R. and Berzuini, C. (1998). Monte Carlo inference for dynamic Bayesian models, Unpublished. Medical Research Council, Cambridge, UK.
  20. 20.Gordon, N. J., Salmond, D. J. and Smith, A. F. M. (1993). Novel approach to nonlinear/non-Gaussian Bayesian state estimation, IEE Proceedings-F 140(2): 107–113.
  21. 21.Green, P. J. (1995). Reversible jump Markov chain Monte Carlo computation and Bayesian model determination, Biometrika 82: 711–732.
  22. 22.Handschin, J. E. and Mayne, D. Q. (1969). Monte Carlo techniques to estimate the conditional expectation in multi-stage non-linear filtering, International Journal of Control 9(5): 547–559.
  23. 23.Isard, M. and Blake, A. (1996). Contour tracking by stochastic propagation of conditional density, European Conference on Computer Vision, Cambridge, UK, pp. 343–356.
  24. 24.Kanazawa, K., Koller, D. and Russell, S. (1995). Stochastic simulation algorithms for dynamic probabilistic networks, Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann, pp. 346–351.
  25. 25.Kitagawa, G. (1996). Monte Carlo filter and smoother for non-Gaussian nonlinear state space models, Journal of Computational and Graphical Statistics 5: 1–25.
  26. 26.Kong, A., Liu, J. S. and Wong, W. H. (1994). Sequential imputations and Bayesian missing data problems, Journal of the American Statistical Association 89(425): 278–288.
  27. 27.Liu, J. S. and Chen, R. (1998). Sequential Monte Carlo methods for dynamic systems, Journal of the American Statistical Association 93: 1032–1044.
  28. 28.MacEachern, S. N., Clyde, M. and Liu, J. S. (1999). Sequential importance sampling for nonparametric Bayes models: the next generation, Canadian Journal of Statistics 27: 251–267.
  29. 29.Murphy, K. P. (2000). Bayesian map learning in dynamic environments, in S. Solla, T. Leen and K.-R. Müller (eds), Advances in Neural Information Processing Systems 12, MIT Press, pp. 1015–1021.
  30. 30.Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann.
  31. 31.Pitt, M. K. and Shephard, N. (1999). Filtering via simulation: Auxiliary particle filters, Journal of the American Statistical Association 94(446): 590–599.
  32. 32.Smith, R. L. and Miller, J. E. (1986). Predictive records, Journal of the Royal Statistical Society B 36: 79–88.
  33. 33.Uhlig, H. (1997). Bayesian vector-autoregressions with stochastic volatility, Econometrica.
  34. 34.Vidoni, P. (1999). Exponential family state space models based on a conjugate latent process, Journal of the Royal Statistical Society B 61: 213–221.
  35. 35.West, M. (1993). Mixture models, Monte Carlo, Bayesian updating and dynamic models, Computing Science and Statistics 24: 325–333.
  36. 36.West, M. and Harrison, J. (1996). Bayesian Forecasting and Dynamic Linear Models, Springer-Verlag.

Citation

MLA
Doucet, A., et al. “Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks”. arXiv, 2013, http://arxiv.org/abs/1301.3853v1.
APA
Doucet, A., Freitas, N. de ., Murphy, K., & Russell, S. (2013). Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks. arXiv. http://arxiv.org/abs/1301.3853v1
Chicago
Doucet, A., N. de . Freitas, K. Murphy, and S. Russell. 2013. “Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks”. arXiv. http://arxiv.org/abs/1301.3853v1.
Harvard
Doucet, A. et al. (2013) “Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks”, arXiv [Preprint]. Available at: http://arxiv.org/abs/1301.3853v1.
Vancouver
1. Doucet A, Freitas N de, Murphy K, Russell S (2013) Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks. arXiv

BibTeX

@article{doucet2013rao,
  title = {Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks},
  author = {Doucet, Arnaud and Freitas, Nando de and Murphy, Kevin and Russell, Stuart},
  year = {2013},
  journal = {arXiv},
  url = {http://arxiv.org/abs/1301.3853v1},
  eprint = {1301.3853}
}
Metadata:arXiv

Access the Paper

This paper is available from its original source. Click below to access the PDF.

Open PDF
License: https://creativecommons.org/licenses/by/4.0/