Omar Beg

According to our database, Omar Beg authored at least 13 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Distributed Resilient Control of DC Microgrids Under Generally Unbounded FDI Attacks.

Yichao Wang, Mohamadamin Rajabinezhad, Omar Ali Beg, Shan Zuo

CoRR, 2023

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

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

Cyber Attacks Detection using Machine Learning in Smart Grid Systems.

Sohan Gyawali, Omar Beg

Proceedings of the IEEE INFOCOM 2022, 2022

2021

Intelligent Anomaly Mitigation in Cyber-Physical Inverter-based Systems.

Asad Ali Khan, Omar Ali Beg, Sara Ahmed

CoRR, 2021

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

2020

Resilient Networked AC Microgrids Under Unbounded Cyber Attacks.

Shan Zuo, Omar Ali Beg, Frank L. Lewis, Ali Davoudi

IEEE Trans. Smart Grid, 2020

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

Hybrid automata: from verification to implementation.

Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling

Int. J. Softw. Tools Technol. Transf., 2019

2017

Detection of False-Data Injection Attacks in Cyber-Physical DC Microgrids.

Omar Beg, Taylor T. Johnson, Ali Davoudi

IEEE Trans. Ind. Informatics, 2017

Model Validation of PWM DC-DC Converters.

Omar Beg, Houssam Abbas, Taylor T. Johnson, Ali Davoudi

IEEE Trans. Ind. Electron., 2017

Reachability Analysis of Transformer-Isolated DC-DC Converters.

Omar Beg, Ali Davoudi, Taylor T. Johnson

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis.

Omar Beg, Ali Davoudi, Taylor T. Johnson

Proceedings of the ARCH@CPSWeek 2016, 2016