ExplicitPredictiveControlwithNon-ConvexPolyhedral Constraints