A Nonlinear Filter of EKF Type Using Formal Linearization of Polynomials for Both State and Measurement Equations | Synapse