LMI matrix inequality