Sliding mode control for formation stabilization of thrust-propelled vehicles with switching topologies and unknown time-varying disturbances | IEEE Conference Publication | IEEE Xplore