Hoang-Dung Tran

发表

Output Reachable Set Estimation and Verification for Multilayer Neural Networks

Weiming Xiang, Taylor T. Johnson, Hoang-Dung Tran, 2017, IEEE Transactions on Neural Networks and Learning Systems.

Verification of Continuous and Hybrid Systems Linear Differential-Algebraic Equations ( Benchmark Proposal )

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, 2018 .

Neural Network Repair with Reachability Analysis pdf

Taylor T. Johnson, Hoang-Dung Tran, Bardh Hoxha, 2021, FORMATS.

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

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2021, Formal Aspects of Computing.

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

Stanley Bak, Hoang-Dung Tran, 2022, NFM.

Exponential stabilization for linear networked control systems with delays and packets losses

Z. Guan, F. Yuan, F. Liu, 2013, Proceedings of the 32nd Chinese Control Conference.

Verification Approaches for Learning-Enabled Autonomous Cyber–Physical Systems

Weiming Xiang, Taylor T. Johnson, Hoang-Dung Tran, 2022, IEEE Design & Test.

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

Weiming Xiang, Taylor T. Johnson, Hoang-Dung Tran, 2020, IEEE Transactions on Neural Networks and Learning Systems.

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

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

Verification of Deep Convolutional Neural Networks Using ImageStars

Taylor T. Johnson, Weiming Xiang, Stanley Bak, 2020, CAV.

Star-Based Reachability Analysis of Deep Neural Networks

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2019, FM.

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

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2020, CAV.

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control

Xenofon D. Koutsoukos, Taylor T. Johnson, Hoang-Dung Tran, 2019, ACM Trans. Embed. Comput. Syst..

Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2019, 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).

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

Taylor T. Johnson, Hoang-Dung Tran, Souradeep Dutta, 2019, ARCH@CPSIoTWeek.

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

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

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability

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

Case Study: Safety Verification of an Unmanned Underwater Vehicle

Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, 2020, 2020 IEEE Security and Privacy Workshops (SPW).

Verification of Recurrent Neural Networks with Star Reachability

D. Prokhorov, Bardh Hoxha, Tomoya Yamaguchi, 2023, HSCC.

Quantitative Verification for Neural Networks using ProbStars

Georgios Fainekos, Bardh Hoxha, Hoang-Dung Tran, 2023, HSCC.

Closed-Loop ACAS Xu NNCS is Unsafe: Quantized State Backreachability for Veriﬁcation pdf

Stanley Bak, Hoang-Dung Tran, Stanley Bak, 2022 .

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

Stanley Bak, Hoang-Dung Tran, 2022, ArXiv.

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks

Taylor T. Johnson, Stanley Bak, Kerianne Hobbs, 2020, CAV.

Specification-Guided Safety Verification for Feedforward Neural Networks pdf

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

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

Weiming Xiang, Taylor T. Johnson, Hoang-Dung Tran, 2018, 2018 Annual American Control Conference (ACC).

Demo: The Neural Network Verification (NNV) Tool

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2020, 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION).

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

Weiming Xiang, Taylor T. Johnson, Hoang-Dung Tran, 2019, IEEE Transactions on Automatic Control.

Numerical verification of affine systems with up to a billion dimensions

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

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

Taylor T. Johnson, Hoang-Dung Tran, Bardh Hoxha, 2021, HSCC.

Verification of Closed-loop Systems with Neural Network Controllers

Taylor T. Johnson, Hoang-Dung Tran, Diego Manzanas Lopez, 2019, ARCH@CPSIoTWeek.

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

Taylor T. Johnson, Diego Manzanas Lopez, Taylor J. Carpenter, 2022, EPiC Series in Computing.

Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance

Taylor T. Johnson, Kerianne L. Hobbs, Stanley Bak, 2022, Journal of Air Transportation.

Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability

Xin Chen, Taylor T. Johnson, Stanley Bak, 2020, AIAA Scitech 2021 Forum.

Discrete-Space Analysis of Partial Differential Equations

Taylor T. Johnson, Hoang-Dung Tran, Tianshu Bao, 2018, ARCH@ADHS.

A normalized PID controller in networked control systems with varying time delays.

Zhi-Hong Guan, Xin-Ming Cheng, Xuan-Kien Dang, 2013, ISA transactions.

Guaranteed cost static output feedback for networked control systems

Hoang-Dung Tran, Q. P. Ha, Quang-Vinh Dang, 2014, 2014 13th International Conference on Control Automation Robotics & Vision (ICARCV).

Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics

Luan Viet Nguyen, Taylor T. Johnson, Hoang-Dung Tran, 2014, IEEE Transactions on Energy Conversion.

Reachability Analysis of Convolutional Neural Networks pdf

Taylor T. Johnson, Hoang-Dung Tran, Bardh Hoxha, 2021, ArXiv.

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

Diego Manzanas Lopez, Taylor J. Carpenter, Radoslav Ivanov, 2019, ARCH@CPSIoTWeek.

Neural Network Veriﬁcation Methods for Closed-Loop ACAS Xu Properties ∗

Taylor T. Johnson, Diego Manzanas Lopez, Kerianne L. Hobbs, 2021 .

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

Doan Van Thang, Hoang-Dung Tran, Ha Huy Cuong Nguyen, 2016, ICCASA.

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis

Taylor T. Johnson, Hoang-Dung Tran, L. V. Nguyen, 2015, ARCH@CPSWeek.

International Workshop on Applied Verification for Continuous and Hybrid Systems Large-Scale Linear Systems from Order-Reduction ( Benchmark Proposal )

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

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

Weiming Xiang, Taylor T. Johnson, Hoang-Dung Tran, 2018, IEEE Transactions on Automatic Control.