Computer Simplification of Formulas in Linear Systems Theory
     with J. W. Helton and M. Stankus
IEEE Transactions on Automatic Control, 43, no. 3 (1998) , 302-314

view/download (pdf) 

This is the main paper on the use of Gröbner Bases and applications. It develops the machinery of the Mora Algorithm (non-commutative variant of the Gröbner Basis Algorithm), applies the algorithm to several "models" derived from linear systems theory,. and provides examples of simplification of formulae in these models.