Stabilization of uncertain switched discrete-time systems against actuator faults and input saturation. (February 2020)