1 citations · 1 across the 3 of their papers we have counts for
7 papers
Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
Xingpeng Xia, Jason J. Choi, Ayush Agrawal +3
Learning-based approaches have recently shown notable success in legged locomotion. However, these approaches often lack accountability, necessitating empirical tests to determine…
Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots
Jason J. Choi, Ayush Agrawal, Koushil Sreenath +2
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…
Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty
Fernando Castañeda, Jason J. Choi, Bike Zhang +2
Control Barrier Functions (CBFs) and Control Lyapunov Functions (CLFs) are popular tools for enforcing safety and stability of a controlled system, respectively. They are commonly…
Robust Control Barrier-Value Functions for Safety-Critical Control
Jason J. Choi, Donggun Lee, Koushil Sreenath +2
This paper works towards unifying two popular approaches in the safety control community: Hamilton-Jacobi (HJ) reachability and Control Barrier Functions (CBFs). HJ Reachability ha…
Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability
Sylvia Herbert, Jason J. Choi, Suvansh Sanjeev +3
Autonomous systems like aircraft and assistive robots often operate in scenarios where guaranteeing safety is critical. Methods like Hamilton-Jacobi reachability can provide guaran…
Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects and Dynamics
Fernando Castañeda, Jason J. Choi, Bike Zhang +2
This paper presents a method to design a min-norm Control Lyapunov Function (CLF)-based stabilizing controller for a control-affine system with uncertain dynamics using Gaussian Pr…