Search Results - "Nguyen, Luan Viet"

Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism by Beg, Omar Ali, Nguyen, Luan Viet, Johnson, Taylor T., Davoudi, Ali

“…Modern cyber-physical microgrids rely on the information exchanged among power electronics devices (i.e., converters or inverters with local embedded…”
Get full text

Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics by Luan Viet Nguyen, Hoang-Dung Tran, Johnson, Taylor T.

“…In this paper, we present virtual prototyping of the distributed control for a modular multilevel inverter used as a grid-tie interface for photovoltaics. Due…”
Get full text

Hybrid automata: from verification to implementation by Bak, Stanley, Beg, Omar Ali, Bogomolov, Sergiy, Johnson, Taylor T., Nguyen, Luan Viet, Schilling, Christian

“…Hybrid automata are an important formalism for modeling dynamical systems exhibiting mixed discrete–continuous behavior such as control systems and are…”
Get full text

Order-reduction abstractions for safety verification of high-dimensional linear systems by Tran, Hoang-Dung, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T.

“…Order-reduction is a standard automated approximation technique for computer-aided design, analysis, and simulation of many classes of systems, from circuits…”
Get full text

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter by Tran, Hoang-Dung, Pal, Neelanjana, Lopez, Diego Manzanas, Musau, Patrick, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.

“…Verification has emerged as a means to provide formal guarantees on learning-based systems incorporating neural network before using them in safety-critical…”
Get full text

Model Checking Time Window Temporal Logic for Hyperproperties by Bonnah, Ernest, Nguyen, Luan Viet, Hoque, Khaza Anuarul

“…Hyperproperties extend trace properties to express properties of sets of traces, and they are increasingly popular in specifying various security and…”
Get full text

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency by Viet Nguyen, Luan, Mohan, Gautam, Weimer, James, Sokolsky, Oleg, Lee, Insup, Alur, Rajeev

“…Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems in a systematic manner. In this…”
Get full text

Demo: The Neural Network Verification (NNV) Tool by Tran, Hoang-Dung, Lopez, Diego Manzanas, Yang, Xiaodong, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.

“…NNV (Neural Network Verification) is a framework for the verification of deep neural networks (DNNs) and learning-enabled cyber-physical systems (CPS) inspired…”
Get full text

Decentralized Safe Control for Distributed Cyber-Physical Systems using Real-time Reachability Analysis by Nguyen, Luan Viet, Tran, Hoang-Dung, Johnson, Taylor, Gupta, Vijay

“…In this paper, we present a decentralized safe control (DSC) approach for distributed cyber-physical systems based on conducting reachability analysis in…”
Get full text

Real-Time Verification for Distributed Cyber-Physical Systems by Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T.

“…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…”
Get full text

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP by Duggirala, Parasara Sridhar, Fan, Chuchu, Potok, Matthew, Bolun Qi, Mitra, Sayan, Viswanathan, Mahesh, Bak, Stanley, Bogomolov, Sergiy, Johnson, Taylor T., Luan Viet Nguyen, Schilling, Christian, Sogokon, Andrew, Hoang-Dung Tran, Weiming Xiang

“…Hybrid systems have both continuous and discrete dynamics and are useful for modeling a variety of control systems, from air traffic control protocols to…”
Get full text

Cyber-Physical Systems: From Specification Inference to Design Analysis by Nguyen, Luan Viet

“…Due to the high degree of uncertainty and complexity, design and analysis of cyber-physical systems (CPS) are very challenging tasks. The challenge arises…”
Get full text

Model Checking Time Window Temporal Logic for Hyperproperties by Bonnah, Ernest, Nguyen, Luan Viet, Hoque, Khaza Anuarul

“…Hyperproperties extend trace properties to express properties of sets of traces, and they are increasingly popular in specifying various security and…”
Get full text

Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems by Pramanik, Apala, Choi, Sung Woo, Li, Yuntao, Nguyen, Luan Viet, Kim, Kyungki, Tran, Hoang-Dung

“…The rising use of robots in construction aims to ease labor-intensive and hazardous tasks. Ensuring safety in human-robot collaboration at construction sites…”
Get full text

Generalized Categorial Grammar for Unbounded Dependencies Recovery by Nguyen, Luan Viet

“…Accurate recovery of predicate-argument dependencies is vital for interpretation tasks like information extraction and question answering, and unbounded…”
Get full text

Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks by Tran, Hoang-Dung, Musau, Patrick, Manzanas Lopez, Diego, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T

“…Artificial neural networks (ANN) have displayed considerable utility in a wide range of applications such as image processing, character and pattern…”
Get full text

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability by Ivashchenko, Mykhailo, Choi, Sung Woo, Nguyen, Luan Viet, Tran, Hoang-Dung

“…Deep Neural Networks (DNNs) have become a popular instrument for solving various real-world problems. DNNs' sophisticated structure allows them to learn…”
Get full text

Real-Time Verification for Distributed Cyber-Physical Systems by Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T

“…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…”
Get full text

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems by Tran, Hoang-Dung, Yang, Xiaodong, Lopez, Diego Manzanas, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T

“…This paper presents the Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs) and…”
Get full text

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency by Nguyen, Luan Viet, Mohan, Gautam, Weimer, James, Sokolsky, Oleg, Lee, Insup, Alur, Rajeev

“…Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In…”
Get full text