Asymptotic stability and estimating the region of attraction for the swing equations (Q1093608)

We state and prove a theorem that asserts the asymptotic stability and provides an estimate of the region of attraction of an equilibrium point of the swing equations. A version of this theorem was originally introduced by \textit{J. L. Willems} [IEEE Trans. Autom. Control AC-16, 332- 341 (1971)]; however, his justifications are sketchy and, in our opinion, require additional analysis. All the Lyapunov method analyses utilized in the transient stability problem of power systems have been based on the assumed validity of this theorem. The shortcomings of the other proposed proofs in the literature is that they rely on available Lyapunov theorems for which an assumption can not be verified. In contrast, the techniques used in the proof here avoid the restriction of the available Lyapunov theorems; moreover, they can be extended to apply to a broader class of systems.