Hoang-Dung Tran

According to our database, Hoang-Dung Tran authored at least 53 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV.

Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

A Transition System Abstraction Framework for Neural Network Dynamical System Models.

Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang

Proceedings of the American Control Conference, 2024

2023

Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis.

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

IEEE Trans. Control. Netw. Syst., September, 2023

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability.

Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Verification of Recurrent Neural Networks with Star Reachability.

Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Quantitative Verification for Neural Networks using ProbStars.

Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy.

Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the International Conference on Embedded Software, 2023

NNV 2.0: The Neural Network Verification Tool.

Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Real-Time Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Leibniz Trans. Embed. Syst., 2022

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems.

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

IEEE Des. Test, 2022

Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability.

Stanley Bak, Hoang-Dung Tran

CoRR, 2022

Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability.

Stanley Bak, Hoang-Dung Tran

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Neural Network Repair with Reachability Analysis.

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

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

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

IEEE Trans. Neural Networks Learn. Syst., 2021

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.

Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Formal Aspects Comput., 2021

Reachability Analysis of Convolutional Neural Networks.

Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov

CoRR, 2021

Reachability analysis of deep ReLU neural networks using facet-vertex incidence.

Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.

Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.

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

CoRR, 2020

Case Study: Safety Verification of an Unmanned Underwater Vehicle.

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.

Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Verification of Deep Convolutional Neural Networks Using ImageStars.

Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.

Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.

Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos

ACM Trans. Embed. Comput. Syst., 2019

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

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

IEEE Trans. Autom. Control., 2019

Parallelizable reachability analysis algorithms for feed-forward neural networks.

Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Numerical verification of affine systems with up to a billion dimensions.

Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Reachability Analysis for High-Index Linear Differential Algebraic Equations.

Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Star-Based Reachability Analysis of Deep Neural Networks.

Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Verification of Closed-loop Systems with Neural Network Controllers.

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Output Reachable Set Estimation and Verification for Multilayer Neural Networks.

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

IEEE Trans. Neural Networks Learn. Syst., 2018

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

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

IEEE Trans. Autom. Control., 2018

Specification-Guided Safety Verification for Feedforward Neural Networks.

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

CoRR, 2018

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.

Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson

CoRR, 2018

Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.

Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson

Proceedings of the 2018 Annual American Control Conference, 2018

Reachability Analysis for One Dimensional Linear Parabolic Equations.

Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Discrete-Space Analysis of Partial Differential Equations.

Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Linear Differential-Algebraic Equations (Benchmark Proposal).

Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

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

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

IEEE Trans. Autom. Control., 2017

Order-reduction abstractions for safety verification of high-dimensional linear systems.

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

Discret. Event Dyn. Syst., 2017

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

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

CoRR, 2017

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks.

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

CoRR, 2017

Distributed Autonomous Systems.

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

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

On reachable set estimation for discrete-time switched linear systems under arbitrary switching.

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

Proceedings of the 2017 American Control Conference, 2017

2016

Deadlock Avoidance for Resource Allocation Model V VM-out-of-N PM.

Ha Huy Cuong Nguyen, Hoang-Dung Tran, Doan Van Thang, Vu Thi Phuong Anh

Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

Large-Scale Linear Systems from Order-Reduction.

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

Proceedings of the ARCH@CPSWeek 2016, 2016

Reachable set estimation and control for switched linear systems with dwell-time restriction.

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

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

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

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.

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

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014

Guaranteed cost static output feedback for networked control systems.

Hoang-Dung Tran, Quang Phuc Ha, Quang-Vinh Dang

Proceedings of the 13th International Conference on Control Automation Robotics & Vision, 2014