SEDUMI INTERFACE 1.02: a tool for solving LMI problems with SEDUMI | IEEE Conference Publication | IEEE Xplore