摘要:AbstractDealing with nonlinear dynamics in conventional estimation methods like the extended Kalman filter (EKF) is challenging, since they are not guaranteed to have global convergence, and their instability can arise by selecting a poor initial guess. Recently, a double Kalman filter (DKF) has been proposed, where two stages of estimation are considered using cascade stability theory in the continuous time domain. The first stage guarantees global convergence through the use of a globally valid linear time-varying model transformation, but leads to sub-optimal accuracy in the presence of noise. The global model transformation is applicable to a class of nonlinear systems, where its state can be explicitly derived through a mapping of previous measurements and disturbances. Furthermore, the second stage compensates the lost performance using the estimate from the first stage via local linearization. Here, we derive the stability analysis of this globally convergent method in discrete time using a Lyapunov approach. Different Kalman filters are compared via simulation to validate the benefit of using DKF for nonlinear state and parameter estimation.