Luan Viet Nguyen
Luan Viet Nguyen
Postdoctoral Research Associate, University of Pennsylvania
Verified email at cardinalmail.cua.edu - Homepage
Title
Cited by
Cited by
Year
Virtual prototyping for distributed control of a fault-tolerant modular multilevel inverter for photovoltaics
LV Nguyen, HD Tran, TT Johnson
IEEE Transactions on Energy Conversion 29 (4), 841-850, 2014
332014
Hyperproperties of real-valued signals
LV Nguyen, J Kapinski, X Jin, JV Deshmukh, TT Johnson
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
262017
Signal temporal logic-based attack detection in DC microgrids
OA Beg, LV Nguyen, TT Johnson, A Davoudi
IEEE Transactions on Smart Grid 10 (4), 3585-3595, 2018
222018
Star-based reachability analysis of deep neural networks
HD Tran, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang, TT Johnson
International Symposium on Formal Methods, 670-686, 2019
202019
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters).
LV Nguyen, TT Johnson
ARCH@ CPSWeek, 19-24, 2014
192014
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
HD Tran, X Yang, DM Lopez, P Musau, LV Nguyen, W Xiang, S Bak, ...
arXiv preprint arXiv:2004.05519, 2020
182020
Order-reduction abstractions for safety verification of high-dimensional linear systems
HD Tran, LV Nguyen, W Xiang, TT Johnson
Discrete Event Dynamic Systems 27 (2), 443-461, 2017
172017
Abnormal data classification using time-frequency temporal logic
LV Nguyen, J Kapinski, X Jin, JV Deshmukh, K Butts, TT Johnson
Proceedings of the 20th international conference on hybrid systems …, 2017
162017
Hybrid automata: from verification to implementation
S Bak, OA Beg, S Bogomolov, TT Johnson, LV Nguyen, C Schilling
International Journal on Software Tools for Technology Transfer 21 (1), 87-104, 2019
152019
Large-scale linear systems from order-reduction (benchmark proposal)
HD Tran, LV Nguyen, TT Johnson
3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH …, 2016
142016
Parallelizable reachability analysis algorithms for feed-forward neural networks
HD Tran, P Musau, DM Lopez, X Yang, LV Nguyen, W Xiang, TT Johnson
2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019
102019
Large-scale linear systems from order-reduction
HD Tran, LV Nguyen, TT Johnson
EPiC Series in Computing 43, 60-67, 2017
82017
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2e2, hyst, and tulip
PS Duggirala, C Fan, M Potok, B Qi, S Mitra, M Viswanathan, S Bak, ...
2016 IEEE Conference on Control Applications (CCA), 1024-1029, 2016
82016
Cyber-physical specification mismatches
LV Nguyen, KA Hoque, S Bak, S Drager, TT Johnson
ACM Transactions on Cyber-Physical Systems 2 (4), 1-26, 2018
62018
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.
HD Tran, LV Nguyen, TT Johnson
ARCH@ CPSWeek, 89-97, 2015
62015
Reachability Analysis for High-Index Linear Differential Algebraic Equations
HD Tran, LV Nguyen, N Hamilton, W Xiang, TT Johnson
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
52019
Decentralized real-time safety verification for distributed cyber-physical systems
HD Tran, LV Nguyen, P Musau, W Xiang, TT Johnson
International Conference on Formal Techniques for Distributed Objects …, 2019
52019
Runtime verification of model-based development environments
LV Nguyen, C Schilling, S Bogomolov, TT Johnson
Proc. 15th International Conference on Runtime Verification (RV), 2015
52015
HyRG: A Random Generation Tool for Affine Hybrid Automata
LV Nguyen, C Schilling, S Bogomolov, TT Johnson
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
42015
Poster: Hyrg: a random generation tool for affine hybrid automata
LV Nguyen, C Schilling, S Bogomolov, TT Johnson
HSCC: Hybrid Systems-Computation and Control, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20