:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wu, Taoran, Yu, Yiqing, Xia, Bican, Wang, Ji, Xue, Bai
Format:	Preprint
Published:	2024
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2404.09007
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, 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 Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
by: Wu, Taoran, et al.
Published: (2026)

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

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

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical 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)

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

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

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

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

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

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
by: Wang, Han, et al.
Published: (2022)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
by: Wu, Hao, et al.
Published: (2023)

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

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

Safe Networked Robotics with Probabilistic Verification
by: Narasimhan, Sai Shankar, et al.
Published: (2023)

Immersion and Invariance-based Disturbance Observer and Its Application to Safe Control
by: Wang, Yujie, et al.
Published: (2023)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
by: Ren, Dejin, et al.
Published: (2024)

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
by: Zhang, Hongchao, et al.
Published: (2026)

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

EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment
by: Jang, Inkyu, et al.
Published: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

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

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

Safely Learning Dynamical Systems
by: Ahmadi, Amir Ali, et al.
Published: (2023)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)

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

Safe Output Regulation of Coupled Hyperbolic PDE-ODE Systems
by: Wang, Ji, et al.
Published: (2025)

Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
by: Alaoui, Sadek Belamfedel, et al.
Published: (2024)

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

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

CBF-based Probabilistic Safe Navigation under Unknown Nonlinear Obstacle Dynamics
by: Lee, Jiwon, et al.
Published: (2026)

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

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
by: Stella, Leonardo, et al.
Published: (2025)

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

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

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

Invariance of Competition Outcomes in Hypergraph Competitive Dynamics
by: Zhao, Qi, et al.
Published: (2026)

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
by: Lutz, Sterre, et al.
Published: (2025)