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.
Publikationen aus dem Bereich Optimization methods
- T. Cunis und B. Legat, „Sequential sum-of-squares programming for analysis of nonlinear systems“, in Accepted for 2023 American Control Conference, in Accepted for 2023 American Control Conference. San Diego, CA, Mai 2023. [Online]. Verfügbar unter: http://arxiv.org/abs/2210.02142