← Search

Jason J Choi

3 accepted papers

2022

Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots

RA-L 2022

Contact-rich robotic systems, such as legged robots and manipulators, are often represented as hybrid systems. However, the stability analysis and region-of-attraction computation for these systems are often challenging because of the discontinuous state changes upon contact (also referred to as <it

Cited by 17SourceScholar
2022

Lyapunov Density Models: Constraining Distribution Shift in Learning-Based Control

ICML 2022spotlight

Learned models and policies can generalize effectively when evaluated within the distribution of the training data, but can produce unpredictable and erroneous outputs on out-of-distribution inputs. In order to avoid distribution shift when deploying learning-based control algorithms, we seek a mech…

2021

Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability

ICRA 2021poster

Autonomous systems like aircraft and assistive robots often operate in scenarios where guaranteeing safety is critical. Methods like Hamilton-Jacobi reachability can provide guaranteed safe sets and controllers for such systems. However, often these same scenarios have unknown or uncertain environme…

Cited by 48SourceScholar