LMIs in Control/Matrix and LMI Properties and Tools/KYP Lemmas/Discrete Time