An input-to-state stability approach to verify almost global stability of a synchronous-machine-infinite-bus system
Philosophical transactions - Royal Society. Mathematical, Physical and engineering sciences/Philosophical transactions - Royal Society. Mathematical, physical and engineering sciences