3 citations · 4 across the 13 of their papers we have counts for
8 papers · 1 filter
Reachability-Guided Sequential Quadratic Programming-Guarded Model Predictive Path Integral for Safe Nonlinear Predictive Control
Alexandre Didier, Jason J. Choi, Namhoon Cho +2
Safe robot control often requires combining long-horizon performance optimization with hard state and input constraints, but existing approaches tend to address this tradeoff parti…
ResSafe: Learning Safety Filtering with Residual Reinforcement Learning for Humanoids
Gechen Qu, Tong Zhang, Bike Zhang +4
Safe control of humanoid robots remains challenging due to their high-dimensional dynamics, contact-rich interactions, and sensitivity to disturbances. Although reinforcement learn…
An Update to the Level Set Theorems in Hamilton-Jacobi Reachability Analysis
Dylan Hirsch, William McEneaney, Jaime Fisac +2
Hamilton-Jacobi Reachability (HJR) is an important framework for controlling safety-critical systems despite uncertainty. Its theoretical underpinnings are rooted in Hamilton-Jacob…
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…
Characterization and Analysis of Emergency Landing Flight Envelopes with Graded Safety Specifications
Chams Eddine Mballo, Bryce L. Ferguson, Inkyu Jang +2
Emergency landing flight envelope analysis traditionally adopts a binary notion of safety, whereby a trajectory is safe only if state constraints are satisfied pointwise in time. I…
Inverse Safety Filtering: Inferring Constraints from Safety Filters for Decentralized Coordination
Minh Nguyen, Jingqi Li, Gechen Qu +1
Safe multi-agent coordination in uncertain environments can benefit from learning constraints from other agents. Implicitly communicating safety constraints through actions is a pr…
From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning
Ebonye Smith, Sampada Deglurkar, Jingqi Li +2
Hamilton-Jacobi (HJ) reachability provides formal safety guarantees for nonlinear systems. However, it becomes computationally intractable in high-dimensional settings, motivating…
Active Calibration of Reachable Sets Using Approximate Pick-to-Learn
Sampada Deglurkar, Ebonye Smith, Jingqi Li +1
Reachability computations that rely on approximate or learned models require calibration in order to uphold confidence about their guarantees. Calibration generally involves sampli…