Copertina

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Xue, Bai
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
di: Feng, Shenghua, et al.
Pubblicazione: (2025)

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

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

Necessary and Sufficient Conditions for PID Design of MIMO Nonlinear Systems
di: Xiang, Tianyou, et al.
Pubblicazione: (2025)

Algebraic Control: Complete Stable Inversion with Necessary and Sufficient Conditions
di: Kürkçü, Burak, et al.
Pubblicazione: (2024)

Sufficient Conditions for Detectability of Approximately Discretized Nonlinear Systems
di: Siriya, Seth, et al.
Pubblicazione: (2025)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
di: Mestres, Pol, et al.
Pubblicazione: (2025)

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

A Necessary and Sufficient Condition for Local Synchronization in Nonlinear Oscillator Networks
di: Pandey, Sanjeev Kumar, et al.
Pubblicazione: (2024)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
di: Wu, Taoran, et al.
Pubblicazione: (2025)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
di: Su, Han, et al.
Pubblicazione: (2023)

Necessary and Sufficient Conditions for the Optimization-Based Concurrent Execution of Learned Robotic Tasks
di: Tahmid, Sheikh A., et al.
Pubblicazione: (2025)

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

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
di: Ren, Dejin, et al.
Pubblicazione: (2025)

Safety-Critical Control for Discrete-time Stochastic Systems with Flexible Safe Bounds using Affine and Quadratic Control Barrier Functions
di: Fushimi, Sotaro, et al.
Pubblicazione: (2025)

A New Framework for Bounding Reachability Probabilities of Continuous-time Stochastic Systems
di: Xue, Bai
Pubblicazione: (2023)

Differential Flatness by Pure Prolongation: Necessary and Sufficient Conditions
di: Lévine, Jean
Pubblicazione: (2023)

Necessary and Sufficient Conditions for Passivity of Velocity-Sourced Impedance Control of Series Elastic Actuators
di: Tosun, Fatih Emre, et al.
Pubblicazione: (2019)

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

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

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

Verification and Synthesis of Discrete-Time Control Barrier Functions
di: Shakhesi, Erfan, et al.
Pubblicazione: (2025)

Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions
di: Cosner, Ryan K., et al.
Pubblicazione: (2024)

Safety Verification of Stochastic Systems: A Set-Erosion Approach
di: Liu, Zishun, et al.
Pubblicazione: (2024)

Exponential Cluster Synchronization in Fast Switching Network Topologies: A Pinning Control Approach with Necessary and Sufficient Conditions
di: Du, Ku, et al.
Pubblicazione: (2024)

Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
di: Shakhesi, Erfan, et al.
Pubblicazione: (2024)

The Small Phase Condition is Necessary for Symmetric Systems
di: Yang, Xiaokan, et al.
Pubblicazione: (2025)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
di: Akella, Prithvi, et al.
Pubblicazione: (2023)

Sufficient Conditions for String Stability
di: Karafyllis, Iasson, et al.
Pubblicazione: (2025)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
di: Wu, Taoran, et al.
Pubblicazione: (2026)

Goal-Reaching Trajectory Design Near Danger with Piecewise Affine Reach-avoid Computation
di: Chung, Long Kiu, et al.
Pubblicazione: (2024)

Reach-avoid games for players with damped double integrator dynamics
di: Lyu, Mengxin, et al.
Pubblicazione: (2025)

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

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
di: Schön, Oliver, et al.
Pubblicazione: (2024)

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
di: Ghanbarpour, Masoumeh, et al.
Pubblicazione: (2025)

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
di: Ding, Jianqiang, et al.
Pubblicazione: (2025)