EKF moving horizon estimation based nonlinear filter for marine dynamic positioning system | IEEE Conference Publication | IEEE Xplore