Semi-Global Leader-Following Output Consensus of Discrete-Time Linear Multi-Agent Systems with Input Saturation | IEEE Conference Publication | IEEE Xplore