Abstract
A new algorithm named the likelihood-based iteration square-root cubature Kalman filter (LISRCKF) is provided in this study. The LISRCKF inherits the virtues of the square-root cubature Kalman filter (SRCKF), which uses the cubature rule-based numerical integration method to calculate the mean and square root of covariance for the non-linear random function. The LISRCKF involves the use of the iterative measurement update and the use of the latest measurement, and the iteration termination criterion based on maximum likelihood is introduced in the measurement update. The LISRCKF algorithm is applied to the state estimation for re-entry ballistic target with unknown ballistic coefficient. Its performance is compared against that of the unscented Kalman filter and SRCKF. Moreover, the suitable choice of iteration number is studied; iteration number 5 is the most appropriate for the LISRCKF algorithm. Simulation results indicate that the LISRCKF algorithm has the features of short run time and fast convergence rate; the advantage in robustness is also demonstrated through the numerical simulation, and it is an effective state estimation method.
Keywords
Introduction
A series of estimators have been developed to estimate the state of a non-linear system for the last few decades. Up to now, the commonly used state estimator is the extended Kalman filter (EKF) (Bar-Shalom et al., 2001; Grewal and Andrews, 2008). The EKF is based on first-order Taylor approximations of the state transition and observation equation about the estimated state trajectory under Gaussian assumption, so its accuracy depends on the ‘severity’ of the non-linearities. The EKF may introduce significant bias or even convergence problems due to the overly crude approximation (Julier and Uhlmann, 2004). To improve the estimation accuracy, the sophisticated second-order Kalman filter (second-order KF) is available, but it happens at the cost of an increased computational burden (Athans et al., 1968). Another attempt to improve the performance of the EKF, the iterated extended Kalman filter (IEKF), was introduced in Gelb (1974). The IEKF algorithm involves the use of an iterative measurement update. The IEKF is more accurate on the condition that the state estimate is close enough to the true value. However, this is rarely the case in practice (Lefebvre et al., 2004). In reality, the sequence of iterates generated by the IEKF and that generated by the Gauss–Newton method are identical; thus global convergence is guaranteed (Bell and Cathey, 1993). However, the Gauss–Newton method does not ensure that it goes up the likelihood surface (Johnston and Krishnamurthy, 2001; Zhan and Wan, 2007). Moreover, the second-order KF requires Jacobians and Hessians, whereas the EKF requires Jacobians only. Calculation of Jacobians and Hessians often introduces numerical instability and limits their applications.
The derivative-free state estimators have been developed in the past few years. The unscented transformation has been used in the KF framework and the resulting filter is referred to as the unscented Kalman filter (UKF) (Julier et al., 1995, 2000). The basic idea in the UKF is to choose a minimal set of deterministic sample points that capture the mean and covariance of Gaussian density. When propagated through a non-linear function, these points capture the true mean and covariance accurately to the second-order for any non-linearity. However, the UKF may require some fine-tuning in order to prevent the propagation of a non-positive definite covariance matrix for a state vector dimension higher than three. The divided difference filters (DDFs) were introduced in Nørgaard et al. (2000a, b) using Stirling’s interpolation formula. The UKF and DDF algorithms are commonly referred to as sigma point filters due to the properties of deterministic sampling and weighted statistical estimation (Merwe, 2004). Then a new technique called the particle filter (PF) and its variants were introduced in Gordon et al. (1993) and Arulampalam et al. (2002). The basic idea of the PF uses a set of randomly chosen samples with associated weights to approximate the posterior density. In practice, the large number of samples required often makes the use of PF computationally expensive, and the performance of the PF is crucially dependent on the selection of the proposal distribution.
Recently, another suboptimal non-linear filter called the quadrature Kalman filter (QKF) was introduced in Ito and Xiong (2000) and Arasaratnam et al. (2007). The QKF is based on the Gauss–Hermite quadrature rule and calculates the mean and covariance of the states under Gaussian assumption. The QKF introduces the curse of dimensionality to some extent because the number of quadrature points increases exponentially with the state dimension. Lastly, Arasaratnam and Haykin (2009) introduced the cubature Kalman filter (CKF) to ease the curse of dimensionality. The CKF uses the cubature rules for those multi-dimensional integrals to approximate the recursive Bayesian estimation integrals under the Gaussian assumption. The CKF can be applied to solve high-dimensional non-linear filtering problems with minimal computational effort. The computational complexity scales linearity with the state dimension using the third-degree cubature rule. However, the error covariance evaluated in the CKF is required to be decomposed for the Cholesky factors to calculate the cubature points. To mitigate ill effects that may eventually lead to an unstable or even divergent behaviour, the square-root cubature Kalman filter (SRCKF) was developed. The SRCKF propagates the square-root factors of the predictive and posterior error covariance to avoid matrix square-rooting operations and to preserve the positive semi-definiteness of the error covariance and doubled-order precision (Kaminski et al., 1971).
The SRCKF method has proven to be far superior and has more numerical stability. However, because of the large initial error and measurement error in the application for the state estimation of re-entry ballistic targets (RBTs) with unknown ballistic coefficient, the SRCKF also shows its weakness in the robustness and state estimation accuracy. Emboldened by the basic idea of the iterate method in the IEKF as well as the superiority of the SRCKF algorithm, we develop a new filter named the likelihood-based iteration square-root cubature Kalman filter (LISRCKF). The accuracy of the state estimation in the new filter is greatly improved when involving the use of the iterative measurement update and the use of the iterative termination condition based on the maximum likelihood.
The rest of the paper is organized as follows. We begin with a description of the SRCKF. Then, the LISRCKF is developed, after which we apply the LISRCKF algorithm to state estimation for RBT with unknown ballistic coefficient and discuss the simulation results. Finally, the conclusions are given.
Square-root cubature Kalman filter
Consider the state estimation problem of a non-linear dynamics system with additive noise, the
where
The heart of the SRCKF is a three-order spherical-radial cubature rule, which makes it possible to numerically compute multivariate moment integrals encountered in the non-linear Bayesian filter. The SRCKF based on the Equations (1) and (2) can be described as follows (Arasaratnam and Haykin, 2009).
where
Calculate the cubature points
Propagate the cubature points through the state equation
Evaluate the predicted state and square root of the predicted covariance
where
Calculate the predicted cubature points
Evaluate the propagated cubature points
Evaluate the predicted measurement, square root of the innovation covariance and cross-covariance
Here,
Evaluate the state estimation and the square root of the covariance at
where the symbol ‘/’ represents the matrix right divide operator.
The above Steps 2 and 3 provide a general summary of the SRCKF algorithm. Given the initial condition
Development of likelihood-based iteration square-root cubature Kalman filter
Cubature rule based iterative measurement update
Assuming the predicted state
where
Defining the objective function as:
where
For small residual problems, a useful approximation to Equation (21) is the Gauss–Newton method, which approximates the Hessian
where
Noting that
and Sherman–Morrison–Woodbury matrix inversion lemma 2)
where P is an
Expanding the Equation (23) and making use of above matrix inversion lemma, we obtain
where
Equation (26) includes the predicted state
When the measurement model fully observes the state, i.e. if the measurement sensitivity matrix is invertible at any time, then the system state can be uniquely determined. Considering the noiseless measurement equation,
Substituting
Compared with Equation (26), Equation (27) is simpler, noting that Equations (26) and (27) are identical when one iteration is run.
Now we consider the iterative gain
Equations (28) and (29) are achieved by linearizing the measurement equation (2) with a first-order Taylor expansion so that the linearized error is introduced due to high-order terms being truncated. As for the higher non-linear measurement equation, the accuracy for state estimation is degraded if the linearized error is only propagated for calculating Equations (28) and (29). To decrease the propagated error, we can recalculate equations (9)–(13) to obtain the terms
where
So
Hence, we can obtain the following iterative formula
Maximum likelihood-based iteration termination criteria
The commonly used termination criterion in the measurement update of the IEKF algorithm is that the inequality
Under the Gaussian and independent assumption, we consider
Defining the likelihood surface function (LSF) as
As we know, obtaining the maximum likelihood estimate is equivalent to solving the minimum value of
We say that
Simplifying Equation (43) and using
here
Using the inequality (44) as the criterion to iteration termination, the iteration sequence generated is guaranteed to go up the likelihood surface function.
Likelihood-based iteration square-root cubature Kalman filter
Now we have arrived at the central issue of this paper, namely the LISRCKF. Enlightened by the superiority of the SRCKF algorithm and using the Gauss–Newton iterative method, we derive the LISRCKF. The LISRCKF algorithm involves the use of the iterative measurement update and the use of the current measurement. Moreover, the iteration termination criterion, which guarantees the sequence obtained moves up the maximum likelihood surface, is used in the LISRCKF algorithm.
The procedure of the LISRCKF algorithm is described as follows.
Let
Use Equations (33)–(34) to calculate square root of innovation covariance
where
If the following inequality holds
the iterate return to 2); otherwise continue to 4).
If the inequality is not satisfied or if i is too large (
The LISRCKF algorithm inherits the virtues of the SRCKF algorithm, which is simply implemented and free derivative, and has better numerical stability. In the LISRCKF algorithm, the covariance and cross-covariance based on cubature rule are refined to make the propagated error decrease; the iteration termination condition that makes the sequence move up the maximum likelihood surface is used in the process of measurement update of the LISRCKF algorithm. Hence, the performance of LISRCKF is superior to SRCKF algorithms. Moreover, the measurement update of the LISRCKF algorithm is transformed into the non-linear least-square problem; the optimum state estimation and covariance are solved using Gauss–Newton method, and the sequences obtained have global convergence (Bell and Cathey, 1993). So the LISRCKF algorithm has the same global convergence as the Gauss–Newton method.
Applications to state estimation for re-entry ballistic target
To demonstrate the performance of the LISRCKF algorithm, we apply the LISRCKF to the state estimation for the RBT with unknown ballistic coefficient and compare its performance against the other algorithms.
Model of target motion and of radar measurements
The relative locations of the RBT and the radar are depicted in Figure 1. Two co-ordinate systems are shown in Figure 1.

Geometry of radar and re-entry ballistic target (RBT).
One orthogonal co-ordinate reference system is the Earth-centred inertial co-ordinate system (ECI-CS)
Assume that the radar is situated at the surface of the Earth. Another orthogonal co-ordinate reference system named the East-North-Up co-ordinates system (ENU-CS)
The kinematics of the RBT with unknown ballistic coefficient is derived under the two hypotheses. One assumption is that the Earth is spherical and non-rotating. Another is that the forces acting on the target are gravity and drag. The effects of centrifugal acceleration, Coriolis acceleration etc. are ignored, due to their small effect on the trajectory (Li and Jilkov, 2001).
Under the above two assumptions, the kinematics of the RBT with unknown ballistic coefficient in the ENU-CS is described by the following discrete-time non-linear dynamic state equation according to the transformation relationship of ECI-CS and ENU-CS.
where
where
T (in s) is the time interval between the radar measurements, µ (=3.986005×1014 m3/s2) and R
e
(=6371004 m) are Earth’s gravitational constant and Earth radius, respectively.
Process noise
where parameters
The measurements, collected by the radar for state estimation, are the range
where
The measurement process
where
Simulation and discussion
In the simulation, the parameter used is selected as
The initial state estimate
To compare the performance of the various non-linear algorithms, we use the absolute error (AE) in the position, velocity and ballistic coefficient. The performance metrics of AE in the position at k time is defined as
where

Absolute errors in position for various filters.

Absolute errors in velocity for various filters.

Absolute errors in ballistic coefficient for various filters.
Observing from Figures 2 and 3, we can see that the errors of LISRCKF in position and velocity are far lower than those of SRCKF and UKF, and are lower than those of ISRCKF. Moreover, the LISRCKF needs 17.7 s to reduce the errors in position to below 500 m, the ISRCKF algorithm needs 34.6 s, and UKF and SRCKF algorithms need about 47.6 s, so the LISRCKF algorithm has faster convergence rate than the UKF, SRCKF and ISRCKF algorithms. The reason is that the latest measurement is involved in the step of measurement update of the LISRCKF and the iterative termination condition based on maximum likelihood surface is used. So the estimates provided by the LISRCKF in the position and velocity are markedly better than those of UKF, SRCKF and ISRCKF algorithms.
As to the estimation of the ballistic coefficient, in Figure 4, the AEs of the four filters have no improvement in the interval time (0<t<35 s) because of having less effective information about it from the noisy measurement. In the remained period (35 s<t<58 s), their errors for the ballistic coefficient are decreased. We can see that the AE in the LISRCKF algorithm decreases most rapidly of the four algorithms from Figure 4. So the ballistic coefficient estimate in the LISRCKF algorithm has the great improvement.
For further comparison of performance for the various filters, the average accumulated mean-square root error (AMSRE) in position is defined as follows:
where M is the total number of measurement data points. The formulas of the AMSRE in velocity and ballistic coefficient can be written similarly to the AMSRE p . The AMSREs in position, velocity and ballistic coefficient for the four filters are listed in Table 1, and the runtime of four algorithms is listed in Table 2. These figures were averaged over 100 runs.
Accumulated mean-square root error (AMSREs) of various algorithms.
UKF, unscented Kalman filter; SRCKF, square root cubature Kalman filter; ISRCKF, iterative square root cubature Kalman filter; LISRCKF, likelihood-based iteration square root cubature Kalman filter.
Mean runtime for various algorithms.
UKF, unscented Kalman filter; SRCKF, square root cubature Kalman filter; ISRCKF, iterative square root cubature Kalman filter; LISRCKF, likelihood-based iteration square root cubature Kalman filter.
From Table 1, it is seen that the LISRCKF’s AMSRE in position reduces by about 60%, and its AMSRE in velocity reduces by about 25% compared with the UKF and SRCKF. Furthermore, compared with the ISRCKF, the AMSRE of the LISRCKF algorithm in position decreases by about 25% and its AMSRE in velocity decreases by about 7%. Table 1 shows LISRCKF’s AMSRE in the ballistic coefficient reduces marginally, but Figure 4 shows the LISRCKF’s error is lower than the other three filters in the interval of 40–58 s. Hence, the LISRCKF is to be preferred over the other filters in light of the AMSREs in the position, velocity and ballistic coefficient. The LISRCKF has better performance because it involves use of the latest measurement and use of iteration termination criteria based on the maximum likelihood surface.
Table 2 shows the runtime of the four algorithms, the runtime of the LISRCKF algorithm is far less than that of UKF, and is slightly larger than that of ISRCKF; however, the estimation accuracy of the LISRCKF is superior to that of ISRCKF. Though the runtime of SRCKF is shortest, its AMRSE is large to make the state estimation accuracy lower.
Meanwhile, from Figures 2, 3, 4 and Table 1, we can see the AEs and AMSREs of the SRCKF algorithm in the position, velocity and ballistic coefficient is marginally lower than those of the UKF.
Therefore, on the basis of the simulation results presented in Figures 2, 3, 4 and Table 1, one can draw a conclusion that the LISRCKF algorithm yields a superior performance over the UKF, SRCKF and ISRCKF algorithms, due to the use of the iterative measurement update and iterative termination criterion based on the maximum likelihood, and the deviation of UKF and SRCKF is very small.
Analysis of iteration number’s impact on the LISRCKF algorithm
In order to analyse the suitable iteration numbers selected in the LISRCKF algorithm, the LISRCKFs with various iteration numbers are applied to state estimation of RBT. Table 3 lists the mark of LISRCKF with various iteration numbers. Figures 5–7 show the errors of SRCKF and LISRCKFs with various numbers in position, velocity and ballistic coefficient. All performance curves and figures were also obtained by averaging over 100 independent Monte Carlo runs. Table 4 lists the AMSREs in position, velocity and ballistic coefficient for SRCKF and LISRCKFs with various iteration numbers.
The likelihood-based iteration square root cubature Kalman filter’s (LISRCKF’s) mark with various iteration numbers.
Accumulated mean-square root error (AMSREs) of the likelihood-based iteration square root cubature Kalman filter (LISRCKF) with various iteration numbers.
SRCKF, square root cubature Kalman filter.

Position error of likelihood-based iteration square-root cubature Kalman filter (LISRCKF) with various iteration numbers.

Velocity error of likelihood-based iteration square-root cubature Kalman filter (LISRCKF) with various iteration numbers.

Ballistic coefficient error of likelihood-based iteration square-root cubature Kalman filter (LISRCKF) with various iteration numbers.
From Figures 5–7, the errors in position and velocity for the LISRCKF with iteration number 2 begin to decrease largely compared with that of SRCKF. The errors in position, velocity and ballistic coefficient for LISRCKF with iteration number 5 are significantly reduced, and the LISRCKF algorithm has a very fast convergence rate. The errors of position, velocity and ballistic coefficient for LISRCKF decrease slowly when the iteration number is greater than 6; the reason is that the sequence generated has basically reached the maximum likelihood surface when the iteration termination condition is met. The more iteration number, the longer that LISRCKF algorithm runs. From the above analysis, iteration number 5 selected is suitable for LISRCKF, the more accurate state estimation is obtained and its runtime is shorter.
Observe from Table 4, the analysed results obtained are identical to those of Figures 5–7.
From the above analysis, iteration number 5 is the most appropriate for LISRCKF algorithm. The computational complexity of LISRCKF algorithm has the same level as the UKF algorithm when additive noise is considered in the system, but its speed is faster than that of the UKF.
Conclusion
In this study, we developed a more accurate and robust non-linear state estimator named the LISRCKF. The proposed algorithm inherits the virtues of the SRCKF and involves the iterative process in the step of the measurement update. The sequence obtained in the iterative measurement update is guaranteed to move up the likelihood surface using the iteration termination condition based on the maximum likelihood surface. So the LISRCKF has the advantage of free-derivative, easy computer and numerical stability. The LISRCKF is applied to state estimation of the RBT. Simulation results demonstrate that the performance of LISRCKF is superior to the UKF, SRCKF and ISRCKF, and the impact of iteration number on the state estimation was analysed. Iteration number 5 selected is the most suitable for the LISRCKF. So the LISRCKF is much more effective than the other filters and improves the performance of state estimation to a marked degree and has the fast convergence.
Footnotes
Acknowledgements
The authors would like to thank the anonymous reviewers and the editors for their many helpful suggestions.
Funding
The authors would like to thank the support of the National Natural Science Foundation of China (NSFC) under contract no. 60972146.
