Luan Viet Nguyen

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 32

Top Topics

Mission Planning

Reachability Analysis

Top Venues

Publications

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)
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Model Checking Time Window Temporal Logic for Hyperproperties. MEMOCODE (2023)
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Model Checking Time Window Temporal Logic for Hyperproperties. CoRR (2023)
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Motion Planning Using Hyperproperties for Time Window Temporal Logic. IEEE Robotics Autom. Lett. 8 (8) (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)
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)
Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi
Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism. IEEE Access 9 (2021)
Luan Viet Nguyen, Vijay Gupta
Towards a framework of enforcing resilient operation of cyber-physical systems with unknown dynamics. IET Cyper-Phys. Syst.: Theory & Appl. 6 (3) (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)
Luan Viet Nguyen, Wesam Haddad, Taylor T. Johnson
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach. SNR (2021)
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)
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)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE (2020)
Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
Reachability Analysis for High-Index Linear Differential Algebraic Equations. FORMATS (2019)
Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi
Signal Temporal Logic-Based Attack Detection in DC Microgrids. IEEE Trans. Smart Grid 10 (4) (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)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE (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, 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)
Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling
Hybrid automata: from verification to implementation. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR (2019)
Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. ADHS (2018)
Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
Cyber-Physical Specification Mismatches. CoRR (2018)
Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
Cyber-Physical Specification Mismatches. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
Distributed Autonomous Systems. ARCH@CPSWeek (2017)
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson
Hyperproperties of real-valued signals. MEMOCODE (2017)
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson
Abnormal Data Classification Using Time-Frequency Temporal Logic. HSCC (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)
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)
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
HyRG: a random generation tool for affine hybrid automata. HSCC (2015)
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
Runtime Verification for Hybrid Analysis Tools. RV (2015)
Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis. ARCH@CPSWeek (2015)
Luan Viet Nguyen, Taylor T. Johnson
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters). ARCH@CPSWeek (2014)
Luan Viet Nguyen, Eric J. Nelson, Amol Vengurlekar, Ruoshi Zhang, Kristopher I. White, Victor Salinas, Taylor T. Johnson
Model-based design and analysis of a reconfigurable continuous-culture bioreactor. CyPhy (2014)
Luan Viet Nguyen, Taylor T. Johnson
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter. CoRR (2014)