Analytic Research Foundations for the Next-Generation Electric Grid