Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions

Documenti analoghi

• Exact Moment Estimation of Stochastic Differential Dynamics
  di: Feng, Shenghua, et al.
  Pubblicazione: (2026)
• Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
  di: Xue, Bai
  Pubblicazione: (2024)
• Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
  di: Xue, Bai
  Pubblicazione: (2024)
• Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
  di: Su, Han, et al.
  Pubblicazione: (2023)
• Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
  di: Xue, Bai, et al.
  Pubblicazione: (2025)