control-systems differentiable-programming differential-geometry geometry julia nonlinear-equations numerical-methods optimal-control optimization optimization-algorithms ordinary-differential-equations quantum-optimal-control