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.
Publikationen aus dem Bereich Optimization methods
- T. Cunis and B. Legat, “Sequential sum-of-squares programming for analysis of nonlinear systems,” in 2023 American Control Conference, in 2023 American Control Conference. San Diego, CA, 2023. doi: 10.23919/ACC55779.2023.10156153.
- T. Cunis and I. Kolmanovsky, “Input-to-State Stability of a Bilevel Proximal Gradient Descent Algorithm,” IFAC-PapersOnLine, vol. 56, no. 2, Art. no. 2, 2023, doi: 10.1016/j.ifacol.2023.10.633.