Bayesian Integrity Monitoring for Cellular Positioning — A Simplified Case Study

Bayesian receiver autonomous integrity monitoring (RAIM) algorithms are developed for the snapshot cellular positioning problem in a simplified one-dimensional (1D) linear Gaussian setting. They allow for position estimation, multi-fault detection and exclusion, and protection level (PL) computation by the efficient and exact computation of the position posterior probabilities via message passing along a factor graph. Numerical simulations show that the proposed Bayesian RAIM algorithms achieve significant performance improvement over a baseline advanced RAIM algorithm by providing tighter protection levels (PLs) that meet the target intearity risk (TIR) requirements.