time-varying formation control; second-order multi-agent systems; mismatched uncertainties; obstacle avoidance; sliding mode control; reference correction algorithm; Lyapunov stability theory; multi-robot system; robustness