Follow
Abraham P. Vinod
Title
Cited by
Cited by
Year
SReachTools: a MATLAB stochastic reachability toolbox
AP Vinod, JD Gleason, MMK Oishi
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
562019
Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms
AP Vinod, B Homchaudhuri, MMK Oishi
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
472017
Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods
JD Gleason, AP Vinod, MMK Oishi
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 4283-4290, 2017
372017
Stochastic reachability of a target tube: Theory and computation
AP Vinod, MMK Oishi
Automatica 125, 109458, 2021
302021
Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms
AP Vinod, MMK Oishi
IEEE control systems letters 1 (2), 316-321, 2017
292017
Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness
AP Vinod, MMK Oishi
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
282018
Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems
H Sartipizadeh, AP Vinod, B Açikmeşe, M Oishi
2019 American Control Conference (ACC), 37-44, 2019
272019
ARCH-COMP18 Category Report: Stochastic Modelling
A Abate, H Blom, N Cauchi, S Haesaert, A Hartmanns, K Lesser, M Oishi, ...
ARCH18. 5th International Workshop on Applied Verification of Continuous and …, 2018
252018
Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions
HTL Chiang, B HomChaudhuri, AP Vinod, M Oishi, L Tapia
2017 IEEE International Conference on Robotics and Automation (ICRA), 3762-3769, 2017
242017
Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance
B HomChaudhuri, AP Vinod, MMK Oishi
American Control Conference (ACC), 2017, 4404-4411, 2017
212017
Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints
AP Vinod, V Sivaramakrishnan, MMK Oishi
2019 American Control Conference (ACC), 2942-2949, 2019
202019
On-the-fly control of unknown smooth systems from limited data
F Djeumou, AP Vinod, E Goubault, S Putot, U Topcu
2021 American Control Conference (ACC), 3656-3663, 2021
182021
Multiple Pursuer-Based Intercept via Forward Stochastic Reachability
AP Vinod, B HomChaudhuri, C Hintz, A Parikh, SP Buerger, MMK Oishi, ...
2018 Annual American Control Conference (ACC), 1559-1566, 2018
172018
Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles
AP Vinod, MMK Oishi
IEEE Transactions on Automatic Control 66 (7), 3068-3083, 2020
15*2020
Stochastic Motion Planning Using Successive Convexification and Probabilistic Occupancy Functions
AP Vinod, S Rice, Y Mao, MMK Oishi, B Açıkmeşe
2018 IEEE Conference on Decision and Control (CDC), 4425-4432, 2018
152018
ARCH-COMP19 Category Report: Stochastic Modelling.
A Abate, H Blom, N Cauchi, K Degiorgio, M Fränzle, EM Hahn, ...
ARCH@ CPSIoTWeek, 62-102, 2019
142019
ARCH-COMP20 Category Report: Stochastic Models
A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ...
EPiC Series in Computing 74, 76-106, 2020
132020
A Deterministic Attitude Estimation Using a Single Vector Information and Rate Gyros
AP Vinod, AD Mahindrakar, S Bandyopadhyay, V Muralidharan
IEEE/ASME Transactions on Mechatronics 20 (5), 1-7, 2015
132015
Affine controller synthesis for stochastic reachability via difference of convex programming
AP Vinod, MMK Oishi
2019 IEEE 58th Conference on Decision and Control (CDC), 7273-7280, 2019
122019
On-the-fly control of unknown systems: From side information to performance guarantees through reachability
F Djeumou, AP Vinod, E Goubault, S Putot, U Topcu
IEEE Transactions on Automatic Control, 2022
102022
The system can't perform the operation now. Try again later.
Articles 1–20