5 papers
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…
Maximal Load Shedding Verification for Neural Network Models of AC Line Switching
Samuel Chevalier, Duncan Starkenburg, Robert Parker +1
Solving for globally optimal line switching decisions in AC transmission grids can be intractability slow. Machine learning (ML) models, meanwhile, can be trained to predict near-o…
CPU- and GPU-Based Parallelization of the Robust Reference Governor
Hamid R. Ossareh, William Shayne, Samuel Chevalier
Constraint management is a central challenge in modern control systems. A solution is the Reference Governor (RG), which is an add-on strategy to pre-stabilized feedback control sy…
Achieving the Tightest Relaxation of Sigmoids for Formal Verification
Samuel Chevalier, Duncan Starkenburg, Krishnamurthy Dvijotham
In the field of formal verification, Neural Networks (NNs) are typically reformulated into equivalent mathematical programs which are optimized over. To overcome the inherent non-c…
A Parallelized, Adam-Based Solver for Reserve and Security Constrained AC Unit Commitment
Samuel Chevalier
Power system optimization problems which include the nonlinear AC power flow equations require powerful and robust numerical solution algorithms. Within this sub-field of nonlinear…