Experimental validation of nonlinear MPC on an overhead crane using automatic code generation | IEEE Conference Publication | IEEE Xplore