Distributed finite-time state observer-based formation control for multiple underactuated AUVs under directed topology | IEEE Conference Publication | IEEE Xplore