Kalman filtering for positioning and heading control of ships and offshore rigs | IEEE Journals & Magazine | IEEE Xplore