Vitalsource Technologies, Inc. Mathematical Models And Algorithms For Power System Optimization