Optimization-Based Actuator Allocation for Underwater Vehicles with Variable Buoyancy Systems | IEEE Conference Publication | IEEE Xplore