Nonlinear output feedback control of dynamically positioned ships using vectorial observer backstepping | IEEE Journals & Magazine | IEEE Xplore