Text this: Automatic analysis and synthesis of controllers for dynamical systems based on phase-space knowledge