3 citations · 6 across the 8 of their papers we have counts for
9 papers
Autonomous Satellite Rendezvous via Hybrid Feedback Optimization
Oscar Jed R. Chuy, Matthew T. Hale, Vignesh Sivaramakrishnan +2
As satellites have proliferated, interest has increased in autonomous rendezvous, proximity operations, and docking (ARPOD). A fundamental challenge in these tasks is the uncertain…
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…
Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak +1
We present a method to overapproximate forward stochastic reach sets of discrete-time, stochastic nonlinear systems with interval geometry. This is made possible by extending the t…
Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
Karthik Sivaramakrishnan, Vignesh Sivaramakrishnan, Rosalyn Alex Devonport +1
This paper poses a theoretical characterization of the stochastic reachability problem in terms of probability measures, capturing the probability measure of the state of the syste…
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…
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…
Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems
Vignesh Sivaramakrishnan, Abraham P. Vinod, Meeko M. K. Oishi
We consider stochastic optimal control of linear dynamical systems with additive non-Gaussian disturbance. We propose a novel, sampling-free approach, based on Fourier transformati…
Fast, Convexified Stochastic Optimal Open-Loop Control For Linear Systems Using Empirical Characteristic Functions
Vignesh Sivaramakrishnan, Meeko M. K. Oishi
We consider the problem of stochastic optimal control in the presence of an unknown disturbance. We characterize the disturbance via empirical characteristic functions, and employ…
Approximate Stochastic Reachability for High Dimensional Systems
Adam J. Thorpe, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
We present a method to compute the stochastic reachability safety probabilities for high-dimensional stochastic dynamical systems. Our approach takes advantage of a nonparametric l…