Cover Image

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ajeyemi, Damola, Jafarpour, Saber, Dall'Anese, Emiliano
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Machine Learning Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning to Pursue AC Optimal Power Flow Solutions with Feasibility Guarantees
by: Ajeyemi, Damola, et al.
Published: (2025)

Local Safety Filters for Networked Systems via Two-Time-Scale Design
by: Dall'Anese, Emiliano
Published: (2026)

Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

Forward Invariance in Neural Network Controlled Systems
by: Harapanahalli, Akash, et al.
Published: (2023)

$\texttt{immrax}$: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
by: Harapanahalli, Akash, et al.
Published: (2024)

Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
by: Jafarpour, Saber, et al.
Published: (2023)

Sampled-data Systems: Stability, Contractivity and Single-iteration Suboptimal MPC
by: Chen, Yiting, et al.
Published: (2025)

Equilibria and Their Stability Do Not Depend on the Control Barrier Function in Safe Optimization-Based Control
by: Chen, Yiting, et al.
Published: (2024)

Online Stochastic Gradient Methods Under Sub-Weibull Noise and the Polyak-Łojasiewicz Condition
by: Kim, Seunghyun, et al.
Published: (2021)

Solving Decision-Dependent Games by Learning from Feedback
by: Wood, Killian, et al.
Published: (2023)

Feedback-Based Optimization with Sub-Weibull Gradient Errors and Intermittent Updates
by: Ospina, Ana M., et al.
Published: (2021)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

k-Dimensional Agreement in Multiagent Systems
by: Bianchin, Gianluca, et al.
Published: (2022)

Characterization of the Dynamical Properties of Safety Filters for Linear Planar Systems
by: Chen, Yiting, et al.
Published: (2024)

Optimal Power Flow Pursuit via Feedback-based Safe Gradient Flow
by: Colot, Antonin, et al.
Published: (2023)

Online convex optimization for robust control of constrained dynamical systems
by: Nonhoff, Marko, et al.
Published: (2024)

Safe Policy Optimization via Control Barrier Function-based Safety Filters
by: Chen, Yiting, et al.
Published: (2026)

A Stochastic Operator Framework for Optimization and Learning with Sub-Weibull Errors
by: Bastianello, Nicola, et al.
Published: (2021)

Distributed and Inexact Proximal Gradient Method for Online Convex Optimization
by: Bastianello, Nicola, et al.
Published: (2020)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
by: Prajapat, Manish, et al.
Published: (2025)

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
by: Castañeda, Fernando, et al.
Published: (2022)

Online Sparse Subspace Clustering
by: Madden, Liam, et al.
Published: (2019)

Bounds for the tracking error of first-order online optimization methods
by: Madden, Liam, et al.
Published: (2020)

High Probability Convergence Bounds for Non-convex Stochastic Gradient Descent with Sub-Weibull Noise
by: Madden, Liam, et al.
Published: (2020)

Control Barrier Function-Based Safety Filters: Characterization of Undesired Equilibria, Unbounded Trajectories, and Limit Cycles
by: Mestres, Pol, et al.
Published: (2025)

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

Incremental Volt/Var Control for Distribution Networks via Chance-Constrained Optimization
by: Colot, Antonin, et al.
Published: (2024)

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

Optimal Parameter Adaptation for Safety-Critical Control via Safe Barrier Bayesian Optimization
by: Wang, Shengbo, et al.
Published: (2025)

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

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

Control of Power Grids With Switching Equilibria: $Ω$-Limit Sets and Input-to-State Stability
by: Abdelgalil, Mahmoud, et al.
Published: (2025)

A Distributed Optimization Framework to Regulate the Electricity Consumption of a Residential Neighborhood with Renewables
by: Ozcan, Erhan Can, et al.
Published: (2023)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
by: Zhang, Yuhao, et al.
Published: (2025)

Response-Aware Risk-Constrained Control Barrier Function With Application to Vehicles
by: Liao, Qijun, et al.
Published: (2026)

Distributed Control of Network Systems in the Space of Stabilizing Graph Neural Network Policies
by: Cao, John, et al.
Published: (2025)

Safe Online Control-Informed Learning
by: Zhou, Tianyu, et al.
Published: (2025)

Monotonicity and Contraction on Polyhedral Cones
by: Jafarpour, Saber, et al.
Published: (2022)

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