Correct-by-Construction Control Synthesis for High-Dimensional Systems