Home

Hoang-Dung Tran, Assistant Professor

University of Nebraska at Lincoln

Department of Computer Science and Engineering

Research Interest: Safe AI, Cyber-Physical Systems, Formal Methods, Control Theory

Email: trhoangdung@gmail.com, dtran30@unl.edu

Bio: I am an Assistant Professor in the Department of Computer Science and Engineering at the University of Nebraska, Lincoln. I earned a Ph.D. degree in Computer Science at Vanderbilt University in August 2020. My research interests are reachability analysis and robustness certification of deep neural networks (DNN), formal verification of autonomous cyber-physical systems(CPS) with learning-enabled components, safe and robust training for DNN, real-time verification and safe motion planning for distributed CPS. I am also interested in robust control, stability analysis of nonlinear control systems, and networked control systems.

Google Scholar, ResearchGate

Awards

  • The IEEE TCCPS Outstanding Ph.D. Dissertation Award, 2021.

Research and Tools

I am leading the research and also the main developer of the following projects and tools.

  1. nnv: Verification for Deep Neural Networks and Learning-Enabled Autonomous Cyber-Physical Systems

  2. drreach: Decentralized Real-time Safety Verification and Safe Motion Planning for Distributed Autonomous Cyber-Physical Systems

  3. daev: Reachability Analysis, Verification, and Falsification for High-Index Differential Algebraic Equations

  4. pdev: Reachability Analysis, Verification, and Falsification for Partial Differential Equations

Selected Publications

  1. [CAV'21] Hoang-Dung Tran, Neelanjana Pal , Patrick Musau , Diego Manzanas Lopez , Nathaniel Hamilton , Xiaodong Yang, Stanley Bak , and Taylor T. Johnson. "Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability ." The 33rd International Conference on Computer-Aided Verification (CAV 2020), July 18-23, 2021, to appear.

  2. [FAOC'21] Hoang-Dung Tran, Neelanjana Pal , Patrick Musau , Diego Manzanas Lopez , Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak , and Taylor T. Johnson. "Verification of Piecewise Deep Neural Networks: A Star Set Approach with Zonotope Pre-filter ." Formal Aspects of Computing, 2021, (Invited Paper) , to appear.

  3. [HSCC'21] Xiaodong Yang, Taylor T. Johnson, Hoang Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, and Danil Prokhorov. “Reachability Analysis of Deep ReLU Networks using Facet-Vertex Incidence”. The 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), April 2021.

  4. [D&T'20] Hoang-Dung Tran, Weiming Xiang, Taylor T.Johnson, "Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems", The IEEE Design & Test 2020.

  5. [CAV'20] Hoang-Dung Tran, Stanley Bak, Weiming Xiang, and Taylor T.Johnson. "Verification of Deep Convolutional Neural Networks Using ImageStars." The 32nd International Conference on Computer-Aided Verification (CAV 2020), July 19-24, 2020, Los Angeles, California, USA. Acceptance Rate 27%.

  6. [CAV'20] Hoang-Dung Tran, Xiaodong Yang, Stanley Bak, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, and Taylor T.Johnson. "NNV: A Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems." The 32nd International Conference on Computer-Aided Verification (CAV 2020), July 19-24, 2020, Los Angeles, California, USA. Acceptance Rate 27%.

  7. [CAV'20] Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, and Taylor T.Johnson. "Improved Geometric Path Enumeration for Verifying ReLU Neural Networks." The 32nd International Conference on Computer-Aided Verification (CAV 2020), July 19-24, 2020, Los Angeles, California, USA. Acceptance Rate 27%.

  8. [TNNLS'20] Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson. “Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach ”, IEEE Transactions on Neural Networks and Learning Systems (Regular Paper), 2020.

  9. [FM'19] Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, and Taylor T.Johnson. “Star-Based Reachability Analysis for Deep Neural Networks”. The 23rd International Symposium on Formal Methods (FM), Porto, Portugal, 2019, Acceptance Rate 30%. (Invited for a Journal Submission).

  10. [EMSOFT'19] Hoang-Dung Tran, Feiyang Cei, Diego Manzanas Lopez, Taylor T.Johnson, and Xenofon Koutsoukos. “Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control”. 16th ACM SIGBED International Conference on Embedded Software (EMSOFT 2019), , New York, October, 2019. Acceptance Rate 26% . Published in special issue of ACM Transactions on Embedded Computing Systems (ACM TECS) .

  11. [FORMALISE'19] Hoang-Dung Tran, Patrick Musau, Manzanas Lopez Diego, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, and Taylor T. Johnson. “Parallelizable Reachability Analysis Algorithms for FeedForward Neural Networks”. The 7th International Conference on Formal Methods in Software Engineering (FORMALISE), Montreal, May 2019, Acceptance Rate 28%.

  12. [FORTE'19] Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, and Taylor T. Johnson, "Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems". The 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, (FORTE), Copenhagen, Denmark, Jun 17-21, 2019, Acceptance Rate 42.8%. (Invited for a Journal Submission).

  13. [FORMATS'19] Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, and Taylor T.Johnson. “Reachability Analysis for High-Index Linear Differential Algebraic Equations”. The 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Amsterdam, The Netherlands, August 26-31, 2019, Acceptance Rate 40%.

  14. [TAC'19] 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 Transactions on Automatic Control, 64(8), 3407-3414 , 2019.

  15. [HSCC'19] Stanley Bak, Hoang Dung Tran, and Taylor T. Johnson. “Numerical verification of affine systems with up to a billion dimensions”. The 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Montreal, Canada, April 2019 (acceptance rate: 25%).

  16. [VNN'19] Weiming Xiang, Hoang Dung Tran, Taylor T. Johnson. “Specification-Guided Safety Verification for Feedforward Neural Networks”. The 2019 AAAI Spring Symposium on Verification of Neural Networks (VNN19).

  17. [ADHS'18] Hoang Dung Tran, Weiming Xiang, Stanley Bak and Taylor T. Johnson. “Reachability Analysis for One Dimensional Linear Parabolic Equations”. IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS 2018), Oxford, July 2018.

  18. [TNNLS'18] Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson. “Output reachable set estimation and verification for multi-layer neural networks”, IEEE Transactions on Neural Networks and Learning Systems, 29(11), 5777 - 5783, 2018.

  19. [ACC'18] Weiming Xiang, Hoang-Dung Tran, and Taylor T. Johnson. “Reachable set estimation and safety verification for piecewise linear systems with neural network controllers”, 31th IEEE American Control Conference (ACC 2018), 1574–1579, 2018.

  20. [DEDS'17] Hoang-Dung Tran, Luan Nguyen, Weiming Xiang, Taylor T. Johnson. “Order-reduction abstractions for safety verification of high-dimensional linear systems”, Discrete Event Dynamic Systems, 27(2), 443–461, 2017.

  21. [ACC'17] Weiming Xiang, Hoang-Dung Tran and Taylor T. Johnson. “On reachable set estimation for discrete-time switched linear systems under arbitrary switching”, 30th IEEE American Control Conference (ACC 2017), 4534–4539, 2017.

  22. [TAC'17] Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson. “Robust exponential stability and disturbance attenuation for discrete-time switched systems under arbitrary switching”, IEEE Transactions on Automatic Control, 63(5), 1450-1456, 2017.

  23. [TAC'17] Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson. “Output reachable set estimation for switched linear systems and its application in safety verification”, IEEE Transactions on Automatic Control, 62(10), 5380– 5387, 2017.

  24. [CDC'16] Weiming Xiang, Hoang-Dung Tran and Taylor T. Johnson. “Reachable set estimation and control for switched linear systems with dwell-time restriction”, 55th IEEE Conference on Decision and Control (CDC 2016), 7246-7251, 2016.

  25. [TEC'14] Luan Nguyen, Hoang-Dung Tran, Taylor T. Johnson. “Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics”, IEEE Transactions on Energy Conversion, vol. 29, pp. 841-850, December 2014.

  26. [ISA'13] Hoang-Dung Tran, Zhi-Hong Guan, Xuan-Kien Dang, Xin-Ming Cheng, Fu-Shun Yuan. “A normalized PID controller in networked control systems with varying time delays”, ISA Transaction, September, 2013.

News