Constrained predictive control with terminal ellipsoid constraint and artificial Lyapunov functions