1 citations · 1 across the 5 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
Haoyu Li, Xiangru Zhong, Hao Cheng +2
Learning-based methods for synthesizing controllers have gained popularity due to their high expressiveness and strong empirical performance. However, in safety-critical scenarios…
eess.SY2025
Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation
Eren Tekeler, Xiangru Zhong, Huan Zhang +1
Security-Constrained DC Optimal Power Flow (SC DCOPF) is an important tool for transmission system operators, enabling economically efficient and physically secure dispatch decisio…