Cover Image

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Hao, Feng, Shenghua, Gan, Ting, Wang, Jie, Xia, Bican, Zhan, Naijun
Format:	Preprint
Published:	2023
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
by: Wu, Hao, et al.
Published: (2024)

Exact Moment Estimation of Stochastic Differential Dynamics
by: Feng, Shenghua, et al.
Published: (2026)

Switching Controller Synthesis for Hybrid Systems Against STL Formulas
by: Su, Han, et al.
Published: (2024)

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

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

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
by: Li, Xiakun, et al.
Published: (2026)

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

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

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates
by: Toulkani, Naeim Ebrahimi, et al.
Published: (2024)

Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
by: Tayal, Manan, et al.
Published: (2024)

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

Control Barrier Function-Based Safety Filters: Characterization of Undesired Equilibria, Unbounded Trajectories, and Limit Cycles
by: Mestres, Pol, 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)

SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning
by: Aggarwal, Naman, et al.
Published: (2024)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

SDP Synthesis of Maximum Coverage Trees for Probabilistic Planning under Control Constraints
by: Aggarwal, Naman, et al.
Published: (2024)

Runtime Enforcement of CPS against Signal Temporal Logic
by: Su, Han, et al.
Published: (2025)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
by: Chen, Yu, et al.
Published: (2025)

Data-Driven Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Derivative-Agnostic Inference of Nonlinear Hybrid Systems
by: Yu, Hengzhi, et al.
Published: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems
by: Zhou, Jingyuan, et al.
Published: (2025)

On the SDP Relaxation of Direct Torque Finite Control Set Model Predictive Control
by: Hartmann, Luca M., et al.
Published: (2024)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
by: Zhong, Bingzhuo, et al.
Published: (2024)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
by: Wooding, Ben, et al.
Published: (2024)

Approximating Dispatchable Regions in Three-Phase Radial Networks with Conditions for Exact SDP Relaxation
by: Fang, Bohang, et al.
Published: (2025)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
by: Wooding, Ben, et al.
Published: (2024)

TinySDP: Real Time Semidefinite Optimization for Certifiable and Agile Edge Robotics
by: Mahajan, Ishaan, et al.
Published: (2026)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
by: Mulagaleti, Sampath Kumar, et al.
Published: (2025)

A Scalable Bundle Method for Exact Reformulation of SDP in Three-Phase Power Flow Feasibility
by: Fang, Bohang, et al.
Published: (2026)

Data-Driven Permissible Safe Control with Barrier Certificates
by: Mazouz, Rayan, et al.
Published: (2024)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
by: Ohnemus, Jonas, et al.
Published: (2026)

Diagnostic Certificates of Data Quality and Regression Identifiability for Koopman Identification
by: Wu, Yue
Published: (2026)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
by: Wang, Yujie, et al.
Published: (2025)

RSS-Based Localization: Ensuring Consistency and Asymptotic Efficiency
by: Hu, Shenghua, et al.
Published: (2025)