Exponential stabilization and l1-gain analysis for discrete-time switched positive systems subject to actuator saturation | IEEE Conference Publication | IEEE Xplore