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.

![[digital] Visual Effects and Compositing Jon Gress Author](https://avmedia.ams3.cdn.digitaloceanspaces.com/2/ec/2eca6652-5e42-4686-b0c3-e55372e15e48.webp)












