| 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 | 171 | 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 | 69 | 2019 |
| 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 | 28 | 2017 |
| 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 | 25 | 2020 |
| 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 (1), 87-104, 2019 | 22 | 2019 |
| Intelligent anomaly identification in cyber-physical inverter-based systems AA Khan, OA Beg, M Alamaniotis, S Ahmed Electric Power Systems Research 193, 107024, 2021 | 12 | 2021 |
| 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 | 6 | 2021 |
| 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 | 2 | 2016 |
| 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 | 1 | 2021 |
| Formal online resiliency monitoring in microgrids OA Beg, AP Yadav, TT Johnson, A Davoudi 2020 Resilience Week (RWS), 99-105, 2020 | 1 | 2020 |
| Reachability analysis of transformer-isolated DC-DC converters O Beg, A Davoudi, TT Johnson EPiC Series in Computing 48, 52-64, 2017 | 1 | 2017 |
| 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 | | 2022 |
| An Explainable Intelligent Framework for Anomaly Mitigation in Cyber-Physical Inverter-based Systems AA Khan, OA Beg, Y Jin, S Ahmed TechRxiv, 2022 | | 2022 |
| 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 |
| 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 | | 2017 |
| Formal Verification of DC Distribution Networks OA Beg The University of Texas at Arlington, 2017 | | 2017 |
| Computer Aided Formal Verification of Power Electronics Based Cyber-physical Systems OA Beg, TT Johnson, A Davoudi Formal Methods in Computer Aided Design (FMCAD), 2015 | | 2015 |
| Formal Verification of Software-controlled Power Electronics OA Beg, T Johnson, A Davoudi AFRL Safe and Secure Systems and Software Symposium (S5), 2015 | | 2015 |
| Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal) OA Beg, A Davoudi, TT Johnson | | |
Taylor T JohnsonAssociate Professor, Electrical Engineering and Computer Science (EECS), Vanderbilt UniversityVerified email at vanderbilt.edu
