Analysis of Conditions for Non-Violation of Constraints on Linear Discrete-Time Systems with Exogenous Inputs