Adaptive Robust Output Feedback Control for a Marine Dynamic Positioning System Based on a High-Gain Observer | IEEE Journals & Magazine | IEEE Xplore