Cover Image

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mazouz, Rayan, Muvvala, Karan, Ratheesh, Akash, Laurenti, Luca, Lahijanian, Morteza
Format:	Preprint
Published:	2022
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Piecewise Control Barrier Functions for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2025)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

Stochastic Barrier Certificates in the Presence of Dynamic Obstacles
by: Mazouz, Rayan, et al.
Published: (2026)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2026)

Piecewise Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2024)

Data-Driven Permissible Safe Control with Barrier Certificates
by: Mazouz, Rayan, et al.
Published: (2024)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
by: Laurenti, Luca, et al.
Published: (2023)

Provably Safe Motion Planning Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2026)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
by: Figueiredo, Eduardo, et al.
Published: (2024)

Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics
by: Muvvala, Karan, et al.
Published: (2024)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
by: Amorese, Peter, et al.
Published: (2025)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
by: Skovbekk, John, et al.
Published: (2021)

Stochastic Games for Interactive Manipulation Domains
by: Muvvala, Karan, et al.
Published: (2024)

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

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
by: Gracia, Ibon, et al.
Published: (2022)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
by: Gracia, Ibon, et al.
Published: (2024)

Stochastic Neural Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2025)

Promises of Deep Kernel Learning for Control Synthesis
by: Reed, Robert, et al.
Published: (2023)

Falsification of Autonomous Systems in Rich Environments
by: Elimelech, Khen, et al.
Published: (2024)

Learning Input Constrained Control Barrier Functions for Guaranteed Safety of Car-Like Robots
by: Brüggemann, Sven, et al.
Published: (2024)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
by: Gracia, Ibon, et al.
Published: (2025)

Bayesian Safety Guarantees for Port-Hamiltonian Systems with Learned Energy Functions
by: Leung, Chi Ho, et al.
Published: (2025)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
by: Gracia, Ibon, et al.
Published: (2025)

Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
by: Cohen, Max H., et al.
Published: (2024)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

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

Time-Varying Soft-Maximum Barrier Functions for Safety in Unmapped and Dynamic Environments
by: Safari, Amirsaeid, et al.
Published: (2024)

Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics
by: van Wijk, David E. J., et al.
Published: (2024)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
by: Chung, Long Kiu, et al.
Published: (2024)

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
by: Kong, Chun-Wei, et al.
Published: (2024)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
by: Amorese, Peter, et al.
Published: (2025)

Guarantees on Robot System Performance Using Stochastic Simulation Rollouts
by: Vincent, Joseph A., et al.
Published: (2023)

Interval Markov Decision Processes with Continuous Action-Spaces
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Learning Complex Motion Plans using Neural ODEs with Safety and Stability Guarantees
by: Nawaz, Farhad, et al.
Published: (2023)

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
by: Cohen, Max H., et al.
Published: (2024)

Navigating Polytopes with Safety: A Control Barrier Function Approach
by: Molnar, Tamas G.
Published: (2025)

Zero-Order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety Constraints
by: Tan, Xiao, et al.
Published: (2024)