Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
This work introduces DAE-aware Control Barrier Functions (CBFs) to safely control systems described by differential-algebraic equations, which involve both differential and algebraic constraints. The method uses projected vector fields to explicitly handle the algebraic structure, ensuring that safety conditions are met while preserving these physical constraints. It provides a systematic verification framework for correctness and feasibility.