Stability Enhancement of Single Machine Infinite Bus System with UPFC using Bat Algorithm | IEEE Conference Publication | IEEE Xplore