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

Viable set approximation for linear-Gaussian systems with unknown, bounded variance. - Joseph D. Gleason; Abraham P. Vinod; Meeko M. K. Oishi; Richard Scott Erwin (CDC, 2016)

Validation of cognitive models for collaborative hybrid systems with discrete human input. - Abraham P. Vinod; Yuqing Tang 001; Meeko M. K. Oishi; Katia P. Sycara; Christian Lebiere; Michael Lewis 001 (IROS, 2016)

Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance. - Baisravan HomChaudhuri; Abraham P. Vinod; Meeko M. K. Oishi (ACC, 2017)

Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods. - Joseph D. Gleason; Abraham P. Vinod; Meeko M. K. Oishi (CDC, 2017)

Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms. - Abraham P. Vinod; Baisravan HomChaudhuri; Meeko M. K. Oishi (HSCC, 2017)

Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions. - Hao-Tien Lewis Chiang; Baisravan HomChaudhuri; Abraham P. Vinod; Meeko Oishi; Lydia Tapia (ICRA, 2017)

Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms. - Abraham P. Vinod; Meeko M. K. Oishi (IEEE Control. Syst. Lett., 2017)

ARCH-COMP18 Category Report: Stochastic Modelling. - 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 (ARCH@ADHS, 2018)

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

Stochastic Motion Planning Using Successive Convexification and Probabilistic Occupancy Functions. - Abraham P. Vinod; Sean Rice; Yuanqi Mao; Meeko M. K. Oishi; Behçet Açikmese (CDC, 2018)

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. - Abraham P. Vinod; Meeko M. K. Oishi (HSCC, 2018)

Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles. - Abraham P. Vinod; Baisravan HomChaudhuri; Meeko M. K. Oishi (CoRR, 2018)

Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems. - Hossein Sartipizadeh; Abraham P. Vinod; Behçet Açikmese; Meeko Oishi (CoRR, 2018)

Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems. - Hossein Sartipizadeh; Abraham P. Vinod; Behçet Açikmese; Meeko Oishi (ACC, 2019)

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

The Maximal Hitting-Time Stochastic Reachability Problem. - Joseph D. Gleason; Abraham P. Vinod; Meeko M. K. Oishi (CDC, 2019)

Optimal Coverage Control and Stochastic Multi-Target Tracking. - Milad Khaledyan; Abraham P. Vinod; Meeko Oishi; John A. Richards (CDC, 2019)

Predicting Mode Confusion Through Mixed Integer Linear Programming. - Vignesh Sivaramakrishnan; Omanshu Thapliyal; Abraham P. Vinod; Meeko Oishi; Inseok Hwang 002 (CDC, 2019)

Affine controller synthesis for stochastic reachability via difference of convex programming. - Abraham P. Vinod; Meeko M. K. Oishi (CDC, 2019)

ARCH-COMP19 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Kurt Degiorgio; Martin Fränzle; Ernst Moritz Hahn; Sofie Haesaert; Hao Ma; Meeko Oishi; Carina Pilch; Anne Remke; Mahmoud Salamati; et al. (ARCH@CPSIoTWeek, 2019)

SReachTools: a MATLAB stochastic reachability toolbox. - Abraham P. Vinod; Joseph D. Gleason; Meeko M. K. Oishi (HSCC, 2019)

SReachTools: A MATLAB stochastic reachability toolbox: demo abstract. - Abraham P. Vinod; Joseph D. Gleason; Meeko M. K. Oishi (HSCC, 2019)

Sampling-free enforcement of non-gaussian chance constraints via fourier transforms. - Abraham P. Vinod; Vignesh Sivaramakrishnan; Meeko M. K. Oishi (SNR, 2019)

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

ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

Near-Optimal Reactive Synthesis Incorporating Runtime Information. - Suda Bharadwaj; Abraham P. Vinod; Rayna Dimitrova; Ufuk Topcu (ICRA, 2020)

Trust-based user-interface design for human-automation systems. - Abraham P. Vinod; Adam J. Thorpe; Philip A. Olaniyi; Tyler H. Summers; Meeko M. K. Oishi (CoRR, 2020)

Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems. - Vignesh Sivaramakrishnan; Abraham P. Vinod; Meeko M. K. Oishi (CoRR, 2020)

On-The-Fly Control of Unknown Smooth Systems from Limited Data. - Franck Djeumou; Abraham P. Vinod; Eric Goubault; Sylvie Putot; Ufuk Topcu (ACC, 2021)

Stochastic multi-satellite maneuvering with constraints in an elliptical orbit. - Shawn Priore; Abraham P. Vinod; Vignesh Sivaramakrishnan; Christopher Petersen; Meeko Oishi (ACC, 2021)

Abort-safe spacecraft rendezvous under stochastic actuation and navigation uncertainty. - Abraham P. Vinod; Avishai Weiss; Stefano Di Cairano (CDC, 2021)

Physical-Layer Security via Distributed Beamforming in the Presence of Adversaries with Unknown Locations. - Yagiz Savas; Abolfazl Hashemi; Abraham P. Vinod; Brian M. Sadler; Ufuk Topcu (ICASSP, 2021)

Lagrangian approximations for stochastic reachability of a target tube. - Joseph D. Gleason; Abraham P. Vinod; Meeko M. K. Oishi (Autom., 2021)

Stochastic reachability of a target tube: Theory and computation. - Abraham P. Vinod; Meeko M. K. Oishi (Autom., 2021)

Probabilistic Occupancy via Forward Stochastic Reachability for Markov Jump Affine Systems. - Abraham P. Vinod; Meeko M. K. Oishi (IEEE Trans. Autom. Control., 2021)

Blending Controllers via Multi-Objective Bandits. - Parham Gohari; Franck Djeumou; Abraham P. Vinod; Ufuk Topcu (ACC, 2022)

Robust Model Predictive Control with Data-Driven Koopman Operators. - Giorgos Mamakoukas; Stefano Di Cairano; Abraham P. Vinod (ACC, 2022)

Safe multi-agent motion planning via filtered reinforcement learning. - Abraham P. Vinod; Sleiman Safaoui; Ankush Chakrabarty; Rien Quirynen; Nobuyuki Yoshikawa; Stefano Di Cairano (ICRA, 2022)

Constrained, Global Optimization of Unknown Functions with Lipschitz Continuous Gradients. - Abraham P. Vinod; Arie Israel; Ufuk Topcu (SIAM J. Optim., 2022)

Sensor Selection for Dynamics-Driven User-Interface Design. - Abraham P. Vinod; Adam J. Thorpe; Philip A. Olaniyi; Tyler H. Summers; Meeko M. K. Oishi (IEEE Trans. Control. Syst. Technol., 2022)

Quadrotor Motion Planning in Stochastic Wind Fields. - Marcus Greiff; Abraham P. Vinod; Saleh Nabi; Stefano Di Cairano (ACC, 2023)

MPC with Integrated Evasive Maneuvers for Failure-safe Automated Driving. - Terrence Skibik; Abraham P. Vinod; Avishai Weiss; Stefano Di Cairano (ACC, 2023)

Sample quantile-based programming for non-convex separable chance constraints. - Abraham P. Vinod; Stefano Di Cairano (ACC, 2023)

Spectrum Sharing-Inspired Safe Motion Planning. - Kyeong Jin Kim; Abraham P. Vinod; Jianlin Guo; Vedang M. Deshpande; Kieran Parsons; Ye Wang 001 (ICC Workshops, 2023)

Safe multi-agent motion planning under uncertainty for drones using filtered reinforcement learning. - Sleiman Safaoui; Abraham P. Vinod; Ankush Chakrabarty; Rien Quirynen; Nobuyuki Yoshikawa; Stefano Di Cairano (CoRR, 2023)

Physics-Constrained Deep Autoencoded Kalman Filters for Estimating Vapor Compression System States. - Vedang M. Deshpande; Ankush Chakrabarty; Abraham P. Vinod; Christopher R. Laughman (IEEE Control. Syst. Lett., 2023)

On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret. - Abraham P. Vinod; Arie Israel; Ufuk Topcu (IEEE Trans. Autom. Control., 2023)

On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. - Franck Djeumou; Abraham P. Vinod; Eric Goubault; Sylvie Putot; Ufuk Topcu (IEEE Trans. Autom. Control., 2023)

Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality. - Michael Hibbard; Abraham P. Vinod; Jesse Quattrociocchi; Ufuk Topcu (IEEE Trans. Robotics, 2023)

Leveraging Computational Fluid Dynamics in UAV Motion Planning. - Yunshen Huang; Marcus Greiff; Abraham P. Vinod; Stefano Di Cairano (ACC, 2024)

Decoupled Trajectory Planning for Monitoring UAVs and UGV Carrier by Reachable Sets. - Taewan Kim; Abraham P. Vinod; Stefano Di Cairano (ACC, 2024)

Data-Driven Monitoring with Mobile Sensors and Charging Stations Using Multi-Arm Bandits and Coordinated Motion Planners. - Siddharth Nayak; Marcus Greiff; Arvind U. Raghunathan; Stefano Di Cairano; Abraham P. Vinod (ACC, 2024)

Aircraft Approach Management Using Reachability and Dynamic Programming. - Abraham P. Vinod; Sachiyo Yamazaki; Ankush Chakrabarty; Nobuyuki Yoshikawa; Stefano Di Cairano (ACC, 2024)

Divert-feasible lunar landing under navigational uncertainty. - Yana Lishkova; Abraham P. Vinod; Stefano Di Cairano; Avishai Weiss (CDC, 2024)

Inscribing and separating an ellipsoid and a constrained zonotope: Applications in stochastic control and centering. - Abraham P. Vinod; Avishai Weiss; Stefano Di Cairano (CDC, 2024)

Markov Potential Game with Final-time Reach-Avoid Objectives. - Sarah H. Q. Li; Abraham P. Vinod (CoRR, 2024)

Safe Multiagent Motion Planning Under Uncertainty for Drones Using Filtered Reinforcement Learning. - Sleiman Safaoui; Abraham P. Vinod; Ankush Chakrabarty; Rien Quirynen; Nobuyuki Yoshikawa; Stefano Di Cairano (IEEE Trans. Robotics, 2024)

Convexified Open-Loop Stochastic Optimal Control for Linear Systems With Log-Concave Disturbances. - Vignesh Sivaramakrishnan; Abraham P. Vinod; Meeko M. K. Oishi (IEEE Trans. Autom. Control., 2024)

Decentralized, Safe, Multiagent Motion Planning for Drones Under Uncertainty via Filtered Reinforcement Learning. - Abraham P. Vinod; Sleiman Safaoui; Tyler H. Summers; Nobuyuki Yoshikawa; Stefano Di Cairano (IEEE Trans. Control. Syst. Technol., 2024)

pycvxset: A Python package for convex set manipulation. - Abraham P. Vinod (ACC, 2025)

Projection-free computation of robust controllable sets with constrained zonotopes. - Abraham P. Vinod; Avishai Weiss; Stefano Di Cairano (Autom., 2025)

Meta-Learning for Physically-Constrained Neural System Identification. - Ankush Chakrabarty; Gordon Wichern; Vedang M. Deshpande; Abraham P. Vinod; Karl Berntorp; Christopher R. Laughman (CoRR, 2025)

Data-driven Spatial Classification using Multi-Arm Bandits for Monitoring with Energy-Constrained Mobile Robots. - Xiaoshan Lin; Siddharth Nayak; Stefano Di Cairano; Abraham P. Vinod (CoRR, 2025)