Somil Bansal

Orcid: 0000-0002-5826-7686

According to our database1, Somil Bansal authored at least 45 papers between 2014 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis.
IEEE Trans. Robotics, 2024

Providing Safety Assurances for Systems With Unknown Dynamics.
IEEE Control. Syst. Lett., 2024

Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker.
CoRR, 2024

Updating Robot Safety Representations Online from Natural Language Feedback.
CoRR, 2024

Cooptimizing Safety and Performance with a Control-Constrained Formulation.
CoRR, 2024

Stable-BC: Controlling Covariate Shift with Stable Behavior Cloning.
CoRR, 2024

Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach.
CoRR, 2024

SAFE-GIL: SAFEty Guided Imitation Learning.
CoRR, 2024

Imposing Exact Safety Specifications in Neural Reachable Tubes.
CoRR, 2024

Verification of neural reachable tubes via scenario optimization and conformal prediction.
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Parameterized fast and safe tracking (FaSTrack) using DeepReach.
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis.
IEEE Robotics Autom. Lett., May, 2023

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions.
CoRR, 2023

Online Update of Safety Assurances Using Confidence-Based Predictions.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Generating Formal Safety Assurances for High-Dimensional Reachability.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022
Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots.
IEEE Robotics Autom. Lett., 2022

2021
Provably Safe and Scalable Multivehicle Trajectory Planning.
IEEE Trans. Control. Syst. Technol., 2021

FaSTrack: A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking.
IEEE Trans. Autom. Control., 2021

Visual Navigation Among Humans With Optimal Control as a Supervisor.
IEEE Robotics Autom. Lett., 2021

A Robust Control Framework for Human Motion Prediction.
IEEE Robotics Autom. Lett., 2021

DeepReach: A Deep Learning Approach to High-Dimensional Reachability.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020
Generating Robust Supervision for Learning-Based Visual Navigation Using Hamilton-Jacobi Reachability.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

A Hamilton-Jacobi Reachability-Based Framework for Predicting and Analyzing Human Motion for Safe Planning.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019
Plug-and-Play Model Predictive Control for Load Shaping and Voltage Control in Smart Grids.
IEEE Trans. Smart Grid, 2019

Robust Sequential Trajectory Planning Under Disturbances and Adversarial Intruder.
IEEE Trans. Control. Syst. Technol., 2019

A new simulation metric to determine safe environments and controllers for systems with unknown dynamics.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Combining Optimal Control and Learning for Visual Navigation in Novel Environments.
Proceedings of the 3rd Annual Conference on Robot Learning, 2019

Reachability-Based Safety Guarantees using Efficient Initializations.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Closed-loop Model Selection for Kernel-based Models using Bayesian Optimization.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems.
IEEE Trans. Autom. Control., 2018

Context-Specific Validation of Data-Driven Models.
CoRR, 2018

2017
Safe and Resilient Multi-vehicle Trajectory Planning Under Adversarial Intruder.
CoRR, 2017

MBMF: Model-Based Priors for Model-Free Reinforcement Learning.
CoRR, 2017

Provably Safe and Robust Drone Routing via Sequential Path Planning: A Case Study in San Francisco and the Bay Area.
CoRR, 2017

FaSTrack: A modular framework for fast and guaranteed safe motion planning.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Goal-driven dynamics learning via Bayesian optimization.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Hamilton-Jacobi reachability: A brief overview and recent advances.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Safe sequential path planning under disturbances and imperfect information.
Proceedings of the 2017 American Control Conference, 2017

2016
Robust Sequential Path Planning Under Disturbances and Adversarial Intruder.
CoRR, 2016

Safe Sequential Path Planning of Multi-Vehicle Systems Under Presence of Disturbances and Imperfect Information.
CoRR, 2016

Learning quadrotor dynamics using neural network for flight control.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2014
Plug-and-play model predictive control for electric vehicle charging and voltage control in smart grids.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014


  Loading...