Text this: LMIs in control systems