Image de couverture de livre

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Vertovec, Nikolaus, Mathiesen, Frederik Baymler, Badings, Thom, Laurenti, Luca, Abate, Alessandro
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Robotics Systems and Control Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
par: Mazouz, Rayan, et autres
Publié: (2026)

Certified Neural Approximations of Nonlinear Dynamics
par: Mathiesen, Frederik Baymler, et autres
Publié: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
par: Badings, Thom, et autres
Publié: (2025)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
par: Hu, Hanjiang, et autres
Publié: (2024)

Data-Driven Permissible Safe Control with Barrier Certificates
par: Mazouz, Rayan, et autres
Publié: (2024)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
par: Riccardi, Alessandro, et autres
Publié: (2026)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Predictive Control Barrier Functions for Discrete-Time Linear Systems with Unmodeled Delays
par: Salazar, Juan Augusto Paredes, et autres
Publié: (2025)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
par: Solanki, Prashant, et autres
Publié: (2025)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
par: Ohnemus, Jonas, et autres
Publié: (2026)

Polytope Volume Monitoring Problem: Formulation and Solution via Parametric Linear Program Based Control Barrier Function
par: Wu, Shizhen, et autres
Publié: (2025)

Scalable control synthesis for stochastic systems via structural IMDP abstractions
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Compatibility of Multiple Control Barrier Functions for Constrained Nonlinear Systems
par: Cohen, Max H., et autres
Publié: (2025)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Optimization-free Smooth Control Barrier Function for Polygonal Collision Avoidance
par: Wu, Shizhen, et autres
Publié: (2025)

Safe and Dynamically-Feasible Motion Planning using Control Lyapunov and Barrier Functions
par: Mestres, Pol, et autres
Publié: (2024)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
par: Sawarkar, Shubham, et autres
Publié: (2025)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
par: Liu, Shuo, et autres
Publié: (2023)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
par: Liu, Jun
Publié: (2025)

Duality-based Convex Optimization for Real-time Obstacle Avoidance between Polytopes with Control Barrier Functions
par: Thirugnanam, Akshay, et autres
Publié: (2021)

Reactive Robot Navigation Using Quasi-conformal Mappings and Control Barrier Functions
par: Notomista, Gennaro, et autres
Publié: (2024)

Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
par: Shakhesi, Erfan, et autres
Publié: (2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
par: Badings, Thom, et autres
Publié: (2024)

Efficient Uncertainty Propagation with Guarantees in Wasserstein Distance
par: Figueiredo, Eduardo, et autres
Publié: (2025)

Assessing Linear Control Strategies for Zero-Speed Fin Roll Damping
par: Savin, Nikita, et autres
Publié: (2025)

Closed-Form Robustness Bounds for Second-Order Pruning of Neural Controller Policies
par: Shamrai, Maksym
Publié: (2025)

Verification and Synthesis of Discrete-Time Control Barrier Functions
par: Shakhesi, Erfan, et autres
Publié: (2025)

A New Semidefinite Relaxation for Linear and Piecewise-Affine Optimal Control with Time Scaling
par: Yang, Lujie, et autres
Publié: (2025)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
par: Mazouz, Rayan, et autres
Publié: (2022)

An Adaptive Data-Enabled Policy Optimization Approach for Autonomous Bicycle Control
par: Persson, Niklas, et autres
Publié: (2025)

Modular Design of Strict Control Lyapunov Functions for Global Stabilization of the Unicycle in Polar Coordinates
par: Todorovski, Velimir, et autres
Publié: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
par: Nazeri, Mahdi, et autres
Publié: (2025)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
par: Delimpaltadakis, Giannis, et autres
Publié: (2022)

Optimal Control Barrier Functions: Maximizing the Action Space Subject to Control Bounds
par: Beaver, Logan E.
Publié: (2024)

Integrator Forwading Design for Unicycles with Constant and Actuated Velocity in Polar Coordinates
par: Krstic, Miroslav, et autres
Publié: (2025)

Self-Configurable Mesh-Networks for Scalable Distributed Submodular Bandit Optimization
par: Xu, Zirui, et autres
Publié: (2026)

Input-Output Feedback Linearization Preserving Task Priority for Multivariate Nonlinear Systems Having Singular Input Gain Matrix
par: An, Sang-ik, et autres
Publié: (2023)

Risk-Aware Safe Reinforcement Learning for Control of Stochastic Linear Systems
par: Esmaeili, Babak, et autres
Publié: (2025)

Three-dimensional Nonlinear Path-following Guidance with Bounded Input Constraints
par: Kumar, Saurabh, et autres
Publié: (2024)

Nonlinear Robust Optimization for Planning and Control
par: Abdul, Arshiya Taj, et autres
Publié: (2025)