42 citations · 60 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
eess.SY2017
Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods
Joseph D. Gleason, Abraham P. Vinod, Meeko. M. K. Oishi
We examine Lagrangian techniques for computing underapproximations of finite-time horizon, stochastic reach-avoid level-sets for discrete-time, nonlinear systems. We use the concep…
eess.SY2017
Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms
Abraham P. Vinod, Meeko M. K. Oishi
We present a scalable underapproximation of the terminal hitting time stochastic reach-avoid probability at a given initial condition, for verification of high-dimensional stochast…