Cover Image

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mazouz, Rayan, Laurenti, Luca, Lahijanian, Morteza
Format:	Preprint
Published:	2026
Subjects:	Systems and Control Functional Analysis
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)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2022)

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

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

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

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

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

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

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

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)

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

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

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

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)

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

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

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
by: Amorese, Peter, et al.
Published: (2026)

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

Control Occupation Kernel Regression for Nonlinear Control-Affine Systems
by: Abudia, Moad, et al.
Published: (2021)

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
by: Zhou, Jingyuan, et al.
Published: (2026)

Dynamic Mode Decomposition of Control-Affine Nonlinear Systems using Discrete Control Liouville Operators
by: Morrison, Zachary, et al.
Published: (2023)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
by: Schmid, Niklas, et al.
Published: (2026)

Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
by: Kong, Chun-Wei, et al.
Published: (2026)

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

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

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)

A Simple Proof of Nehari's Theorem Based on Duality
by: Rojas, Cristian R.
Published: (2025)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
by: Xue, Bai, et al.
Published: (2025)

On Convergent Dynamic Mode Decomposition and its Equivalence with Occupation Kernel Regression
by: Abudia, Moad, et al.
Published: (2024)

Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis
by: Proskurnikov, Anton V., et al.
Published: (2024)

On the Optimality of Uncertain MDP Abstractions
by: Gracia, Ibon, et al.
Published: (2026)

Feasibility-Guided Safety-Aware Model Predictive Control for Jump Markov Linear Systems
by: Laouar, Zakariya, et al.
Published: (2023)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
by: Cao, Zhipeng, et al.
Published: (2025)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, et al.
Published: (2025)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
by: Adams, Steven, et al.
Published: (2025)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
by: Badings, Thom, et al.
Published: (2024)