Intuition The one core idea
The Extended Kalman Filter is just the ordinary Kalman Filter with one repair: wherever the real world curves, we replace the curve by its tangent line at our current best guess so the straight-line filter math still works. Everything on this page — vectors, derivatives, slopes, matrices — exists to build the meaning of that one sentence: a curve, zoomed in, is a line.
This page assumes you have seen nothing . We name every symbol the parent note throws at you, draw the picture behind it, and say why the EKF cannot live without it. Read top to bottom; each item is a brick for the next.
x
A state is the shortest list of numbers that fully describes what your vehicle is doing right now . We stack that list into a column and call it x (bold = it is a whole list, not one number).
Plain words: "everything I need to know to predict the next instant."
Picture: a single arrow-tipped dot living in a room whose axes are the quantities (position, velocity, angle...). See the figure below.
Why the topic needs it: the filter's entire job is to track this dot as new sensor data arrives.
For example a 2D target is x = [ x , y ] ⊤ . The little ⊤ ("transpose") just means "written as a standing-up column instead of a lying-down row" — it saves page space to write [ x , y ] ⊤ on one line.
Definition Measurement vector
z
A measurement is what your sensor actually reports. It is not the state — it is some function of the state, often a distorted one.
Plain words: "the number the radar screen shows," which may be range, or an angle, not the raw x , y .
Picture: a second, smaller room; an arrow (the function h ) maps the state-dot into it.
Why: the whole difficulty of the EKF is that the map from state to measurement is curved .
Why can't we just read the state directly? ::: Sensors report indirect, nonlinear quantities (a range $\sqrt{x^2+y^2}$, a bearing angle) — never the clean state itself.
f = the motion machine, h = the sensor machine
f ( x ) takes the current state and returns the next state (how things move).
h ( x ) takes a state and returns the measurement it would produce.
Picture: two black boxes. Feed a dot in, a dot comes out — but the output dot may be somewhere curved-looking, not a straight scaling of the input.
Why: the parent note writes x k = f ( x k − 1 , u ) + w and z k = h ( x k ) + v . Those two machines are the model of your system.
The subscript k means "at time step number k ." So x k − 1 is "last tick," x k is "this tick." u is the control input — the commands you sent (throttle, steering) that also move the state.
A map is linear if doubling the input doubles the output and inputs add cleanly: straight lines stay straight, no bending. In symbols a linear map is just multiplication by a fixed matrix, y = M x .
Picture: a grid of squares gets stretched/rotated but stays a grid of straight lines.
Nonlinear means the grid bends — the picture below shows exactly this.
Intuition Why nonlinearity breaks the ordinary Kalman Filter
A bell-curve of uncertainty (a Gaussian ) pushed through a straight map comes out another bell curve. Pushed through a bent map it comes out lop-sided and skewed — no longer a bell curve. The Kalman Filter only knows how to carry bell curves. So we must first straighten the bend locally .
What stays Gaussian through a linear map but not a nonlinear one? ::: The uncertainty cloud (a Gaussian); a curve skews it into a non-Gaussian shape.
d x d g = local slope
The derivative of a function at a point is the steepness of the curve right there — "how many units does the output rise for one tiny unit of input."
Plain words: "the slope of the ramp you feel if you stand at that exact spot."
Picture: zoom into any smooth curve far enough and it looks straight; the derivative is the slope of that straight zoom-in. See figure.
Why the EKF needs it: the derivative is the tangent line's slope, and the tangent line is our straightened stand-in for the curve.
This is the single most important formula on the page — the EKF applies it at every time step. Deeper background lives in Taylor Series & Linearization .
Common mistake The tangent is only good
nearby
Far from x ^ the straight line and the real curve peel apart. That is exactly why a bad initial guess makes an EKF diverge — you linearized at the wrong spot. (Parent note, Steel-manned error 5.)
Definition Partial derivative
∂ x ∂ g
When a function eats several inputs (say x and y ), the partial derivative with respect to x asks: "how does the output change if I nudge only x and freeze everything else?"
Picture: stand on a hillside; the partial in x is the slope you feel walking due-east only; the partial in y is the slope walking due-north only.
Why: states have many components, so "the slope" is really a collection of one-direction slopes.
The curly ∂ (instead of straight d ) is a flag that says "several inputs are present; I'm holding the others fixed."
What does $\partial r/\partial x$ mean in words? ::: How much the range $r$ changes when only $x$ moves, with $y$ held still.
Definition Jacobian matrix
J
Line up every output; for each, list its partial derivative with respect to every input. Arrange them in a grid. That grid is the Jacobian .
Row i = "how output g i reacts to each input" (its full sensitivity).
Column j = "how input x j pushes on every output."
Picture: the best flat sheet (linear map) tangent to the bent grid at your point — the multi-input version of "the tangent line."
Why: the Kalman equations need a constant matrix . The Jacobian is the best constant matrix approximating the curve locally — so it is exactly what F and H are.
J = ∂ x 1 ∂ g 1 ∂ x 1 ∂ g 2 ∂ x 2 ∂ g 1 ∂ x 2 ∂ g 2
In the EKF the two Jacobians earn their own letters: F = ∂ f / ∂ x (motion) and H = ∂ h / ∂ x (sensor). More on the machinery in Jacobian Matrix & Multivariable Calculus .
Definition Covariance matrix
P
P measures how uncertain you are, and in which directions the uncertainty is correlated.
Plain words: "the fuzziness of the state-dot" — a small P means a tight confident guess, a big P a vague one.
Picture: an ellipse (a squashed circle) drawn around the state-dot; long axis = the direction you're least sure of.
Why: the filter tracks not just where it thinks the vehicle is, but how much to trust that — and that trust ellipse must be carried forward too.
Intuition Why covariance transforms by
F P F ⊤ and not by f
The uncertainty ellipse is stretched by whatever slope the map has — i.e. by the Jacobian F , not by the curve itself. Stretch it once on the way in (F ) and once on the way out (F ⊤ , the transpose, which handles the other axis). Feeding an ellipse into f directly has no meaning. (Parent note, Steel-manned error 1.)
The Q and R letters you'll meet are the covariances of the random pushes w (process noise) and v (sensor noise) — "how jittery is the world" and "how noisy is the sensor." Full treatment in Covariance Propagation .
atan2 ( y , x )
The bearing angle to a point. Plain arctan ( y / x ) can't tell front from back (it repeats every 18 0 ∘ ); atan2 uses the signs of x and y separately to place the angle in the correct one of all four quadrants.
Picture: a full 36 0 ∘ compass; atan2 returns the true heading, arctan only a half-circle.
Why: radar bearing measurements need the right quadrant, and angle differences must be wrapped to ( − π , π ] (so 35 9 ∘ − 1 ∘ gives − 2 ∘ , not 35 8 ∘ ). See atan2 & Angle Wrapping .
State vector x and measurement z
Tangent line = Taylor first order
Covariance P as an ellipse
This map feeds directly into the parent, the EKF topic note . If the tangent-line idea still feels shaky, the gentler linear case lives in Kalman Filter (linear) , and when linearization is too crude the alternative is Unscented Kalman Filter (UKF) . The big-picture role sits in State Estimation in GNC .
Say each answer aloud before revealing.
What is a state vector x ? ::: The shortest list of numbers fully describing the system now, stacked as a column.
What does ⊤ mean? ::: Transpose — write a row as a column (or vice versa).
Difference between z and x ? ::: z is the (indirect, curved) sensor reading; x is the true internal state.
What do f and h do? ::: f maps state to next state (motion); h maps state to measurement (sensor).
Why does nonlinearity break the ordinary KF? ::: It skews a Gaussian into a non-Gaussian shape the KF can't carry.
What is a derivative in one phrase? ::: The local slope — output rise per tiny input nudge.
Write the first-order Taylor line. ::: g ( x ) ≈ g ( x ^ ) + g ′ ( x ^ ) ( x − x ^ ) .
What is a partial derivative? ::: Slope when you nudge one input and freeze the rest.
What is the Jacobian? ::: The grid of all partial derivatives — the best local linear (constant-matrix) approximation.
What are F and H ? ::: Jacobians of f and h ; the constant matrices the KF equations need.
What does P represent, and its picture? ::: Uncertainty; an ellipse around the state-dot.
Why does P transform as F P F ⊤ not f ( P ) ? ::: Covariance is a spread, stretched by the map's slope (Jacobian), not by the curve.
What does atan2 fix that arctan can't? ::: The correct quadrant of a bearing angle over the full 36 0 ∘ .