Juan Augusto Paredes Salazar, J. A. MPC for cart pendulum stabilization [Computer software]. https://github.com/JAParedes/MPC-for-cart-pendulum-stabilization