Concepedia

Hoang-Dung Tran

HT

25

Publications

1K

Citations

17

H-Index

2013

Active since

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 engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringComputer ScienceMachine LearningArtificial IntelligenceIntelligent ControlIntelligent SystemsVerificationRobot 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 · 266 citations

Artificial Intelligence, Engineering, Machine Learning +19

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 · 81 citations

Engineering, Reachability Problem, Robust Control +17

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

Artificial Intelligence, Engineering, Machine Learning +15

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

Mathematical Programming, Engineering, Machine Learning +16

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

Nonlinear Control, Engineering, Robust Control +11

Rows per page

1–5 of 25