65 citations · 306 across the 20 of their papers we have counts for
6 papers · 1 filter
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
Yushen Huang, Ertai Luo, Stanley Bak +1
In real world applications, uncertain parameters are the rule rather than the exception. We present a reachability algorithm for linear systems with uncertain parameters and inputs…
On the Difficulty of Intersection Checking with Polynomial Zonotopes
Yushen Huang, Ertai Luo, Stanley Bak +1
Polynomial zonotopes, a non-convex set representation, have a wide range of applications from real-time motion planning and control in robotics, to reachability analysis of nonline…
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala +2
Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task. Computing the reachable states for linear systems, in contrast, can often…
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
Reachable set computation is an important technique for the verification of safety properties of dynamical systems. In this paper, we investigate reachable set computation for disc…
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…