Noncommutative computer algebra in the control of singularly perturbed dynamical systems

Most algebraic calculations involve block matrices and so are highly noncommutative. Here we investigate the usefulness of noncommutative computer algebra in a particular area of control theory - singularly perturbed dynamic systems where working with the noncommutative polynomials involved is especially tedious. Our conclusion is that they have considerable potential for helping practitioners with such computations. The methods introduced here take the most standard textbook singular perturbation calculation one step further than had been done previously. Commutative Groebner basis algorithms are powerful and make up the engines in symbolic algebra packages´ Solve commands. We show that the noncommutative Groebner basis algorithms are useful in manipulating the messy sets of noncommutative polynomial equations which arise in singular perturbation calculations. We use the noncommutative algebra package NCAlgebra and the noncommutative Groebner basis package NCGB which runs under it