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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shakhesi, Erfan, Heemels, W. P. M. H., Katriniok, Alexander
Format:	Preprint
Published:	2024
Subjects:	Optimization and Control Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2409.15448