55 citations · 90 across the 24 of their papers we have counts for
8 papers · 1 filter
Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation
Pol Mestres, Shima Sadat Mousavi, Pio Ong +4
This paper studies the efficient implementation of safety filters that are designed using control barrier functions (CBFs), which minimally modify a nominal controller to render it…
From Bundles to Backstepping: Geometric Control Barrier Functions for Safety-Critical Control on Manifolds
Massimiliano de Sa, Pio Ong, Aaron D. Ames
Control barrier functions (CBFs) have a well-established theory in Euclidean spaces, yet still lack general formulations and constructive synthesis tools for systems evolving on ma…
Combinatorial Control Barrier Functions: Nested Boolean and p-choose-r Compositions of Safety Constraints
Pio Ong, Haejoon Lee, Tamas G. Molnar +2
This paper investigates the problem of composing multiple control barrier functions (CBFs) -- and matrix control barrier functions (MCBFs) -- through logical and combinatorial oper…
Matrix Control Barrier Functions
Pio Ong, Yicheng Xu, Ryan M. Bena +2
This paper generalizes the control barrier function framework by replacing scalar-valued functions with matrix-valued ones. Specifically, we develop barrier conditions for safe set…
On the Properties of Optimal-Decay Control Barrier Functions
Pio Ong, Max H. Cohen, Tamas G. Molnar +1
Control barrier functions provide a powerful means for synthesizing safety filters that ensure safety framed as forward set invariance. Key to CBFs' effectiveness is the simple ine…
Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks
Xiao Tan, Junior Sundar, Renzo Bruzzone +5
Modern autopilot systems are prone to sensor attacks that can jeopardize flight safety. To mitigate this risk, we proposed a modular solution: the secure safety filter, which exten…
Secure Safety Filter Design for Sampled-data Nonlinear Systems under Sensor Spoofing Attacks
Xiao Tan, Pio Ong, Paulo Tabuada +1
This paper presents a secure safety filter design for nonlinear systems under sensor spoofing attacks. Existing approaches primarily focus on linear systems which limits their appl…
Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks
Xiao Tan, Pio Ong, Paulo Tabuada +1
Cyber-physical systems are prone to sensor attacks that can compromise safety. A common approach to synthesizing controllers robust to sensor attacks is secure state reconstruction…