3 citations · 7 across the 7 of their papers we have counts for
7 papers
Model Checking Time Window Temporal Logic for Hyperproperties
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Hyperproperties extend trace properties to express properties of sets of traces, and they are increasingly popular in specifying various security and performance-related properties…
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach
Luan V. Nguyen, Wesam Haddad, Taylor T. Johnson
Satisfiability Modulo Theories (SMT) solvers have been successfully applied to solve many problems in formal verification such as bounded model checking (BMC) for many classes of s…
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez +5
This paper presents the Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs) and learning-enabled cyber-physical syst…
Real-Time Verification for Distributed Cyber-Physical Systems
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau +2
Safety-critical distributed cyber-physical systems (CPSs) have been found in a wide range of applications. Notably, they have displayed a great deal of utility in intelligent trans…
Cyber-Physical Specification Mismatches
Luan V. Nguyen, Khaza Anuarul Hoque, Stanley Bak +2
Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational…
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang +1
Order-reduction is a standard automated approximation technique for computer-aided design, analysis, and simulation of many classes of systems, from circuits to buildings. For a gi…
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter
Luan Viet Nguyen, Taylor T. Johnson
In this paper, we present the virtual prototyping of a solar array with a grid-tie implemented as a distributed inverter and controlled using distributed algorithms. Due to the dis…