3 papers
cs.LG2025
LEVIS: Large Exact Verifiable Input Spaces for Neural Networks
Mohamad Fares El Hajj Chehade, Wenting Li, Brian W. Bell +3
The robustness of neural networks is crucial in safety-critical applications, where identifying a reliable input space is essential for effective model selection, robustness evalua…
eess.SY2025
Data-driven Modeling of Linearizable Power Flow for Large-scale Grid Topology Optimization
Young-ho Cho, Hao Zhu
Effective power flow (PF) modeling critically affects the solution accuracy and computational complexity of large-scale grid optimization problems. Especially for grid optimization…
eess.SY2024
Should we use model-free or model-based control? A case study of battery management systems
Mohamad Fares El Hajj Chehade, Young-ho Cho, Sandeep Chinchali +1
Reinforcement learning (RL) and model predictive control (MPC) each offer distinct advantages and limitations when applied to control problems in power and energy systems. Despite…