Computational Methods for Controller Design