Christian Kirches develops a fast numerical algorithm of wide
applicability that efficiently solves mixed-integer nonlinear optimal
control problems. He uses convexification and relaxation techniques to
obtain computationally tractable reformulations for which feasibility
and optimality certificates can be given even after discretization and
rounding.