Publications

See my Google scholar profile for the complete list.

This list was last updated on April 3, 2020.

Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu. Near-Optimal Reactive Synthesis Incorporating Runtime Information. Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2020.

Abraham P. Vinod, Arie Israel, Ufuk Topcu. Convexified contextual optimization for on-the-fly control of smooth systems. Proceedings of the American Control Conference (ACC), 2020.

Hossein Sartipizadeh, Abraham P. Vinod, Behçet Açikmeşe, Meeko M. K. Oishi. Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems. Proceedings of the American Control Conference (ACC), 2019.

Joseph D Gleason, Abraham P. Vinod, Meeko M. K. Oishi. The Maximal Hitting-Time Stochastic Reachability Problem. Proceedings of the IEEE Conference on Decision and Control (CDC), 2019.

Abraham P. Vinod, Joseph D Gleason, Meeko M. K. Oishi. SReachTools: A MATLAB stochastic reachability toolbox: demo abstract. Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2019.

Abraham P. Vinod, Joseph D Gleason, Meeko M. K. Oishi. SReachTools: a MATLAB stochastic reachability toolbox. Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2019.

Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi. Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019.

Vignesh Sivaramakrishnan, Omanshu Thapliyal, Abraham P. Vinod, Meeko M. K. Oishi, Inseok Hwang. Predicting Mode Confusion Through Mixed Integer Linear Programming. Proceedings of the IEEE Conference on Decision and Control (CDC), 2019.

Abraham P. Vinod, Vignesh Sivaramakrishnan, Meeko M. K. Oishi. Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints. Proceedings of the American Control Conference (ACC), 2019.

Milad Khaledyan, Abraham P. Vinod, Meeko M. K. Oishi, John A. Richards. Optimal Coverage Control and Stochastic Multi-Target Tracking. Proceedings of the IEEE Conference on Decision and Control (CDC), 2019.

Alessandro Abate, others. ARCH-COMP19 Category Report: Stochastic Modelling. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), 2019.

Abraham P. Vinod, Meeko M. K. Oishi. Affine controller synthesis for stochastic reachability via difference of convex programming. Proceedings of the IEEE Conference on Decision and Control (CDC), 2019.

Abraham P. Vinod, Meeko M. K. Oishi. Stochastic reachability of a target tube: Theory and computation. arXiv preprint arXiv:1810.05217, 2018.

Abraham P. Vinod, Sean Rice, Yuanqi Mao, Meeko M. K. Oishi, Behçet Açıkmeşe. Stochastic Motion Planning Using Successive Convexification and Probabilistic Occupancy Functions. Proceedings of the IEEE Conference on Decision and Control (CDC), 2018.

Abraham P. Vinod, Meeko M. K. Oishi. Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2018.

Abraham P. Vinod. Scalable Stochastic Reachability: Theory, Computation, and Control. 2018.

Abraham P. Vinod, Meeko M. K. Oishi. Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles. arXiv preprint arXiv:1803.07180, 2018.

Abraham P. Vinod, Meeko M. K. Oishi. Optimal trade-off analysis for efficiency and safety in the spacecraft rendezvous and docking problem. IFAC-PapersOnLine, 2018.

Abraham P. Vinod, Baisravan HomChaudhuri, Christoph Hintz, Anup Parikh, Stephen P. Buerger, Meeko M. K. Oishi, Greg Brunson, Shakeeb Ahmad, Rafael Fierro. Multiple Pursuer-Based Intercept via Forward Stochastic Reachability. Proceedings of the American Control Conference (ACC), 2018.

Joseph D Gleason, Abraham P. Vinod, Meeko M. K. Oishi. Lagrangian Approximations for Stochastic Reachability of a Target Tube. arXiv preprint arXiv:1810.07118, 2018.

Alessandro Abate, others. ARCH-COMP18 Category Report: Stochastic Modelling. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), 2018.

Joseph D Gleason, Abraham P. Vinod, Meeko M. K. Oishi. Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods. Proceedings of the IEEE Conference on Decision and Control (CDC), 2017.

Abraham P. Vinod, Meeko M. K. Oishi. Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms. IEEE control systems letters, 2017.

Abraham P. Vinod, Baisravan Homchaudhuri, Meeko M. K. Oishi. Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms. Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2017.

Hao-Tien Lewis Chiang, Baisravan HomChaudhuri, Abraham P. Vinod, Meeko M. K. Oishi, Lydia Tapia. Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions. Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), 2017.

Baisravan HomChaudhuri, Abraham P. Vinod, Meeko M. K. Oishi. Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance. Proceedings of the American Control Conference (ACC), 2017.

Abraham P. Vinod, Baisravan HomChaudhuri, Christoph Hintz, Anup Parikh, Stephen Buerger, others. Aerial Suppression of Airborne Platforms (ASAP): Coordinated Capture of a Threat UAS via Stochastic Reachability.. 2017.

Joseph Gleason, Abraham P. Vinod, Meeko M. K. Oishi, R. Scott Erwin. Viable set approximation for linear-Gaussian systems with unknown, bounded variance. Proceedings of the IEEE Conference on Decision and Control (CDC), 2016.

Abraham P. Vinod, Yuqing Tang, Meeko M. K. Oishi, Katia Sycara, Christian Lebiere, Michael Lewis. Validation of cognitive models for collaborative hybrid systems with discrete human input. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016.

Abraham P. Vinod, Tyler H. Summers, Meeko M. K. Oishi. User-interface design for MIMO LTI human-automation systems through sensor placement. Proceedings of the American Control Conference (ACC), 2016.

Stephen Buerger, Jonathan R Salton, David K Novick, Rafael Fierro, Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi. Reachable Set Computation and Tracking with Multiple Pursuers for the ASAP Counter-UAS Capability.. 2016.

Abraham P. Vinod, Arun D Mahindrakar. Deterministic Attitude Estimation. Multisensor Attitude Estimation: Fundamental Concepts and Applications, 2016.

Abraham P. Vinod. Report for MA502 Presentation: Lebesgue’s Criterion for Riemann Integrability. 2015.

Abraham P. Vinod, Arun D. Mahindrakar, Sandipan Bandyopadhyay, Vijay Muralidharan. A Deterministic Attitude Estimation Using a Single Vector Information and Rate Gyros. IEEE/ASME Transactions on Mechatronics, 2015.