Abraham P. Vinod

IEEE Trans. Autom. Control., February, 2024

Safe Multiagent Motion Planning Under Uncertainty for Drones Using Filtered Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2024

Markov Potential Game with Final-time Reach-Avoid Objectives.

[BibT_eX]

[DOI]

Sarah H. Q. Li

CoRR, 2024

pycvxset: A Python package for convex set manipulation.

[BibT_eX]

[DOI]

CoRR, 2024

Projection-free computation of robust controllable sets with constrained zonotopes.

[BibT_eX]

[DOI]

Avishai Weiss

CoRR, 2024

Aircraft Approach Management Using Reachability and Dynamic Programming.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

Data-Driven Monitoring with Mobile Sensors and Charging Stations Using Multi-Arm Bandits and Coordinated Motion Planners.

[BibT_eX]

[DOI]

Siddharth Nayak

Marcus Greiff

Arvind U. Raghunathan

Proceedings of the American Control Conference, 2024

Decoupled Trajectory Planning for Monitoring UAVs and UGV Carrier by Reachable Sets.

[BibT_eX]

[DOI]

Taewan Kim

Proceedings of the American Control Conference, 2024

Leveraging Computational Fluid Dynamics in UAV Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

2023

Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, October, 2023

On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., August, 2023

On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret.

[BibT_eX]

[DOI]

Arie Israel

Ufuk Topcu

IEEE Trans. Autom. Control., May, 2023

Physics-Constrained Deep Autoencoded Kalman Filters for Estimating Vapor Compression System States.

[BibT_eX]

[DOI]

Vedang M. Deshpande

Ankush Chakrabarty

Christopher R. Laughman

IEEE Control. Syst. Lett., 2023

Safe multi-agent motion planning under uncertainty for drones using filtered reinforcement learning.

[BibT_eX]

[DOI]

CoRR, 2023

Spectrum Sharing-Inspired Safe Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2023

Sample quantile-based programming for non-convex separable chance constraints.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

MPC with Integrated Evasive Maneuvers for Failure-safe Automated Driving.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

Quadrotor Motion Planning in Stochastic Wind Fields.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

2022

Sensor Selection for Dynamics-Driven User-Interface Design.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2022

Constrained, Global Optimization of Unknown Functions with Lipschitz Continuous Gradients.

[BibT_eX]

[DOI]

Arie Israel

Ufuk Topcu

SIAM J. Optim., 2022

Safe multi-agent motion planning via filtered reinforcement learning.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Robust Model Predictive Control with Data-Driven Koopman Operators.

[BibT_eX]

[DOI]

Giorgos Mamakoukas

Proceedings of the American Control Conference, 2022

Blending Controllers via Multi-Objective Bandits.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Probabilistic Occupancy via Forward Stochastic Reachability for Markov Jump Affine Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Stochastic reachability of a target tube: Theory and computation.

[BibT_eX]

[DOI]

Autom., 2021

Lagrangian approximations for stochastic reachability of a target tube.

[BibT_eX]

[DOI]

Autom., 2021

Physical-Layer Security via Distributed Beamforming in the Presence of Adversaries with Unknown Locations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2021

Abort-safe spacecraft rendezvous under stochastic actuation and navigation uncertainty.

[BibT_eX]

[DOI]

Avishai Weiss

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Stochastic multi-satellite maneuvering with constraints in an elliptical orbit.

[BibT_eX]

[DOI]

Shawn Priore

Christopher Petersen

Meeko Oishi

Proceedings of the 2021 American Control Conference, 2021

On-The-Fly Control of Unknown Smooth Systems from Limited Data.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

2020

Convexified Open-Loop Stochastic Optimal Control for Linear Non-Gaussian Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Trust-based user-interface design for human-automation systems.

[BibT_eX]

[DOI]

CoRR, 2020

Near-Optimal Reactive Synthesis Incorporating Runtime Information.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

ARCH-COMP20 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Convexified contextual optimization for on-the-fly control of smooth systems.

[BibT_eX]

[DOI]

Arie Israel

Ufuk Topcu

Proceedings of the 2020 American Control Conference, 2020

2019

Sampling-free enforcement of non-gaussian chance constraints via fourier transforms.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

SReachTools: A MATLAB stochastic reachability toolbox: demo abstract.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

SReachTools: a MATLAB stochastic reachability toolbox.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Birgit van Huijgevoort

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Affine controller synthesis for stochastic reachability via difference of convex programming.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Predicting Mode Confusion Through Mixed Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Optimal Coverage Control and Stochastic Multi-Target Tracking.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

The Maximal Hitting-Time Stochastic Reachability Problem.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Piecewise-Affine Approximation-Based Stochastic Optimal Control with Gaussian Joint Chance Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles.

[BibT_eX]

[DOI]

CoRR, 2018

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Stochastic Motion Planning Using Successive Convexification and Probabilistic Occupancy Functions.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Multiple Pursuer-Based Intercept via Forward Stochastic Reachability.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Sadegh Soudjani

Cristian Ioan Vasile

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2017

Dynamic risk tolerance: Motion planning by balancing short-term and long-term stochastic dynamic predictions.

[BibT_eX]

[DOI]

Hao-Tien Lewis Chiang

Meeko Oishi

Lydia Tapia

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Computation of forward stochastic reach sets: Application to stochastic, dynamic obstacle avoidance.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Validation of cognitive models for collaborative hybrid systems with discrete human input.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Viable set approximation for linear-Gaussian systems with unknown, bounded variance.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

User-interface design for MIMO LTI human-automation systems through sensor placement.

[BibT_eX]

[DOI]

Tyler H. Summers