111 citations · 195 across the 22 of their papers we have counts for
18 papers · 1 filter
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…
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…
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…
Anomaly Detection Under Multiplicative Noise Model Uncertainty
Venkatraman Renganathan, Benjamin J. Gravell, Justin Ruths +1
State estimators are crucial components of anomaly detectors that are used to monitor cyber-physical systems. Many frequently-used state estimators are susceptible to model risk as…
Higher-Order Moment-Based Anomaly Detection
Venkatraman Renganathan, Navid Hashemi, Justin Ruths +1
The identification of anomalies is a critical component of operating complex, and possibly large-scale and geo-graphically distributed cyber-physical systems. While designing anoma…