इसका टेक्स्ट मैसेज भेजे: Algorithmic Construction of Lyapunov Functions for Power System Stability Analysis.