Computer Simplification of Engineering Systems Formulas  
          with J.W. Helton, M. Stankus
Proc. of 33rd IEEE Conference on Decision and Control (1994), 1893-1898.

view/download (ps)

This is a paper directed at workers in Control Theory presenting applications to this area
. It introduces the use of the non-commutative version of the Gröbner Basis algorithm (Mora's Algorithm) as a tool for simplifying matrix expressions arising in Linear Control Theory.