Cover Image

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ferlez, James, Elnaggar, Mahmoud, Shoukry, Yasser, Fleming, Cody
Format:	Preprint
Published:	2020
Subjects:	Robotics Machine Learning Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
by: Vaisi, Goli, et al.
Published: (2025)

Risk-Aware Safe Reinforcement Learning for Control of Stochastic Linear Systems
by: Esmaeili, Babak, et al.
Published: (2025)

Safe and Near-Optimal Control with Online Dynamics Learning
by: Prajapat, Manish, et al.
Published: (2025)

System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models
by: Li, Xiao, et al.
Published: (2023)

Safe Guaranteed Exploration for Non-linear Systems
by: Prajapat, Manish, et al.
Published: (2024)

Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects
by: Tsukamoto, Hiroyasu, et al.
Published: (2022)

Introduction to Online Control
by: Hazan, Elad, et al.
Published: (2022)

Online Control-Informed Learning
by: Liang, Zihao, et al.
Published: (2024)

Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview
by: Tsukamoto, Hiroyasu, et al.
Published: (2021)

Denoising Diffusion-Based Control of Nonlinear Systems
by: Elamvazhuthi, Karthik, et al.
Published: (2024)

Direct Data Driven Control Using Noisy Measurements
by: Esmzad, Ramin, et al.
Published: (2025)

Kernel-Based Optimal Control: An Infinitesimal Generator Approach
by: Bevanda, Petar, et al.
Published: (2024)

MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control
by: Lu, Yiwen, et al.
Published: (2023)

Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control
by: Zhang, Songyuan, et al.
Published: (2025)

Score Matching Diffusion Based Feedback Control and Planning of Nonlinear Systems
by: Elamvazhuthi, Karthik, et al.
Published: (2025)

Iterative Tuning of Nonlinear Model Predictive Control for Robotic Manufacturing Tasks
by: Ingole, Deepak, et al.
Published: (2025)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
by: Omidi, Saber, et al.
Published: (2025)

Model Predictive Path Integral PID Control for Learning-Based Path Following
by: Kato, Teruki, et al.
Published: (2026)

Multi-Step Deep Koopman Network (MDK-Net) for Vehicle Control in Frenet Frame
by: Abtahi, Mohammad, et al.
Published: (2025)

RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection
by: Tsujio, Kohei, et al.
Published: (2025)

Unifying Entropy Regularization in Optimal Control: From and Back to Classical Objectives via Iterated Soft Policies and Path Integral Solutions
by: Bhole, Ajinkya, et al.
Published: (2025)

Adaptive Smooth Tchebycheff Attention for Multi-Objective Policy Optimization
by: Murillo-Gonzalez, Alejandro, et al.
Published: (2026)

Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility
by: Park, Jaejeong, et al.
Published: (2025)

Towards Robust Car Following Dynamics Modeling via Blackbox Models: Methodology, Analysis, and Recommendations
by: Shahid, Muhammad Bilal, et al.
Published: (2024)

Provably Safe Generative Sampling with Constricting Barrier Functions
by: Gadginmath, Darshan, et al.
Published: (2026)

Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis
by: Srinivasan, Anutam, et al.
Published: (2026)

Data-Driven Motion Planning for Uncertain Nonlinear Systems
by: Esmaeili, Babak, et al.
Published: (2025)

Convex Hulls of Reachable Sets
by: Lew, Thomas, et al.
Published: (2023)

Diffusion Policies for Generative Modeling of Spacecraft Trajectories
by: Briden, Julia, et al.
Published: (2025)

Compositional Diffusion Models for Powered Descent Trajectory Generation with Flexible Constraints
by: Briden, Julia, et al.
Published: (2024)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
by: Nath, Devesh, et al.
Published: (2025)

Tight Constraint Prediction of Six-Degree-of-Freedom Transformer-based Powered Descent Guidance
by: Briden, Julia, et al.
Published: (2025)

Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions
by: Long, Kehan, et al.
Published: (2025)

FORESEE: Prediction with Expansion-Compression Unscented Transform for Online Policy Optimization
by: Parwana, Hardik, et al.
Published: (2022)

Distributionally Robust Policy and Lyapunov-Certificate Learning
by: Long, Kehan, et al.
Published: (2024)

Model-Based Diffusion for Trajectory Optimization
by: Pan, Chaoyi, et al.
Published: (2024)

Provably-Stable Neural Network-Based Control of Nonlinear Systems
by: Li, Anran, et al.
Published: (2025)

Passive iFIR Filters for Data-Driven Control
by: Wang, Zixing, et al.
Published: (2024)