Algebraic, Computational, and Data-Driven Methods for Control-Theoretic Analysis and Learning of Ensemble Systems