4 papers
Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction
Ihab Tabbara, Yuxuan Yang, Hussein Sibai
Safety assurance is a fundamental requirement for deploying learning-enabled autonomous systems. Hamilton-Jacobi (HJ) reachability analysis is a fundamental method for formally ver…
Designing Latent Safety Filters using Pre-Trained Vision Models
Ihab Tabbara, Yuxuan Yang, Ahmad Hamzeh +2
Ensuring safety of vision-based control systems remains a major challenge hindering their deployment in critical settings. Safety filters have gained increased interest as effectiv…
Learning Conservative Neural Control Barrier Functions from Offline Data
Ihab Tabbara, Hussein Sibai
Safety filters, particularly those based on control barrier functions, have gained increased interest as effective tools for safe control of dynamical systems. Existing correct-by-…
Learning Ensembles of Vision-based Safety Control Filters
Ihab Tabbara, Hussein Sibai
Safety filters in control systems correct nominal controls that violate safety constraints. Designing such filters as functions of visual observations in uncertain and complex envi…