Modeling and controller design of crabbing motion for auto-berthing (Journal of Ocean Engineering and Technology, 2013)