The Polynomial Extended Kalman Filter as an Exponential Observer for Nonlinear Discrete-Time Systems