Mauricio de Oliveira. Symbolic computer algebra algorithms for factorizations of Sylvester mappings with applications to the production of linear matrix inequalities in systems and controls. In 2011 IEEE International Symposium on Computer-Aided Control System Design, CACSD 2011, Denver, CO, USA, September 28-30, 2011. pages 432-437, IEEE, 2011. [doi]
Abstract is missing.