Taylor T. Johnson

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

Omar Ali Beg, Taylor T. Johnson, Ali Davoudi · IEEE Transactions on Industrial Informatics · 2017 · 294 citations

Computing, Computer Science, Cybersecurity +17

Output Reachable Set Estimation and Verification for Multilayer Neural Networks

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson · IEEE Transactions on Neural Networks and Learning Systems · 2018 · 270 citations

Engineering, Computer Science, Robotics Engineering +15

Signal Temporal Logic-Based Attack Detection in DC Microgrids

Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson et al. · IEEE Transactions on Smart Grid · 2018 · 137 citations

Computing, Cybersecurity, Electrical Engineering +17

Verification for Machine Learning, Autonomy, and Neural Networks Survey

Weiming Xiang, Patrick Musau, Ayana A. Wild et al. · arXiv (Cornell University) · 2018 · 94 citations · Full text

Computing, Autonomous Systems, Computer Science +17

Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson · IEEE Transactions on Automatic Control · 2017 · 83 citations

Engineering, Systems Engineering, Real-time Systems +16