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.
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.
|
