Formation control of multiple marine vehicles based passivity-control design | IEEE Conference Publication | IEEE Xplore