MPC Stability Constraints and Their Implementations