activity
20232026
most citedSafety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models

80 citations · 100 across the 35 of their papers we have counts for

collaborators
Showing 2026Show all

10 papers · 1 filter

eess.SY2026

Lifting Safety Through Reduced-Order Model Architectures: An Invariant Manifold Approach

Massimiliano de Sa, Aaron D. Ames

Reduced-order model architectures are often used to decompose complex safety-critical control design tasks into tractable subproblems. In this paradigm, one must ask: when does the…

eess.SY2026

Constructive Safety-Critical Control for a Class of Underactuated Systems: A Hierarchical Approach

Massimiliano de Sa, Aaron D. Ames

Underactuated systems with nontrivial geometry are abundant in practical robotic problems. However, little is known about constructive safety-critical control design in the presenc…

eess.SY2026

A Recursive CBF Framework for Safety under State Uncertainty

Rahal Nanayakkara, Aaron D. Ames, Paulo Tabuada

The practical implementation of Control Barrier Functions (CBFs) for safety-critical control is often hindered by uncertainty in the knowledge of the state. While existing robust C…

eess.SY2026

A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties

Xiao Tan, Rahal Nanayakkara, Paulo Tabuada +1

State estimation uncertainty is prevalent in real-world applications, hindering the application of safety-critical control. Existing methods address this by strengthening a Control…

eess.SY2026

Generalizations of Backup Control Barrier Functions: Expansion and Adaptation for Input-Bounded Safety-Critical Control

David E. J. van Wijk, Dohyun Lee, Ersin Das +3

Guaranteeing the safety of nonlinear systems with bounded inputs remains a key challenge in safe autonomy. Backup control barrier functions (bCBFs) provide a powerful mechanism for…

eess.SY2026

Topological Obstructions to the Existence of Control Barrier Functions

Massimiliano de Sa, Aaron D. Ames

In 1983, Brockett developed a topological necessary condition for the existence of continuous, asymptotically stabilizing control laws. Building upon recent work on necessary condi…

physics.ins-det2026

Pushing the Limits of Pulse Shape Discrimination in a Large Liquid Xenon Detector

D. S. Akerib, A. K. Al Musalhi, F. Alder +208

The LUX-ZEPLIN (LZ) experiment is a direct-detection dark matter experiment, optimized to search for weakly interacting massive particles (WIMPs) through WIMP-nucleon interactions.…

cs.RO2026

Safe-SAGE: Social-Semantic Adaptive Guidance for Safe Engagement through Laplace-Modulated Poisson Safety Functions

Lizhi Yang, Ryan M. Bena, Meg Wilkinson +4

Traditional safety-critical control methods, such as control barrier functions, suffer from semantic blindness, exhibiting the same behavior around obstacles regardless of contextu…

cs.RO2026

Layered Safety: Enhancing Autonomous Collision Avoidance via Multistage CBF Safety Filters

Erina Yamaguchi, Ryan M. Bena, Gilbert Bahati +1

This paper presents a general end-to-end framework for constructing robust and reliable layered safety filters that can be leveraged to perform dynamic collision avoidance over a b…

eess.SY2026

Input-to-State Safe Backstepping: Robust Safety-Critical Control with Unmatched Uncertainties

Max H. Cohen, Pio Ong, Aaron D. Ames

Guaranteeing safety in the presence of unmatched disturbances -- uncertainties that cannot be directly canceled by the control input -- remains a key challenge in nonlinear control…