Real Time Congestion Management Using Generation Re-Dispatch: Modeling and Controller Design | IEEE Journals & Magazine | IEEE Xplore