Verification and Synthesis of Discrete-Time Control Barrier Functions

Documenti analoghi

• Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
  di: Shakhesi, Erfan, et al.
  Pubblicazione: (2025)
• Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
  di: Shakhesi, Erfan, et al.
  Pubblicazione: (2024)
• Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming
  di: Shakhesi, Erfan, et al.
  Pubblicazione: (2025)
• Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
  di: Delimpaltadakis, Giannis, et al.
  Pubblicazione: (2024)
• Safe Feedback Optimization through Control Barrier Functions
  di: Delimpaltadakis, Giannis, et al.
  Pubblicazione: (2026)