Safety-Guaranteed Ship Berthing Using Cascade Tube-Based Model Predictive Control | IEEE Journals & Magazine | IEEE Xplore