Image de couverture de livre

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Laurenti, Luca, Lahijanian, Morteza
Format:	Preprint
Publié:	2023
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Piecewise Control Barrier Functions for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2025)

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

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

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2026)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
par: Gracia, Ibon, et autres
Publié: (2025)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
par: Figueiredo, Eduardo, et autres
Publié: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
par: Amorese, Peter, et autres
Publié: (2025)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
par: Gracia, Ibon, et autres
Publié: (2022)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
par: Cauchi, Nathalie, et autres
Publié: (2019)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

On the Optimality of Uncertain MDP Abstractions
par: Gracia, Ibon, et autres
Publié: (2026)

Promises of Deep Kernel Learning for Control Synthesis
par: Reed, Robert, et autres
Publié: (2023)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
par: Skovbekk, John, et autres
Publié: (2021)

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

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
par: Gracia, Ibon, et autres
Publié: (2025)

Provably Safe Motion Planning Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2026)

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

Interval Markov Decision Processes with Continuous Action-Spaces
par: Delimpaltadakis, Giannis, et autres
Publié: (2022)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
par: Amorese, Peter, et autres
Publié: (2026)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
par: Amorese, Peter, et autres
Publié: (2025)

Stochastic Barrier Certificates in the Presence of Dynamic Obstacles
par: Mazouz, Rayan, et autres
Publié: (2026)

Piecewise Stochastic Barrier Functions
par: Mazouz, Rayan, et autres
Publié: (2024)

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
par: Kong, Chun-Wei, et autres
Publié: (2024)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
par: Adams, Steven, et autres
Publié: (2025)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
par: Nishimura, Yuki, et autres
Publié: (2022)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
par: Amorese, Peter, et autres
Publié: (2026)

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
par: Reed, Robert, et autres
Publié: (2024)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
par: Xue, Bai, et autres
Publié: (2025)

A Spectral Perspective on Stochastic Control Barrier Functions
par: Jang, Inkyu, et autres
Publié: (2026)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
par: Mestres, Pol, et autres
Publié: (2025)

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

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
par: Ghanbarpour, Masoumeh, et autres
Publié: (2025)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
par: Vertovec, Nikolaus, et autres
Publié: (2025)

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

Falsification of Autonomous Systems in Rich Environments
par: Elimelech, Khen, et autres
Publié: (2024)

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
par: Feng, Shenghua, et autres
Publié: (2025)

Bayesian Diagnosability and Active Fault Identification
par: Kong, Chun-Wei, et autres
Publié: (2025)

Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control
par: Liu, Shuo, et autres
Publié: (2025)

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