Cover Image

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shakhesi, Erfan, Heemels, W. P. M. H., Katriniok, Alexander
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

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

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

Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
by: Shakhesi, Erfan, et al.
Published: (2024)

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
by: Delimpaltadakis, Giannis, et al.
Published: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
by: Amorese, Peter, 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)

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

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

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

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

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
by: Meijer, T. J., et al.
Published: (2023)

Dual MPC for Active Learning of Nonparametric Uncertainties
by: Baltussen, Tren, et al.
Published: (2025)

A Contingency Model Predictive Control Framework for Safe Learning
by: Geurts, Merlijne, et al.
Published: (2025)

On Poly-Quadratic Stabilizability and Detectability of Polytopic LPV Systems
by: Meijer, T. J., et al.
Published: (2026)

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

On the relationship between control barrier functions and projected dynamical systems
by: Delimpaltadakis, Giannis, et al.
Published: (2023)

Discrete-time Integral Resonant Control of Negative Imaginary Systems: Application to a High-speed Nanopositioner
by: Shi, Kanghong, et al.
Published: (2024)

Online Learning of Interaction Dynamics with Dual Model Predictive Control for Multi-Agent Systems Using Gaussian Processes
by: Baltussen, T. M. J. T., et al.
Published: (2024)

Predictive Control Barrier Functions for Discrete-Time Linear Systems with Unmodeled Delays
by: Salazar, Juan Augusto Paredes, et al.
Published: (2025)

Control Barrier Function Based Design of Gradient Flows for Constrained Nonlinear Programming
by: Allibhoy, Ahmed, et al.
Published: (2022)

The Separation Principle and the Dual-Certainty Equivalence Gap in Model Predictive Control
by: Baltussen, Tren, et al.
Published: (2026)

Continuity Conditions for Piecewise Quadratic Functions on Simplicial Conic Partitions are Equivalent
by: Erlandsen, Magne, et al.
Published: (2025)

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

Value Function Approximation for Nonlinear MPC: Learning a Terminal Cost Function with a Descent Property
by: Baltussen, T. M. J. T., et al.
Published: (2025)

Data-Driven Stabilization Using Prior Knowledge on Stabilizability and Controllability
by: Shakouri, Amir, et al.
Published: (2025)

Bounding the Settling Time of Finite-Time Stable Systems using Sum of Squares
by: Kisole, Sengiyumva, 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)

Learning the cost-to-go for mixed-integer nonlinear model predictive control
by: Orrico, Christopher A., 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)

Leveraging Non-Steady-State Frequency-Domain Data in Willems' Fundamental Lemma
by: Meijer, T. J., et al.
Published: (2025)

Scaled Relative Graphs and Dynamic Integral Quadratic Constraints: Connections and Computations for Nonlinear Systems
by: de Groot, Timo, et al.
Published: (2026)

On the graphical stability of hybrid solutions with non-matching jump times: Extended Paper
by: Biemond, J. J. B., et al.
Published: (2019)

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

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

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

Towards Optimal Spatio-Temporal Decomposition of Control-Related Sum-of-Squares Programs
by: Cibulka, Vít, et al.
Published: (2024)

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

From a Frequency-Domain Willems' Lemma to Data-Driven Predictive Control
by: Meijer, T. J., et al.
Published: (2025)

Compatibility of Multiple Control Barrier Functions for Constrained Nonlinear Systems
by: Cohen, Max H., et al.
Published: (2025)

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints
by: Wiltz, Adrian, et al.
Published: (2025)