Buchumschlag

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wu, Taoran, Yu, Yiqing, Xia, Bican, Wang, Ji, Xue, Bai
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
von: Ren, Dejin, et al.
Veröffentlicht: (2025)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
von: Li, Yonghan, et al.
Veröffentlicht: (2024)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
von: Wu, Taoran, et al.
Veröffentlicht: (2026)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
von: Xue, Bai
Veröffentlicht: (2024)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
von: Wu, Taoran, et al.
Veröffentlicht: (2025)

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
von: Wu, Taoran, et al.
Veröffentlicht: (2025)

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

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
von: Wang, Han, et al.
Veröffentlicht: (2023)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
von: Xue, Bai, et al.
Veröffentlicht: (2026)

A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems
von: Xue, Bai
Veröffentlicht: (2023)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
von: Xue, Bai, et al.
Veröffentlicht: (2026)

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
von: Wu, Taoran, et al.
Veröffentlicht: (2025)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
von: Wang, Han, et al.
Veröffentlicht: (2022)

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

Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
von: Liu, Zishun, et al.
Veröffentlicht: (2025)

Safe Networked Robotics with Probabilistic Verification
von: Narasimhan, Sai Shankar, et al.
Veröffentlicht: (2023)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
von: Wu, Hao, et al.
Veröffentlicht: (2023)

Immersion and Invariance-based Disturbance Observer and Its Application to Safe Control
von: Wang, Yujie, et al.
Veröffentlicht: (2023)

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
von: Zhang, Hongchao, et al.
Veröffentlicht: (2026)

Probabilistic Reachability Analysis of Stochastic Control Systems
von: Jafarpour, Saber, et al.
Veröffentlicht: (2024)

EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment
von: Jang, Inkyu, et al.
Veröffentlicht: (2025)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
von: Liu, Zishun, et al.
Veröffentlicht: (2024)

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

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
von: Ren, Dejin, et al.
Veröffentlicht: (2024)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
von: Badings, Thom, et al.
Veröffentlicht: (2025)

Safely Learning Dynamical Systems
von: Ahmadi, Amir Ali, et al.
Veröffentlicht: (2023)

Safety Verification of Stochastic Systems: A Set-Erosion Approach
von: Liu, Zishun, et al.
Veröffentlicht: (2024)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
von: Badings, Thom, et al.
Veröffentlicht: (2024)

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
von: Alaoui, Sadek Belamfedel, et al.
Veröffentlicht: (2024)

Safe Output Regulation of Coupled Hyperbolic PDE-ODE Systems
von: Wang, Ji, et al.
Veröffentlicht: (2025)

CBF-based Probabilistic Safe Navigation under Unknown Nonlinear Obstacle Dynamics
von: Lee, Jiwon, et al.
Veröffentlicht: (2026)

A Safe Hybrid Control Framework for Car-like Robot with Guaranteed Global Path-Invariance using a Control Barrier Function
von: Wang, Nan, et al.
Veröffentlicht: (2025)

Dynamic System Stability Verification Using Numerical Simulator
von: Kim, Jongrae
Veröffentlicht: (2023)

Synchronization-Safe Dynamic Microgrid Formation for DER-Led Distribution System Restoration With Constraint-Aware Graph Learning
von: Bai, Cong, et al.
Veröffentlicht: (2026)

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
von: Stella, Leonardo, et al.
Veröffentlicht: (2025)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
von: Mestres, Pol, et al.
Veröffentlicht: (2025)

Safe Delay-Adaptive Control of Strict-Feedback Nonlinear Systems with Application in Vehicle Platooning
von: Zhao, Zhenxu, et al.
Veröffentlicht: (2024)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
von: Zhang, Zhi, et al.
Veröffentlicht: (2024)

Invariance of Competition Outcomes in Hypergraph Competitive Dynamics
von: Zhao, Qi, et al.
Veröffentlicht: (2026)

Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
von: Zhao, Jianing, et al.
Veröffentlicht: (2026)