Reference

Notation and color code

One table for the whole book. A chapter may add symbols to its own table; it may not change one of these.

Symbols

Notation used in the book
SymbolMeaningRust
xt=(x,y,θ)x_t = (x, y, \theta)robot pose at time t, an element of SE(2)robotics_core::Se2
τ=(vx,vy,ω)\tau = (v_x, v_y, \omega)tangent vector of SE(2), translation firstrobotics_core::Tangent2
x⊞δ=x exp⁡(δ)x \boxplus \delta = x\,\exp(\delta)retraction: right (body-frame) perturbationManifold::boxplus
y⊟x=log⁡(x−1y)y \boxminus x = \log(x^{-1} y)local difference of two posesManifold::boxminus
utu_tcontrol (commanded or measured motion) over (t-1, t]VelocityCmd, OdomDelta
ztz_tmeasurement at time tLaserScan, ImuMeasurement
bel⁡(xt)\operatorname{bel}(x_t)posterior belief p(x_t | z_{1:t}, u_{1:t})BayesFilter::correct
bel⁡‾(xt)\overline{\operatorname{bel}}(x_t)predicted belief, before the measurementBayesFilter::predict
Rt,;QtR_t,; Q_tmotion noise covariance, measurement noise covariance (Thrun naming)KalmanFilter
μ,;Σ\mu,; \Sigmamean and covariance of a Gaussian beliefGaussian
εk=e⊤P−1e\varepsilon_k = e^\top P^{-1} eNEES: error against truth in the filter's own metric (expected: state dimension)consistency::nees
νk=r⊤S−1r\nu_k = r^\top S^{-1} rNIS: innovation in its own metric (expected: measurement dimension)consistency::nis
z∗z^*expected range from ray casting the map at a poseWorld::raycast

The five roles

Every figure, equation term, and widget uses the same five colors for the same five things.

  • prior
  • prediction
  • measurement
  • posterior
  • ground truth