Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis. - Omar Beg; Ali Davoudi; Taylor T. Johnson (ARCH@CPSWeek, 2016)

Reachability Analysis of Transformer-Isolated DC-DC Converters. - Omar Beg; Ali Davoudi; Taylor T. Johnson (ARCH@CPSWeek, 2017)

Model Validation of PWM DC-DC Converters. - Omar Beg; Houssam Abbas; Taylor T. Johnson; Ali Davoudi (IEEE Trans. Ind. Electron., 2017)

Detection of False-Data Injection Attacks in Cyber-Physical DC Microgrids. - Omar Beg; Taylor T. Johnson; Ali Davoudi (IEEE Trans. Ind. Informatics, 2017)

Hybrid automata: from verification to implementation. - Stanley Bak; Omar Ali Beg; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001 (Int. J. Softw. Tools Technol. Transf., 2019)

Signal Temporal Logic-Based Attack Detection in DC Microgrids. - Omar Ali Beg; Luan Viet Nguyen; Taylor T. Johnson; Ali Davoudi (IEEE Trans. Smart Grid, 2019)

Resilient Networked AC Microgrids Under Unbounded Cyber Attacks. - Shan Zuo; Omar Ali Beg; Frank L. Lewis; Ali Davoudi (IEEE Trans. Smart Grid, 2020)

Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism. - Omar Ali Beg; Luan Viet Nguyen; Taylor T. Johnson; Ali Davoudi (IEEE Access, 2021)

Intelligent Anomaly Mitigation in Cyber-Physical Inverter-based Systems. - Asad Ali Khan; Omar Ali Beg; Sara Ahmed (CoRR, 2021)

Cyber Attacks Detection using Machine Learning in Smart Grid Systems. - Sohan Gyawali; Omar Beg (INFOCOM Workshops, 2022)

A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces. - Xiaodong Yang; Omar Ali Beg; Matthew Kenigsberg; Taylor T. Johnson (ACM Trans. Cyber Phys. Syst., 2022)

An Explainable Intelligent Framework for Anomaly Mitigation in Cyber-Physical Inverter-Based Systems. - Asad Ali Khan; Omar Ali Beg; Yu-Fang Jin; Sara Ahmed (IEEE Access, 2023)

Distributed Resilient Control of DC Microgrids Under Generally Unbounded FDI Attacks. - Yichao Wang; Mohamadamin Rajabinezhad; Omar Ali Beg; Shan Zuo (CoRR, 2023)

Lyapunov-Certified Resilient Secondary Defense Strategies of AC Microgrids Under Exponentially Energy-Unbounded FDI Attacks. - Mohamadamin Rajabinezhad; Nesa Shams; Asad Ali Khan; Omar Ali Beg; Shan Zuo (IEEE Control. Syst. Lett., 2025)

Lyapunov-based Resilient Secondary Synchronization Strategy of AC Microgrids Under Exponentially Energy-Unbounded FDI Attacks. - Mohamadamin Rajabinezhad; Nesa Shams; Asad Ali Khan; Omar Ali Beg; Shan Zuo (CoRR, 2025)