Joint ASV/AUV range-based formation control: Theory and experimental results | IEEE Conference Publication | IEEE Xplore