Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wu, Hao, Feng, Shenghua, Gan, Ting, Wang, Jie, Xia, Bican, Zhan, Naijun
Formato:	Preprint
Publicado:	2023
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

Monotone Neural Barrier Certificates
por: Jafarpour, Saber, et al.
Publicado: (2025)

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

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

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

Control Barrier Function-Based Safety Filters: Characterization of Undesired Equilibria, Unbounded Trajectories, and Limit Cycles
por: Mestres, Pol, et al.
Publicado: (2025)

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

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

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

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

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

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

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

Data-Driven Certificate Synthesis
por: Rickard, Luke, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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