Cover Image

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xue, Bai, Ong, C. -H. Luke
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

Stochastic Optimal Control via Local Occupation Measures
by: Holtorf, Flemming, et al.
Published: (2022)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
by: Padmanabhan, Ram, et al.
Published: (2026)

The Stochastic Occupation Kernel Method for System Identification
by: Wells, Michael, et al.
Published: (2024)

Almost Sure Reachability in Continuous-time Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2026)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

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

Finite Sample Analyses for Continuous-time Linear Systems: System Identification and Online Control
by: Zhou, Hongyi, et al.
Published: (2025)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
by: Black, Mitchell, et al.
Published: (2024)

Strong Duality and Dual Ascent Approach to Continuous-Time Chance-Constrained Stochastic Optimal Control
by: Patil, Apurva, et al.
Published: (2025)

AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)
by: Pruekprasert, Sasinee, et al.
Published: (2025)

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

A Semi-smooth Newton Method for the Constrained Optimal Control of Continuous-Time Linear Systems
by: Jones, Simon J., et al.
Published: (2026)

Output Consensus on Periodic References for Constrained Multi-agent Systems Under a Switching Network
by: Han, Shibo, et al.
Published: (2026)

Finite Sample Analysis of Subspace Identification for Stochastic Systems
by: Sun, Shuai, et al.
Published: (2025)

Stochastic Approximation with Delayed Updates: Finite-Time Rates under Markovian Sampling
by: Adibi, Arman, et al.
Published: (2024)

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

Continuous-time Data-driven Barrier Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

Distributed Robust Continuous-Time Optimization Algorithms for Time-Varying Constrained Cost
by: Ebrahimi, Zeinab, et al.
Published: (2024)

Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control
by: Liu, Shuo, et al.
Published: (2025)

Finite-Time Adaptive Fuzzy Tracking Control for Nonlinear State Constrained Pure-Feedback Systems
by: Wu, Ju, et al.
Published: (2023)

Finite-Time Analysis of Projected Two-Time-Scale Stochastic Approximation
by: Bai, Yitao, et al.
Published: (2026)

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
by: Engelaar, Maico H. W., et al.
Published: (2024)

Constrained Control Allocation With Continuous-Time Rate Constraints: Three-Dimensional Case
by: Özkurt, Süleyman, et al.
Published: (2025)

Lightweight Tracking Control for Computationally Constrained Aerial Systems with the Newton-Raphson Method
by: Morales-Cuadrado, Evanns, et al.
Published: (2025)

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

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
by: Rego, Brenner S., et al.
Published: (2025)

Predictor-Based Output-Feedback Control of Linear Systems with Time-Varying Input and Measurement Delays via Neural-Approximated Prediction Horizons
by: Bhan, Luke, et al.
Published: (2026)

Tight Finite Time Bounds of Two-Time-Scale Linear Stochastic Approximation with Markovian Noise
by: Haque, Shaan Ul, et al.
Published: (2023)

Convergence Analysis of Continuous-Time Distributed Stochastic Gradient Algorithms
by: Sun, Jianhua, et al.
Published: (2026)

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