Robotics
← Roadmap/Foundations

Probability & Statistics

Uncertainty, Bayes, Gaussians — the basis of estimation.

Progress0/9 questions

Why it matters in robotics

Nearly every robotics estimation system — localization, SLAM, sensor fusion, tracking — reasons about noisy, uncertain data using probability. A robot combines what it expected to happen with what a sensor just measured to form an updated belief about the world, and the shape of that uncertainty (its mean and how it spreads and correlates across variables) has to stay easy to compute with as the robot moves and takes new readings, over and over, in real time. This probabilistic foundation is what makes reliable state estimation possible.

What to study

  • Bayes' rule: priors, likelihoods, posteriors, and the normalizing evidence term
  • Gaussian distributions: mean/covariance, marginalization, conditioning, and why products of Gaussians stay Gaussian
  • Random variables, expectation, variance, and conditional/joint distributions
  • The Bayes filter: recursive predict (motion) and update (measurement) state estimation

Where to study

Cheatsheet

Symbols used below

P(A)P(A)probability of event AA
P(AB)P(A \mid B)probability of AA given BB
μ,Σ\mu, \Sigmamean vector, covariance matrix
x,yx, yjointly Gaussian random vectors
Σxy\Sigma_{xy}cross-covariance block between xx and yy

Bayes' rule

P(xz)=P(zx)P(x)P(z)P(x \mid z) = \dfrac{P(z \mid x)\, P(x)}{P(z)}

posterior \propto likelihood ×\times prior. P(z)P(z) just normalizes so the posterior integrates to 1 — it doesn't depend on xx.

Gaussians stay Gaussian

The product of two Gaussian densities is (up to a constant) another Gaussian — this is why a Gaussian prior times a Gaussian likelihood gives a clean, closed-form Gaussian posterior.

Marginals and conditionals of a joint Gaussian are also Gaussian — nothing exotic ever appears downstream.

Gaussian conditioning

For [xy]N ⁣([μxμy],[ΣxxΣxyΣyxΣyy])\begin{bmatrix}x\\y\end{bmatrix} \sim \mathcal{N}\!\left(\begin{bmatrix}\mu_x\\\mu_y\end{bmatrix}, \begin{bmatrix}\Sigma_{xx} & \Sigma_{xy}\\ \Sigma_{yx} & \Sigma_{yy}\end{bmatrix}\right), observing yy gives

μxy=μx+ΣxyΣyy1(yμy)\mu_{x\mid y} = \mu_x + \Sigma_{xy}\Sigma_{yy}^{-1}(y - \mu_y)

Σxy=ΣxxΣxyΣyy1Σyx\Sigma_{x\mid y} = \Sigma_{xx} - \Sigma_{xy}\Sigma_{yy}^{-1}\Sigma_{yx} — uncertainty can only shrink, never grow.

The Bayes filter cycle

Predict: push the belief through the motion model — uncertainty grows (convolve with process noise).

Update: multiply by the measurement likelihood and renormalize — uncertainty shrinks. Every recursive estimator (Kalman filter, particle filter, histogram filter) is this same two-step cycle.

Uncorrelated ≠ independent

Zero covariance only rules out linear relationship. Two variables can have Cov(X,Y)=0\mathrm{Cov}(X,Y) = 0 while one is an exact nonlinear function of the other.

Independence is the stronger condition: P(x,y)=P(x)P(y)P(x,y) = P(x)P(y) for all values, not just zero linear correlation.

ρ < 0ρ = 0ρ > 0covariance shapes the 2-D Gaussian's ellipse
A 2-D Gaussian's covariance sets its ellipse: off-diagonal correlation tilts it; ρ=0 is axis-aligned; |ρ|→1 collapses it toward a line.
 FrequentistBayesian
Treats parameters asFixed, unknown constantsRandom variables with a distribution
Uses prior knowledge?No — only the observed dataYes — explicit prior, updated by data
OutputPoint estimate + confidence intervalFull posterior distribution
Robotics fitSimple calibration, hypothesis testsRecursive estimation (Bayes/Kalman/particle filters)
Predictbel⁻ = ∫ p(x|x′,u) bel dx′(motion model)Updatebel ∝ p(z|x) · bel⁻(measurement, normalize)bel⁻bel
Every Bayes filter alternates a predict step (convolve the belief with the motion model) and an update step (multiply by the measurement likelihood, then normalize).

Application focus

Select an application above.

Practice questions (9)