Linear discrete time systems with box constraints