Formation control of fully-actuated marine vessels using group agreement protocols | IEEE Conference Publication | IEEE Xplore