TY  - RPRT
TI  - Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification
AU  - Mohamad H. Kazma
AU  - Hongchao Zhang
AU  - Abdallah A. Albustami
AU  - Ben Wooding
AU  - Meiyi Ma
AU  - Taylor T. Johnson
AU  - Ahmad F. Taha
PY  - 2026
UR  - https://arxiv.org/abs/2610.09634
ID  - 2610.09634
ER  -