91 citations · 426 across the 30 of their papers we have counts for
7 papers · 1 filter
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang +1
The vulnerability of artificial intelligence (AI) and machine learning (ML) against adversarial disturbances and attacks significantly restricts their applicability in safety-criti…
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…
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…
Reachability Analysis and Safety Verification for Neural Network Control Systems
Weiming Xiang, Taylor T. Johnson
Autonomous cyber-physical systems (CPS) rely on the correct operation of numerous components, with state-of-the-art methods relying on machine learning (ML) and artificial intellig…
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld +1
In this work, the reachable set estimation and safety verification problems for a class of piecewise linear systems equipped with neural network controllers are addressed. The neur…
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau +1
Neural networks have been widely used to solve complex real-world problems. Due to the complicate, nonlinear, non-convex nature of neural networks, formal safety guarantees for the…
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…