On complexity of Lyapunov functions for switched linear systems
Amir Ali Ahmadi, Raphaël M. Jungers
IFAC 2014
We develop algorithms to construct inner approximations of the cone of positive semidefinite matrices via linear programming and second order cone programming. Starting with an initial linear algebraic approximation suggested recently by Ahmadi and Majumdar, we describe an iterative process through which our approximation is improved at every step. This is done using ideas from column generation in large-scale linear programming. We then apply these techniques to approximate the sum of squares cone in a nonconvex polynomial optimization setting, and the copositive cone for a discrete optimization problem.
Amir Ali Ahmadi, Raphaël M. Jungers
IFAC 2014
Sanjeeb Dash, Oktay Günlük, et al.
Mathematical Programming
Amir Ali Ahmadi, Oktay Günlük
CDC 2015
Merve Bodur, Sanjeeb Dash, et al.
INFORMS Journal on Computing