Cover Image

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Amorese, Peter, Lahijanian, Morteza
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
by: Amorese, Peter, et al.
Published: (2026)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
by: Amorese, Peter, et al.
Published: (2025)

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

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
by: Amorese, Peter, et al.
Published: (2026)

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
by: Shakhesi, Erfan, et al.
Published: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Modified Control Barrier Function for Quadratic Program Based Control Design via Sum-of-Squares Programming
by: Lin, Yankai, et al.
Published: (2025)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
by: Laurenti, Luca, et al.
Published: (2023)

Piecewise Control Barrier Functions for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2025)

S-SOS: Stochastic Sum-Of-Squares for Parametric Polynomial Optimization
by: Zhu, Richard L., et al.
Published: (2024)

Constant-Sum High-Order Barrier Functions for Safety Between Parallel Boundaries
by: Kim, Kwang Hak, et al.
Published: (2025)

Frequency Stability-Constrained Unit Commitment: Tight Approximation using Bernstein Polynomials
by: Zhou, Bo, et al.
Published: (2022)

A Spectral Perspective on Stochastic Control Barrier Functions
by: Jang, Inkyu, et al.
Published: (2026)

Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions
by: Ghanbarpour, Masoumeh, et al.
Published: (2025)

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

Bounding the Settling Time of Finite-Time Stable Systems using Sum of Squares
by: Kisole, Sengiyumva, et al.
Published: (2025)

Convex computation of regions of attraction from data using Sums-of-Squares programming
by: Khattabi, Oumayma, et al.
Published: (2025)

Synthesizing Control Laws from Data using Sum-of-Squares Optimization
by: Bramburger, Jason J., et al.
Published: (2023)

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

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
by: Nishimura, Yuki, et al.
Published: (2022)

Polynomial Parametric Koopman Operators for Stochastic MPC
by: Iliakis, Efstathios, et al.
Published: (2026)

Postive Semidefinite and Sum of Squares Biquadratic Polynomials
by: Cui, Chunfeng, et al.
Published: (2025)

Converse Barrier Functions via Lyapunov Functions
by: Liu, Jun
Published: (2020)

Matrix Control Barrier Functions
by: Ong, Pio, et al.
Published: (2025)

Risk-Aware Control of Discrete-Time Stochastic Systems: Integrating Kalman Filter and Worst-case CVaR in Control Barrier Functions
by: Kishida, Masako
Published: (2023)

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

On Uniformly Time-Varying Control Barrier Functions
by: Wiltz, Adrian, et al.
Published: (2025)

Topological Obstructions to the Existence of Control Barrier Functions
by: de Sa, Massimiliano, et al.
Published: (2026)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
by: Gracia, Ibon, et al.
Published: (2025)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2022)

Uniform Feasibility For Smoothed Backup Control Barrier Functions
by: Alan, Anil, et al.
Published: (2025)

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

Safe Feedback Optimization through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2026)

Stabilization of Nonlinear Systems through Control Barrier Functions
by: Mestres, Pol, et al.
Published: (2024)

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

A Polynomial Chaos Approach to Stochastic LQ Optimal Control: Error Bounds and Infinite-Horizon Results
by: Ou, Ruchuan, et al.
Published: (2023)

Feedback Optimization with State Constraints through Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2025)

Invariance Guarantees using Continuously Parametrized Control Barrier Functions
by: Jang, Inkyu, et al.
Published: (2025)

Control Barrier Function based Attack-Recovery with Provable Guarantees
by: Garg, Kunal, et al.
Published: (2022)

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