Buchumschlag

Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Shakhesi, Erfan, Heemels, W. P. M. H., Katriniok, Alexander
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Optimization and Control Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verification and Synthesis of Discrete-Time Control Barrier Functions
von: Shakhesi, Erfan, et al.
Veröffentlicht: (2025)

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

Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
von: Shakhesi, Erfan, et al.
Veröffentlicht: (2025)

Safe Feedback Optimization through Control Barrier Functions
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2026)

Feedback Optimization with State Constraints through Control Barrier Functions
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2025)

Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2024)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
von: Liu, Jun
Veröffentlicht: (2025)

A Contingency Model Predictive Control Framework for Safe Learning
von: Geurts, Merlijne, et al.
Veröffentlicht: (2025)

Dual MPC for Active Learning of Nonparametric Uncertainties
von: Baltussen, Tren, et al.
Veröffentlicht: (2025)

On the relationship between control barrier functions and projected dynamical systems
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2023)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
von: Hu, Hanjiang, et al.
Veröffentlicht: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
von: Vertovec, Nikolaus, et al.
Veröffentlicht: (2025)

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

Continuity Conditions for Piecewise Quadratic Functions on Simplicial Conic Partitions are Equivalent
von: Erlandsen, Magne, et al.
Veröffentlicht: (2025)

Optimal Control Barrier Functions: Maximizing the Action Space Subject to Control Bounds
von: Beaver, Logan E.
Veröffentlicht: (2024)

On Poly-Quadratic Stabilizability and Detectability of Polytopic LPV Systems
von: Meijer, T. J., et al.
Veröffentlicht: (2026)

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

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
von: Mestres, Pol, et al.
Veröffentlicht: (2025)

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

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

Data-Driven Stabilization Using Prior Knowledge on Stabilizability and Controllability
von: Shakouri, Amir, et al.
Veröffentlicht: (2025)

Learning the cost-to-go for mixed-integer nonlinear model predictive control
von: Orrico, Christopher A., et al.
Veröffentlicht: (2024)

Duality-based Convex Optimization for Real-time Obstacle Avoidance between Polytopes with Control Barrier Functions
von: Thirugnanam, Akshay, et al.
Veröffentlicht: (2021)

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

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

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

Matrix Control Barrier Functions
von: Ong, Pio, et al.
Veröffentlicht: (2025)

Scaled Graph Bounding Techniques for Reset Systems
von: de Groot, Timo, et al.
Veröffentlicht: (2026)

A Spectral Perspective on Stochastic Control Barrier Functions
von: Jang, Inkyu, et al.
Veröffentlicht: (2026)

Robust Adaptive Discrete-Time Control Barrier Certificate
von: Liu, Changrui, et al.
Veröffentlicht: (2025)

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

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

Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation
von: Mestres, Pol, et al.
Veröffentlicht: (2025)

Control Barrier Function based Attack-Recovery with Provable Guarantees
von: Garg, Kunal, et al.
Veröffentlicht: (2022)

High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees
von: Izadi, Maedeh, et al.
Veröffentlicht: (2024)

A Control Lyapunov Function Approach to Event-Triggered Parameterized Control for Discrete-Time Linear Systems
von: Rajan, Anusree, et al.
Veröffentlicht: (2024)

Invariance Guarantees using Continuously Parametrized Control Barrier Functions
von: Jang, Inkyu, et al.
Veröffentlicht: (2025)

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

Constraint Removal for MPC with Performance Preservation and a Hyperthermia Cancer Treatment Case Study
von: Nouwens, S. A. N., et al.
Veröffentlicht: (2024)

Constraint-adaptive MPC for large-scale systems: Satisfying state constraints without imposing them
von: Nouwens, S. A. N., et al.
Veröffentlicht: (2024)