OD ODTK maneuvers optimal sequential filter anomaly smoother Publication Date: May 2010