A Zakai equation derivation of the extended Kalman filter

A discrete time filter is considered where both the observation and signal process have non-linear dynamics with additive Gaussian noise. Using the reference probability framework a convolution type Zakai equation is obtained which updates the unnormalized conditional density. Using first order approximations this equation can be solved recursively and the extended Kalman filter can be derived.