Recursive State Estimation with Nonlinear Sensor