Impulsive Formation Control of Nonlinear Leader-Following Multi-agent Systems with Input Saturation* | IEEE Conference Publication | IEEE Xplore