Maple

Model based automatic code generation for nonlinear model predictive control
Symbolic computation methods are employed to generate optimized C code for nonlinear model predictive controllers.