Model Predictive Control With Guaranteed Feasibility of Inequality Path Constraints | Synapse