Concepedia

Hoang-Dung Tran

HT

Statistics

Publications

25

Citations

1K

H-Index

17

Active since

2013

Affiliations

Vanderbilt University(Current)

University of Nebraska–Lincoln

Augusta University

Stony Brook University

University of Dayton

Hoang-Dung Tran is an author at Vanderbilt University specializing in computer science, neural networks, and machine learning.

Publications per year

2013–2023

25

Publications

25

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

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

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

Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang et al. · IEEE Transactions on Neural Networks and Learning Systems · 2020 · 80 citations

Computing, Computer Science, Systems Engineering +17

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson · arXiv (Cornell University) · 2017 · 70 citations · Full text

Computing, Computer Engineering, Computer Science +14

Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching

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

Natural Sciences, Mathematics, Systems Engineering +17

1–5 of 25