Hoang-Dung Tran

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 58

Top Topics

Reachability Analysis

Top Venues

Publications

Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
A Transition System Abstraction Framework for Neural Network Dynamical System Models. CoRR (2024)
Luan Viet Nguyen, Hoang-Dung Tran, Taylor T. Johnson, Vijay Gupta
Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis. IEEE Trans. Control. Netw. Syst. 10 (3) (2023)
Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson
Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy. EMSOFT (2023)
Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
NNV 2.0: The Neural Network Verification Tool. CAV (2) (2023)
Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Verification of Recurrent Neural Networks with Star Reachability. HSCC (2023)
Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov
Quantitative Verification for Neural Networks using ProbStars. HSCC (2023)
Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. FormaliSE (2023)
Stanley Bak, Hoang-Dung Tran
Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability. CoRR (2022)
Stanley Bak, Hoang-Dung Tran
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability. NFM (2022)
Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems. IEEE Des. Test 39 (1) (2022)
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
Real-Time Verification for Distributed Cyber-Physical Systems. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Neural Network Repair with Reachability Analysis. FORMATS (2022)
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Neural Network Repair with Reachability Analysis. CoRR (2021)
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. CAV (1) (2021)
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach. IEEE Trans. Neural Networks Learn. Syst. 32 (5) (2021)
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Reachability Analysis of Convolutional Neural Networks. CoRR (2021)
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Formal Aspects Comput. 33 (4-5) (2021)
Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Reachability analysis of deep ReLU neural networks using facet-vertex incidence. HSCC (2021)
Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices. CoRR (2020)
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
Verification of Deep Convolutional Neural Networks Using ImageStars. CAV (1) (2020)
Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. CAV (1) (2020)
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach. CoRR (2020)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CAV (1) (2020)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson
Case Study: Safety Verification of an Unmanned Underwater Vehicle. SP Workshops (2020)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CoRR (2020)
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
Verification of Deep Convolutional Neural Networks Using ImageStars. CoRR (2020)
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2020)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint. IEEE Trans. Autom. Control. 64 (8) (2019)
Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
Reachability Analysis for High-Index Linear Differential Algebraic Equations. FORMATS (2019)
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@CPSIoTWeek (2019)
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
Numerical verification of affine systems with up to a billion dimensions. HSCC (2019)
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. FORTE (2019)
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
Real-Time Verification for Distributed Cyber-Physical Systems. CoRR (2019)
Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Star-Based Reachability Analysis of Deep Neural Networks. FM (2019)
Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Parallelizable reachability analysis algorithms for feed-forward neural networks. FormaliSE@ICSE (2019)
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson
Verification of Closed-loop Systems with Neural Network Controllers. ARCH@CPSIoTWeek (2019)
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers. ACC (2018)
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers. CoRR (2018)
Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson
Linear Differential-Algebraic Equations (Benchmark Proposal). ARCH@ADHS (2018)
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
Numerical Verification of Affine Systems with up to a Billion Dimensions. CoRR (2018)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Specification-Guided Safety Verification for Feedforward Neural Networks. CoRR (2018)
Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson
Discrete-Space Analysis of Partial Differential Equations. ARCH@ADHS (2018)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching. IEEE Trans. Autom. Control. 63 (5) (2018)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Output Reachable Set Estimation and Verification for Multilayer Neural Networks. IEEE Trans. Neural Networks Learn. Syst. 29 (11) (2018)
Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Reachability Analysis for One Dimensional Linear Parabolic Equations. ADHS (2018)
Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations. CoRR (2018)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks. CoRR (2017)
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Distributed Autonomous Systems. ARCH@CPSWeek (2017)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations. CoRR (2017)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
On reachable set estimation for discrete-time switched linear systems under arbitrary switching. ACC (2017)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification. IEEE Trans. Autom. Control. 62 (10) (2017)
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Order-reduction abstractions for safety verification of high-dimensional linear systems. Discret. Event Dyn. Syst. 27 (2) (2017)
Ha Huy Cuong Nguyen, Hoang-Dung Tran, Doan Van Thang, Vu Thi Phuong Anh
Deadlock Avoidance for Resource Allocation Model V VM-out-of-N PM. ICCASA (2016)
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
Reachable set estimation and control for switched linear systems with dwell-time restriction. CDC (2016)
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems. CoRR (2016)
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)
Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson
Large-Scale Linear Systems from Order-Reduction. ARCH@CPSWeek (2016)
Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis. ARCH@CPSWeek (2015)
Hoang-Dung Tran, Q. P. Ha, Quang-Vinh Dang
Guaranteed cost static output feedback for networked control systems. ICARCV (2014)