5 papers · 1 filter
Learning-Based Measurement-Robust Control Barrier Functions for Obstacle Avoidance under State Estimation Error
Nicholas Rober, Yixuan Jia, Jonathan P. How
Safety filters are an effective tool for enforcing constraints in safety-critical systems, but most existing methods assume perfect state information, which is rarely available in…
GUARDIAN: Safety Filtering for Systems with Perception Models Under Adversarial Attack
Nicholas Rober, Alex Rose, Jonathan P. How
Safety filtering is an effective method for enforcing constraints in safety-critical systems, but existing methods typically assume perfect state information. This limitation is es…
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
Nicholas Rober, Jonathan P. How
Neural networks (NNs) are becoming increasingly popular in the design of control pipelines for autonomous systems. However, since the performance of NNs can degrade in the presence…
Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
Nicholas Rober, Karan Mahesh, Tyler M. Paine +5
Deploying autonomous systems in safety critical settings necessitates methods to verify their safety properties. This is challenging because real-world systems may be subject to di…
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops
Nicholas Rober, Michael Everett, Songan Zhang +1
As neural networks become more integrated into the systems that we depend on for transportation, medicine, and security, it becomes increasingly important that we develop methods t…