| Detection of false-data injection attacks in cyber-physical DC microgrids OA Beg, TT Johnson, A Davoudi IEEE Transactions on industrial informatics 13 (5), 2693-2703, 2017 | 287 | 2017 |
| Signal Temporal Logic-based Attack Detection in DC Microgrids OA Beg, LV Nguyen, TT Johnson, A Davoudi IEEE Transactions on Smart Grid 10 (4), 3585-3595, 2019 | 117 | 2019 |
| Resilient networked AC microgrids under unbounded cyber attacks S Zuo, OA Beg, FL Lewis, A Davoudi IEEE Transactions on Smart Grid 11 (5), 3785-3794, 2020 | 81 | 2020 |
| Intelligent anomaly identification in cyber-physical inverter-based systems AA Khan, OA Beg, M Alamaniotis, S Ahmed Electric Power Systems Research 193, 107024, 2021 | 61 | 2021 |
| Model validation of pwm dc–dc converters OA Beg, H Abbas, TT Johnson, A Davoudi IEEE Transactions on Industrial Electronics 64 (9), 7049-7059, 2017 | 41 | 2017 |
| Hybrid automata: from verification to implementation S Bak, OA Beg, S Bogomolov, TT Johnson, LV Nguyen, C Schilling International Journal on Software Tools for Technology Transfer 21, 87-104, 2019 | 28 | 2019 |
| Cyber-physical anomaly detection in microgrids using time-frequency logic formalism OA Beg, LV Nguyen, TT Johnson, A Davoudi IEEE Access 9, 20012-20021, 2021 | 26 | 2021 |
| A framework for identification and validation of affine hybrid automata from input-output traces X Yang, OA Beg, M Kenigsberg, TT Johnson ACM Transactions on Cyber-Physical Systems (TCPS) 6 (2), 1-24, 2022 | 16 | 2022 |
| A review of AI-based cyber-attack detection and mitigation in microgrids OA Beg, AA Khan, WU Rehman, A Hassan Energies 16 (22), 7644, 2023 | 9 | 2023 |
| Cyber vulnerabilities of modern power systems AA Khan, OA Beg Power Systems Cybersecurity: Methods, Concepts, and Best Practices, 47-66, 2023 | 8 | 2023 |
| Cyber attacks detection using machine learning in smart grid systems S Gyawali, O Beg IEEE INFOCOM 2022-IEEE Conference on Computer Communications Workshops …, 2022 | 6 | 2022 |
| Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal) OA Beg, A Davoudi, TT Johnson 4th International Workshop on Applied Verification for Continuous and Hybrid …, 2017 | 6 | 2017 |
| An Explainable Intelligent Framework for Anomaly Mitigation in Cyber-Physical Inverter-based Systems AA Khan, OA Beg, YF Jin, S Ahmed IEEE Access 11, 65382-65394, 2023 | 5 | 2023 |
| Intelligent anomaly mitigation in cyber-physical inverter-based systems AA Khan, S Ahmed, OA Beg 2021 IEEE Energy Conversion Congress and Exposition (ECCE), 1301-1306, 2021 | 3 | 2021 |
| Formal online resiliency monitoring in microgrids OA Beg, AP Yadav, TT Johnson, A Davoudi 2020 Resilience Week (RWS), 99-105, 2020 | 3 | 2020 |
| Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis O Beg, A Davoudi, TT Johnson EPiC Series in Computing 43, 27-35, 2017 | 2 | 2017 |
| Steady-state transport phenomena on induced magnetic field modeling for convective chemically reacting fluid with viscous dissipative heat S Ahmed, OA Beg Heat Transfer Research, 2016 | 1 | 2016 |
| Charge pump phase-locked loops and full wave rectifiers for reachability analysis (benchmark proposal) OA Beg, A Davoudi, TT Johnson Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), 2016 | 1 | 2016 |
| Distributed Resilient Control of DC Microgrids Under Generally Unbounded FDI Attacks Y Wang, M Rajabinezhad, OA Beg, S Zuo arXiv preprint arXiv:2309.17301, 2023 | | 2023 |
| Computer-Aided Formal Verification of Power Electronics Circuits OA Beg, L Nguyen, A Davoudi, TT Johnson FAC 2017; Frontiers in Analog CAD, 1-6, 2017 | | 2017 |
Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt UniversityDirección de correo verificada de vanderbilt.edu
