Author:Luan Viet Nguyen

Publications
Distributed Autonomous Systems Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang and Taylor T. Johnson In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Large-Scale Linear Systems from Order-Reduction Hoang-Dung Tran, Luan Viet Nguyen and Taylor T. Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis Hoang-Dung Tran, Luan Viet Nguyen and Taylor T. Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters) Luan Viet Nguyen and Taylor T. Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems