A

Uncertainty-Aware Predictive Safety Filters for Probabilistic Neural Network Dynamics

arXiv (Cornell University)

Abstract

Predictive safety filters (PSFs) leverage model predictive control to enforce constraint satisfaction during deep reinforcement learning (RL) exploration, yet their reliance on first-principles models or Gaussian processes limits scalability and broader applicability. Meanwhile, model-based RL (MBRL) methods routinely employ probabilistic ensemble (PE) neural networks to capture complex, high-dimensional dynamics from data with minimal prior knowledge. However, existing attempts to integrate PEs into PSFs lack rigorous uncertainty quantification. We introduce the Uncertainty-Aware Predictive Safety Filter (UPSi), a PSF that provides rigorous safety verification using PE dynamics models by formulating future outcomes as reachable sets. UPSi introduces an explicit certainty constraint that prevents model exploitation and integrates seamlessly into common MBRL frameworks. We evaluate UPSi under practical simplifications within Dyna-style MBRL on standard safe RL benchmarks and report substantial improvements in exploration safety over prior neural network PSFs while maintaining performance on par with standard MBRL. UPSi bridges the gap between the scalability and generality of modern MBRL and the safety guarantees of predictive safety filters.

Authors 5

  1. RWTH Aachen University

    Affiliation as printed

    Equal contribution

    Institute for Data Science in Mechanical Engineering (DSME) , RWTH Aachen University

  2. Forschungszentrum Jülich

    Affiliation as printed

    Institute of Climate and Energy Systems (ICE) , Energy Systems Engineering (ICE-1) , Forschungszentrum Jülich GmbH

  3. RWTH Aachen University

    Affiliation as printed

    Institute for Data Science in Mechanical Engineering (DSME) , RWTH Aachen University

  4. RWTH Aachen University

    Affiliation as printed

    Institute for Data Science in Mechanical Engineering (DSME) , RWTH Aachen University

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0