Lyapunov-based stability region computation approach | IEEE Conference Publication | IEEE Xplore