5 citations · 17 across the 14 of their papers we have counts for
9 papers · 1 filter
Robust Direct Data-Driven Hamiltonian for Safe Set Computation under Measurement Noise and Disturbances
Mohammad Bajelani, Christopher A. Strong, Claire J. Tomlin +2
Safe set computation is a fundamental challenge in safety-critical control systems, especially in direct data-driven settings where safety analysis is performed directly from noise…
When are safety filters safe? On minimum phase conditions of control barrier functions
Jason J. Choi, Claire J. Tomlin, Shankar Sastry +1
In emerging control applications involving multiple and complex tasks, safety filters are gaining prominence as a modular approach to enforcing safety constraints. Among various me…
Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data
Jason J. Choi, Christopher A. Strong, Koushil Sreenath +2
In continuous-time optimal control, evaluating the Hamiltonian requires solving a constrained optimization problem using the system's dynamics model. Hamilton-Jacobi reachability a…
A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
Jason J. Choi, Donggun Lee, Boyang Li +4
Control invariant sets are crucial for various methods that aim to design safe control policies for systems whose state constraints must be satisfied over an indefinite time horizo…
Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
Fernando Castañeda, Jason J. Choi, Wonsuhk Jung +3
Learning-based control has recently shown great efficacy in performing complex tasks for various applications. However, to deploy it in real systems, it is of vital importance to g…
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…
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…
Reinforcement Learning for Safety-Critical Control under Model Uncertainty, using Control Lyapunov Functions and Control Barrier Functions
Jason Choi, Fernando Castañeda, Claire J. Tomlin +1
In this paper, the issue of model uncertainty in safety-critical control is addressed with a data-driven approach. For this purpose, we utilize the structure of an input-ouput line…