Control of Underactuated Autonomous Underwater Vehicles With Input Saturation Based on Passivity Using Feedback Concavification | IEEE Conference Publication | IEEE Xplore