High-Gain Disturbance Observer-Based Backstepping Control for Dynamic Positioning Ships Using Contraction Theory | IEEE Conference Publication | IEEE Xplore