Towards improving mission execution for autonomous gliders with an ocean model and kalman filter | IEEE Conference Publication | IEEE Xplore