The stability of formation controllers is proven by the Lyapunov-Razumikhin theorem, and the validity is verified by simulation results. Keywords: multi-UUV sensor networks; leader-follower formation control; model uncertainties; current disturbances; unstable communication 1. Introduction In recent years,...