1 citations · 1 across the 3 of their papers we have counts for
4 papers
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions
Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko M. K. Oishi +1
Verifying the input-output relationships of a neural network so as to achieve some desired performance specification is a difficult, yet important, problem due to the growing ubiqu…
Distributionally Robust Covariance Steering with Optimal Risk Allocation
Venkatraman Renganathan, Joshua Pilipovsky, Panagiotis Tsiotras
This article extends the optimal covariance steering (CS) problem for discrete time linear stochastic systems modeled using moment-based ambiguity sets. To hedge against the uncert…
Distribution Steering for Discrete-Time Linear Systems with General Disturbances using Characteristic Functions
Vignesh Sivaramakrishnan, Joshua Pilipovsky, Meeko M. K. Oishi +1
We propose to solve a constrained distribution steering problem, i.e., steering a stochastic linear system from an initial distribution to some final, desired distribution subject…
Covariance Steering with Optimal Risk Allocation
Joshua Pilipovsky, Panagiotis Tsiotras
This paper extends the optimal covariance steering problem for linear stochastic systems subject to chance constraints to account for optimal risk allocation. Previous works have a…