3 citations · 3 across the 2 of their papers we have counts for
2 papers
eess.SY2021★ 3 cited
MPC-based Realtime Power System Control with DNN-based Prediction/Sensitivity-Estimation
Ramij Raja Hossain, Ratnesh Kumar
This paper presents a model predictive control (MPC)-based online real-time adaptive control scheme for emergency voltage control in power systems. Despite tremendous success in va…
cs.LO2021
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification
Hao Ren, Ratnesh Kumar, Matthew Clark
The paper presents our research on quantifier elimination (QE) for compositional reasoning and verification. For compositional reasoning, QE provides the foundation of our approach…