TY - RPRT TI - Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming AU - Erfan Shakhesi AU - W. P. M. H. Heemels AU - Alexander Katriniok PY - 2025 UR - https://arxiv.org/abs/2504.19330 ID - 2504.19330 ER -