Formation control of underactuated autonomous surface vessels using redundant manipulator analogs | IEEE Conference Publication | IEEE Xplore