"polynomial matrix inequality" . "polynomial matrix inequality" . . .