This text begins with the fundamental laws for basic devices and systems in a mathematical modeling context. It includes systematic derivations of standard synchronous machine models with their fundamental controls. These individual models are interconnected for system analysis and simulation. Singular perturbation is used to derive and explain reduced-order models.