TY - SER AU - Davy, R. J AU - Hiskens, I. A TI - Lyapunov Functions for Multimachine Power Systems with Dynamic Loads KW - Load Dynamics KW - Lyapunov Function ER -