An optimization model incorporating clash free mechanism for design of AUVs | IEEE Conference Publication | IEEE Xplore