A “globally” convergent controller for transient stability of multi-machine power systems using structure-preserving models | IEEE Conference Publication | IEEE Xplore