Overview
We design and analyze algorithms for nonlinear and/or decomposed optimization for control and verification of complex cyber-physical systems. In particular, we focus on nonlinear sum-of-squares problems and bilevel optimization schemes.
Sequential sum-of-squares programming outperforms previous, iterative methods in computation time and cost. ©2022 by Cunis & Legat.