3 papers
cs.LG2024
SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Vignesh Sivaramakrishnan, Krishna C. Kalagarla, Rosalyn Devonport +3
We present a neural network verification toolbox to 1) assess the probability of satisfaction of a constraint, and 2) synthesize a set expansion factor to achieve the probability o…
math.OC2024
Distributionally Robust Density Control with Wasserstein Ambiguity Sets
Joshua Pilipovsky, Panagiotis Tsiotras
Precise control under uncertainty requires a good understanding and characterization of the noise affecting the system. This paper studies the problem of steering state distributio…
eess.SY2023
Data-Driven Covariance Steering Control Design
Joshua Pilipovsky, Panagiotis Tsiotras
This paper studies the problem of steering the distribution of a linear time-invariant system from an initial normal distribution to a terminal normal distribution under no knowled…