Safety-Certified Constrained Control of Maritime Autonomous Surface Ships for Automatic Berthing | IEEE Journals & Magazine | IEEE Xplore