IOD initial Least squares batch filter sequential processing smoother kalman optimal Publication Date: November 2013