{"681496":{"#nid":"681496","#data":{"type":"event","title":"PhD Defense by Haoruo Zhao ","body":[{"value":"\u003Cp\u003ETitle: Advances in Large-Scale Security-Constrained Economic Dispatch: Loss Modeling, Stochastic Dispatch, and Proxy Verification\u003Cbr\u003EDate: April 16th, 2025\u003Cbr\u003ETime: 1:00 - 3:00 pm ET\u003Cbr\u003ELocation: Coda C1215 Midtown (meeting link)\u003C\/p\u003E\u003Cp\u003EHaoruo Zhao\u003Cbr\u003EOperations Research PhD Student\u003Cbr\u003EH. Milton Stewart School of Industrial and Systems Engineering\u003Cbr\u003EGeorgia Institute of Technology\u003C\/p\u003E\u003Cp\u003ECommittee:\u003Cbr\u003EDr. Pascal Van Hentenryck (Advisor), H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology\u003Cbr\u003EDr. Constance Crozier, H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology\u003Cbr\u003EDr. Mathieu Dahan, H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology\u003Cbr\u003EDr. Daniel Molzahn, School of Electrical and Computer Engineering, Georgia Institute of Technology\u003Cbr\u003EDr. Hassan Hijazi, Gurobi\u003C\/p\u003E\u003Cp\u003EAbstract:\u003Cbr\u003ESecurity-Constrained Economic Dispatch (SCED) optimizes generation resources to meet demand at minimal cost while maintaining grid reliability. This thesis presents novel optimization techniques for large-scale SCED problems that improve computational tractability and solution quality for modern power systems. Chapter 1 introduces a novel linear model for line loss outer approximation (LLOA) in DC optimal power flow, a critical component of SCED that models network constraints, providing an efficient and practical approach that balances accuracy and computational tractability for large-scale power systems. Chapter 2 develops a stochastic look-ahead dispatch (SLAD) framework for real-time energy markets, demonstrating that stochastic optimization is now computationally viable for five-minute market clearing, offering greater savings compared to the traditional deterministic formulation with flexible ramping products. Chapter 3 presents an optimization-based method for bound tightening in a rolling-horizon fashion for neural network verification and Chapter 4 introduces a compact formulation for optimality verification of optimization proxies for DC optimal power flow and knapsack problems.\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003EAdvances in Large-Scale Security-Constrained Economic Dispatch: Loss Modeling, Stochastic Dispatch, and Proxy Verification\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"Advances in Large-Scale Security-Constrained Economic Dispatch: Loss Modeling, Stochastic Dispatch, and Proxy Verification"}],"uid":"27707","created_gmt":"2025-04-01 16:20:32","changed_gmt":"2025-04-01 16:21:49","author":"Tatianna Richardson","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2025-04-16T13:00:00-04:00","event_time_end":"2025-04-16T15:00:00-04:00","event_time_end_last":"2025-04-16T15:00:00-04:00","gmt_time_start":"2025-04-16 17:00:00","gmt_time_end":"2025-04-16 19:00:00","gmt_time_end_last":"2025-04-16 19:00:00","rrule":null,"timezone":"America\/New_York"},"location":"Coda C1215 Midtown (meeting link)","extras":[],"groups":[{"id":"221981","name":"Graduate Studies"}],"categories":[],"keywords":[{"id":"100811","name":"Phd Defense"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1788","name":"Other\/Miscellaneous"}],"invited_audience":[{"id":"78771","name":"Public"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}