Computer algebra tailored to matrix inequalities in control

A major advance in linear systems theory has been a formalism for converting systems problems to matrix inequalities. We describe computer algebra algorithms, methodology, and implementation which allows users to convert many systems problems to linear matrix inequalities. We focus on computer algebra methodology which can assist with the well known change of variables method for producing LMIs introduced by Scherer, Gahinet and Chilali.