CasADi: a Software Framework for Nonlinear Optimization and Optimal Control | AMiner