This paper investigates the stabilization problem for discrete-time linear controllable systems subject to actuator saturation. In the case of completely known plants, a control design technique based on a time varying sliding surface is proposed ensuring stabilization under the assumption of availability of all state measurements. Further, in the presence of matched disturbances with known constant bound, a discrete time sliding mode controller is proposed ensuring plant practical stabilization, and a conservative estimate of the attraction domain is given. Theoretical results have been validated by experimental data using a twin-rotor system.