Search Results for author:
Found 8 papers, 1 papers with code
Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids
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 $k$ ellipsoids in $n$-dimensional Euclidean space.
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Abstracting neural networks with constraints they impose on their inputs and outputs can be very useful in the analysis of neural network classifiers and to derive optimization-based algorithms for certification of stability and robustness of feedback systems involving neural networks.
Performance Bounds for Neural Network Estimators: Applications in Fault Detection
We exploit recent results in quantifying the robustness of neural networks to input variations to construct and tune a model-based anomaly detector, where the data-driven estimator model is provided by an autoregressive neural network.
Anomaly Detection Under Multiplicative Noise Model Uncertainty
State estimators are crucial components of anomaly detectors that are used to monitor cyber-physical systems.
Finite sample guarantees for quantile estimation: An application to detector threshold tuning
A detector threshold that provides an acceptable false alarm rate is equivalent to a specific quantile of the detector output distribution.
Hybrid Zonotopes Exactly Represent ReLU Neural Networks
We show that hybrid zonotopes offer an equivalent representation of feed-forward fully connected neural networks with ReLU activation functions.
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts
The problem addressed by this paper is the following: Suppose we obtain an optimal trajectory by solving a control problem in the training environment, how do we ensure that the real-world system trajectory tracks this optimal trajectory with minimal amount of error in a deployment environment.
zonoLAB: A MATLAB toolbox for set-based control systems analysis using hybrid zonotopes
This paper introduces zonoLAB, a MATLAB-based toolbox for set-based control system analysis using the hybrid zonotope set representation.
