111 citations · 195 across the 22 of their papers we have counts for
28 papers
Automated Functional Decomposition for Hybrid Zonotope Over-approximations with Application to LSTM Networks
Jonah J. Glunt, Jacob A. Siefert, Andrew F. Thompson +2
Functional decomposition is a powerful tool for systems analysis because it can reduce a function of arbitrary input dimensions to the sum and superposition of functions of a singl…
zonoLAB: A MATLAB toolbox for set-based control systems analysis using hybrid zonotopes
Justin Koeln, Trevor J. Bird, Jacob Siefert +3
This paper introduces zonoLAB, a MATLAB-based toolbox for set-based control system analysis using the hybrid zonotope set representation. Hybrid zonotopes have proven to be an expr…
Hybrid Zonotopes Exactly Represent ReLU Neural Networks
Joshua Ortiz, Alyssa Vellucci, Justin Koeln +1
We show that hybrid zonotopes offer an equivalent representation of feed-forward fully connected neural networks with ReLU activation functions. Our approach demonstrates that the…
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts
Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh
Many real-world systems often involve physical components or operating environments with highly nonlinear and uncertain dynamics. A number of different control algorithms can be us…
Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids
Navid Hashemi, Justin Ruths
General results on convex bodies are reviewed and used to derive an exact closed-form parametric formula for the boundary of the geometric (Minkowski) sum of ellipsoids in -…
Finite sample guarantees for quantile estimation: An application to detector threshold tuning
David Umsonst, Justin Ruths, Henrik Sandberg
In threshold-based anomaly detection, we want to tune the threshold of a detector to achieve an acceptable false alarm rate. However, tuning the threshold is often a non-trivial ta…