Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
DGX agentarXiv:2603.13509v2 Announce Type: replace-cross Abstract: Differential-algebraic equations (DAEs) arise in power networks, chemical processes, and multibody systems, where algebraic constraints encode