In this PhD dissertation, we introduce enhancements for the approaches of symbolic control to make them applicable to real-world safety-critical cyber-physical systems by proposing data-parallel algorithms that reduce the computational complexity, extensions to support richer specifications, and formal representations of the designed controllers. The results together serve as a practical end-to-end framework for symbolic control.