Collision free formation control for multiple autonomous underwater vehicles | IEEE Conference Publication | IEEE Xplore