  This paper investigates the frequency control of multi-machine power systems
subject to uncertain and dynamic net loads. We propose distributed internal
model controllers that coordinate synchronous generators and demand response to
tackle the unpredictable nature of net loads. Frequency stability is formally
guaranteed via Lyapunov analysis. Numerical simulations on the IEEE 68-bus test
system demonstrate the effectiveness of the controllers.
