Picture for Jason J. Choi

Jason J. Choi

Safety Filters for Black-Box Dynamical Systems by Learning Discriminating Hyperplanes

Add code
Feb 07, 2024
Viaarxiv icon

Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems

Add code
Nov 23, 2023
Viaarxiv icon

Probabilistic Safe Online Learning with Control Barrier Functions

Add code
Aug 23, 2022
Figure 1 for Probabilistic Safe Online Learning with Control Barrier Functions
Figure 2 for Probabilistic Safe Online Learning with Control Barrier Functions
Viaarxiv icon

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

Add code
Feb 09, 2022
Figure 1 for Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots
Figure 2 for Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots
Figure 3 for Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots
Figure 4 for Computation of Regions of Attraction for Hybrid Limit Cycles Using Reachability: An Application to Walking Robots
Viaarxiv icon

Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty

Add code
Jun 13, 2021
Figure 1 for Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty
Figure 2 for Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty
Figure 3 for Pointwise Feasibility of Gaussian Process-based Safety-Critical Control under Model Uncertainty
Viaarxiv icon

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

Add code
Jan 15, 2021
Figure 1 for Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability
Figure 2 for Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability
Figure 3 for Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability
Figure 4 for Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability
Viaarxiv icon

Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects

Add code
Nov 14, 2020
Figure 1 for Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects
Figure 2 for Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects
Figure 3 for Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects
Figure 4 for Gaussian Process-based Min-norm Stabilizing Controller for Control-Affine Systems with Uncertain Input Effects
Viaarxiv icon