Cover Image

Safety Verification of Stochastic Systems: A Set-Erosion Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Zishun, Jafarpour, Saber, Chen, Yongxin
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
by: Liu, Zishun, et al.
Published: (2025)

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

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

Trajectory Optimization of Stochastic Systems under Chance Constraints via Set Erosion
by: Liu, Zishun, et al.
Published: (2025)

Model Predictive Control with High-Probability Safety Guarantee for Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2025)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2025)

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
by: Galarza-Jimenez, Felipe, et al.
Published: (2026)

Concentration of Stochastic System Trajectories with Time-varying Contraction Conditions
by: Liu, Zishun, et al.
Published: (2026)

Data-Driven Adversarial Online Control for Unknown Linear Systems
by: Liu, Zishun, et al.
Published: (2023)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2026)

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

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

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

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
by: Ajeyemi, Damola, et al.
Published: (2025)

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

Geometric Reachability for Attitude Control Systems via Contraction Theory
by: Xu, Chencheng, et al.
Published: (2025)

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

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

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

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

From Points to Sets: Set-Based Safety Verification in the Latent Space
by: Wu, Wenyuan, et al.
Published: (2026)

SDC-Based Model Predictive Control: Enhancing Computational Feasibility for Safety-Critical Quadrotor Control
by: Omidi, Saber
Published: (2025)

Optimal Covariance Steering of Linear Stochastic Systems with Hybrid Transitions
by: Yu, Hongzhe, et al.
Published: (2024)

On Suboptimal Safety-Critical Tracking Controller Design
by: Batmani, Yazdan, et al.
Published: (2025)

A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
by: Aminzadeh, Ali, et al.
Published: (2024)

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Discretionary Lane-Change Decision and Control via Parameterized Soft Actor-Critic for Hybrid Action Space
by: Lin, Yuan, et al.
Published: (2024)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
by: Wu, Taoran, et al.
Published: (2024)

Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification
by: Zenati, Abdelhafid, et al.
Published: (2022)

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
by: Agrawal, Devansh R, et al.
Published: (2022)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

Highway Discretionary Lane-change Decision and Control Using Model Predictive Control
by: Zheng, Zishun, et al.
Published: (2024)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
by: Wang, Han, et al.
Published: (2023)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
by: Zhang, Zhi, et al.
Published: (2024)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
by: Xue, Bai, et al.
Published: (2026)

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

Recurrent Control Barrier Functions: A Path Towards Nonparametric Safety Verification
by: Liu, Jixian, et al.
Published: (2025)

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
by: Akbarzadeh, Omid, et al.
Published: (2026)

Safety-Critical Control of Discontinuous Systems with Nonsmooth Safe Sets
by: Alyaseen, Mohammed, et al.
Published: (2024)