Toward an Algorithmic Control Theory