Automatic Nonlinear MPC Approximation With Closed-Loop Guarantees | IEEE Journals & Magazine | IEEE Xplore