Semi-global state synchronization for continuous or discrete-time multi-agent systems subject to actuator saturation.