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.
