TY - RPRT TI - Optimization on linear matrix inequalities for polynomial systems control AU - Didier Henrion PY - 2013 UR - https://arxiv.org/abs/1309.3112 ID - 1309.3112 ER -