Model based decision support for underwater glider operation monitoring | IEEE Conference Publication | IEEE Xplore