Vignesh Sivaramakrishnan

21 papers C 5Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Autonomous Satellite Rendezvous via Hybrid Feedback Optimization.
CoRR
Oscar Jed Chuy, Matthew T. Hale, Vignesh Sivaramakrishnan, Sean Phillips, Ricardo G. Sanfelice
2025 — conf
SAVER: A Toolbox for SAmpling-Based, Probabilistic VERification of Neural Networks.
HSCC
Vignesh Sivaramakrishnan, Krishna Chaitanya Kalagarla, Rosalyn A. Devonport, Joshua Pilipovsky, Panagiotis Tsiotras, Meeko Oishi
2025 C conf
Trade-Offs in On-Orbit Inspection of a Stochastic, Tumbling Satellite.
ACC
Karthik Sivaramakrishnan, Vignesh Sivaramakrishnan, Steven Cutlip, Meeko Oishi
2024 J jnl
Convexified Open-Loop Stochastic Optimal Control for Linear Systems With Log-Concave Disturbances.
IEEE Trans. Autom. Control.
Vignesh Sivaramakrishnan, Abraham P. Vinod, Meeko M. K. Oishi
2024 — conf
Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order.
CDC
Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak, Meeko M. K. Oishi
2024 J jnl
Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order.
CoRR
Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Murat Arcak, Meeko M. K. Oishi
2024 J jnl
SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks.
CoRR
Vignesh Sivaramakrishnan, Krishna Chaitanya Kalagarla, Rosalyn A. Devonport, Joshua Pilipovsky, Panagiotis Tsiotras, Meeko Oishi
2024 — conf
Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks.
CDC
Karthik Sivaramakrishnan, Vignesh Sivaramakrishnan, Rosalyn A. Devonport, Meeko M. K. Oishi
2023 — conf
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions.
L4DC
Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko Oishi, Panagiotis Tsiotras
2023 J jnl
Stochastic Reachability of Discrete-Time Stochastic Systems via Probability Measures.
CoRR
Karthik Sivaramakrishnan, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2022 C conf
Distribution Steering for Discrete-Time Linear Systems with General Disturbances using Characteristic Functions.
ACC
Vignesh Sivaramakrishnan, Joshua Pilipovsky, Meeko Oishi, Panagiotis Tsiotras
2022 J jnl
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions.
CoRR
Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko M. K. Oishi, Panagiotis Tsiotras
2021 C conf
Approximate Stochastic Reachability for High Dimensional Systems.
ACC
Adam J. Thorpe, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2021 C conf
Stochastic multi-satellite maneuvering with constraints in an elliptical orbit.
ACC
Shawn Priore, Abraham P. Vinod, Vignesh Sivaramakrishnan, Christopher Petersen, Meeko Oishi
2020 J jnl
Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems.
CoRR
Vignesh Sivaramakrishnan, Abraham P. Vinod, Meeko M. K. Oishi
2020 J jnl
Fast, Convexified Stochastic Optimal Open-Loop Control for Linear Systems Using Empirical Characteristic Functions.
IEEE Control. Syst. Lett.
Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2019 C conf
Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints.
ACC
Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2019 — conf
Predicting Mode Confusion Through Mixed Integer Linear Programming.
CDC
Vignesh Sivaramakrishnan, Omanshu Thapliyal, Abraham P. Vinod, Meeko Oishi, Inseok Hwang
2019 — conf
Sampling-free enforcement of non-gaussian chance constraints via fourier transforms.
SNR
Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2019 J jnl
Stochastic Reachability for Systems up to a Million Dimensions.
CoRR
Adam J. Thorpe, Vignesh Sivaramakrishnan, Meeko M. K. Oishi
2018 — conf
ARCH-COMP18 Category Report: Stochastic Modelling.
ARCH@ADHS
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian Ioan Vasile, Abraham P. Vinod