Zhang Liu 0007 Lieven Vandenberghe Low-rank structure in semidefinite programs derived from the KYP lemma. 5652-5659 2007 CDC https://doi.org/10.1109/CDC.2007.4434343 conf/cdc/2007 db/conf/cdc/cdc2007.html#LiuV07