Taylor T. Johnson - Publications, H-index & Citations

Taylor T. Johnson

vanderbilt university

31H指数

251论文数

3.6K被引数

收录论文 17

发表时间

ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis ISL：医学影像分析中图像分割逻辑的监控

RUNTIME VERIFICATION, RV 2025

IF0

2026-01-01

PREAI

An, Ziyan; Moyer, Daniel; Oguz, Ipek; Johnson, Taylor T.; Ma, Meiyi

Trigger-Based Fragile Model Watermarking for Image Transformation Networks 触发式脆弱模型水印在图像变换网络中的应用

COMPUTER SECURITY-ESORICS 2025, PT I

IF0

2026-01-01

PREAI

Robinette, Preston K.; Nguyen, Thuy Dung; Sasaki, Samuel; Johnson, Taylor T.

NNV: A Star Set Reachability Approach (Competition Contribution)NNV：一种星集可达性方法（竞赛贡献）

AI VERIFICATION, SAIV 2025

IF0

2026-01-01

PREAI

Lopez, Diego Manzanas; Sasaki, Samuel; Johnson, Taylor T.

Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2023

IF0

2023-09-17

PREAI

Pal, Neelanjana; Lopez, Diego Manzanas; Johnson, Taylor T.

Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis 使用实时可达性分析对分布式网络物理系统进行分散安全控制

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS

IF5

2023-09-01

PREAI

Nguyen, Luan Viet; Tran, Hoang-Dung; Johnson, Taylor; Gupta, Vijay

Considering leadership in engineering education: A call to action for research and practice

JOURNAL OF ENGINEERING EDUCATION

IF3.4

2022-12-30

OAAI

Schilling, Malle; Vicente, Sophia; Johnson, Taylor; Jefferson, Nicole; Matusovich, Holly

Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach

IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS

IF8.9

2021-05-01

OAAI

Xiang, Weiming; Tran, Hoang-Dung; Yang, Xiaodong; Johnson, Taylor T.

Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism

IEEE ACCESS

IF3.6

2021-01-01

PREAI

Beg, Omar Ali; Nguyen, Luan Viet; Johnson, Taylor T.; Davoudi, Ali

Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2019-08-01

OAAI

Xiang, Weiming; Hoang-Dung Tran; Johnson, Taylor T.

Using crowd sourcing to locate and characterize conflicts for vulnerable modes

ACCIDENT ANALYSIS AND PREVENTION

IF6.2

2019-07-01

PREAI

Rahman, Ziaur; Mattingly, Stephen P.; Kawadgave, Rahul; Nostikasari, Dian; Roeglin, Nicole; Casey, Colleen; Johnson, Taylor

Signal Temporal Logic-Based Attack Detection in DC Microgrids

IEEE TRANSACTIONS ON SMART GRID

IF9.8

2019-07-01

OAAI

Beg, Omar Ali; Nguyen, Luan V.; Johnson, Taylor T.; Davoudi, Ali

Output Reachable Set Estimation and Verification for Multilayer Neural Networks

IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS

IF8.9

2018-11-01

185

OAAI

Xiang, Weiming; Hoang-Dung Tran; Johnson, Taylor T.

Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching 任意切换下离散切换系统的鲁棒指数稳定性和扰动衰减

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2018-05-01

OAAI

Xiang, Weiming; Hoang-Dung Tran; Johnson, Taylor T.

Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification 切换线性系统的输出可达集估计及其在安全验证中的应用

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2017-10-01

OAAI

Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T.

Detection of False-Data Injection Attacks in Cyber-Physical DC Microgrids 网络物理型直流微电网虚假数据注入攻击检测

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2017-10-01

229

OAAI

Beg, Omar Ali; Johnson, Taylor T.; Davoudi, Ali

Model Validation of PWM DC-DC Converters

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS

IF7.2

2017-09-01

OAAI

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

Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics

IEEE TRANSACTIONS ON ENERGY CONVERSION

IF5.4

2014-12-01

PREAI

Luan Viet Nguyen; Hoang-Dung Tran; Johnson, Taylor T.

研究方向