Control of singularly perturbed systems subject to actuator saturation