lmitool: a front-end for LMI optimization, user's guide (1995)

by L El Ghaoui, R Nikoukha, F Delebecque