3 citations · 6 across the 8 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…