Some Computational Tools for Solving a Selection of Problems in Control Theory