Luan Viet Nguyen

According to our database1, Luan Viet Nguyen authored at least 32 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis.
IEEE Trans. Control. Netw. Syst., September, 2023

Motion Planning Using Hyperproperties for Time Window Temporal Logic.
IEEE Robotics Autom. Lett., 2023

Model Checking Time Window Temporal Logic for Hyperproperties.
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability.
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022
Real-Time Verification for Distributed Cyber-Physical Systems.
Leibniz Trans. Embed. Syst., 2022

2021
Towards a framework of enforcing resilient operation of cyber-physical systems with unknown dynamics.
IET Cyper-Phys. Syst.: Theory & Appl., 2021

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.
Formal Aspects Comput., 2021

Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach.
Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism.
IEEE Access, 2021

2020
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Signal Temporal Logic-Based Attack Detection in DC Microgrids.
IEEE Trans. Smart Grid, 2019

Hybrid automata: from verification to implementation.
Int. J. Softw. Tools Technol. Transf., 2019

Detecting security leaks in hybrid systems with information flow analysis.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Parallelizable reachability analysis algorithms for feed-forward neural networks.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Reachability Analysis for High-Index Linear Differential Algebraic Equations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Star-Based Reachability Analysis of Deep Neural Networks.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
Cyber-Physical Specification Mismatches.
ACM Trans. Cyber Phys. Syst., 2018

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Order-reduction abstractions for safety verification of high-dimensional linear systems.
Discret. Event Dyn. Syst., 2017

Hyperproperties of real-valued signals.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Abnormal Data Classification Using Time-Frequency Temporal Logic.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Distributed Autonomous Systems.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016
Large-Scale Linear Systems from Order-Reduction.
Proceedings of the ARCH@CPSWeek 2016, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015
Runtime Verification for Hybrid Analysis Tools.
Proceedings of the Runtime Verification - 6th International Conference, 2015

HyRG: a random generation tool for affine hybrid automata.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter.
CoRR, 2014

Model-based design and analysis of a reconfigurable continuous-culture bioreactor.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters).
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014


  Loading...