Almost global attractivity of a synchronous generator connected to an infinite bus

The problem of deriving verifiable conditions for stability of the equilibria of a realistic model of a synchronous generator with constant field current connected to an infinite bus is studied in the paper. Necessary and sufficient conditions for existence and uniqueness of equilibrium points are provided. Furthermore, sufficient conditions for almost global attractivity are given. To carry out this analysis a new Lyapunov-like function is proposed to establish convergence of bounded trajectories, while the latter is proven using the powerful theoretical framework of cell structures pioneered by Leonov and Noldus.