Nonlinear observer with time-varying gains for inertial navigation aided by satellite reference systems in dynamic positioning | IEEE Conference Publication | IEEE Xplore