I will present the results of Chapters 2, 3, and 7 of my Ph.D. thesis, entitled “Complexity Reduction in Verification and Synthesis of Linear Control Systems: An Abstraction-based Approach.”