1 citations · 1 across the 10 of their papers we have counts for
12 papers
Safe Score Matching: Diffusion Policies with Hamilton-Jacobi Reachability for Online Safe Reinforcement Learning
Boyang Li, Matthew Kim, Sylvia Lee Herbert
Online safe reinforcement learning (RL) seeks policies that maximize reward while satisfying safety constraints. A popular line of research in safe RL relaxes safety to a soft expe…
Constrained Flow Policy Updates: A Generalized Schrödinger Bridge View
Boyang Li, Matthew Kim, Sylvia Herbert
Online safe reinforcement learning (RL) seeks policies that maximize reward while satisfying safety constraints. Reward and safety can induce multimodal action distributions, chall…
Value Functions for Temporal Logic: Optimal Policies and Safety Filters
Oswin So, William Sharpless, Sylvia Herbert +1
While Bellman equations for basic reach, avoid, and reach-avoid problems are well studied, the relationship between value optimality and policy optimality becomes subtle in the und…
Reach-Avoid-Stabilize Using Admissible Control Sets
Zheng Gong, Boyang Li, Sylvia Herbert
Hamilton-Jacobi Reachability (HJR) analysis has been successfully used in many robotics and control tasks, and is especially effective in computing reach-avoid sets and control law…
Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability
Boyang Li, Zheng Gong, Sylvia Herbert
In this article, we consider the infinite-horizon reach-avoid (RA) and stabilize-avoid (SA) zero-sum game problems for general nonlinear continuous-time systems, where the goal is…
Approximate Hamilton-Jacobi Reachability Analysis for a Class of Two-Timescale Systems, with Application to Biological Models
Dylan Hirsch, Sylvia Herbert
Hamilton-Jacobi reachability (HJR) is an exciting framework used for control of safety-critical systems with nonlinear and possibly uncertain dynamics. However, HJR suffers from th…
Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach
Hyun Joe Jeong, Zheng Gong, Somil Bansal +1
Fast and Safe Tracking (FaSTrack) is a modular framework that provides safety guarantees while planning and executing trajectories in real time via value functions of Hamilton-Jaco…
Safe Returning FaSTrack with Robust Control Lyapunov-Value Functions
Zheng Gong, Boyang Li, Sylvia Herbert
Real-time navigation in a priori unknown environment remains a challenging task, especially when an unexpected (unmodeled) disturbance occurs. In this paper, we propose the framewo…
Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets
Zheng Gong, Hyun Joe Jeong, Sylvia Herbert
Control Lyapunov functions (CLFs) play a vital role in modern control applications, but finding them remains a problem. Recently, the control Lyapunov-value function (CLVF) and rob…
State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
Will Sharpless, Yat Tin Chow, Sylvia Herbert
Hamilton-Jacobi Reachability (HJR) is a popular method for analyzing the liveness and safety of a dynamical system with bounded control and disturbance. The corresponding HJ value…
Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
Will Sharpless, Yat Tin Chow, Sylvia Herbert
Hamilton-Jacobi reachability (HJR) provides a value function that encodes the set of states from which a system with bounded control inputs can reach or avoid a target despite any…
Robust Control Lyapunov-Value Functions for Nonlinear Disturbed Systems
Zheng Gong, Sylvia Herbert
Control Lyapunov Functions (CLFs) have been extensively used in the control community. A well-known drawback is the absence of a systematic way to construct CLFs for general nonlin…