Rigid-body dynamics and optimal control.
Symbolic framework for nonlinear optimization and optimal control.