Scalable global state synchronization of discrete-time double integrator multi-agent systems with input saturation via linear protocol | IEEE Conference Publication | IEEE Xplore