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.