Scale-free linear protocol design for global regulated state synchronization of discrete-time double-integrator multi-agent systems subject to actuator saturation.