Computational Control Theory