Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications

3 October 2019

Papers citing "Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications"

10 / 10 papers shown

Title
End-to-End Feasible Optimization Proxies for Large-Scale Economic Dispatch Wenbo Chen Mathieu Tanneau Pascal Van Hentenryck 42 30 0 23 Apr 2023
Learning-based AC-OPF Solvers on Realistic Network and Realistic Loads Tsun Ho Aaron Cheung Mingliang Zhou Ming Chen 32 1 0 19 May 2022
Adversarial Attacks and Defense Methods for Power Quality Recognition Jiwei Tian Buhong Wang Jing Li Zhen Wang Mete Ozay AAML 28 0 0 11 Feb 2022
Modeling the AC Power Flow Equations with Optimally Compact Neural Networks: Application to Unit Commitment Alyssa Kody Samuel C. Chevalier Spyros Chatzivasileiadis Daniel Molzahn 69 37 0 21 Oct 2021
Physics-Informed Neural Networks for AC Optimal Power Flow Rahul Nellikkath Spyros Chatzivasileiadis PINN 34 88 0 06 Oct 2021
Optimization with Constraint Learning: A Framework and Survey Adejuyigbe O. Fajemisin Donato Maragno D. Hertog 58 47 0 05 Oct 2021
Physics-Informed Neural Networks for Minimising Worst-Case Violations in DC Optimal Power Flow Rahul Nellikkath Spyros Chatzivasileiadis PINN 21 32 0 28 Jun 2021
Spatial Network Decomposition for Fast and Scalable AC-OPF Learning Minas Chatzos Terrence W.K. Mak Pascal Van Hentenryck AI4CE 45 38 0 17 Jan 2021
Neural Networks for Encoding Dynamic Security-Constrained Optimal Power Flow Daniel Timon Viola Andreas Venzke George S. Misyris Spyros Chatzivasileiadis 24 38 0 17 Mar 2020
Physics-Informed Neural Networks for Power Systems George S. Misyris Andreas Venzke Spyros Chatzivasileiadis PINN AI4CE 28 213 0 09 Nov 2019