Alternative proofs for improved LMI representations for the analysis and the design of continuous-time systems with polytopic type uncertainty: a predictive approach | IEEE Journals & Magazine | IEEE Xplore