1 citations · 2 across the 4 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification
Mohamad H. Kazma, Hongchao Zhang, Abdallah A. Albustami +4
Differential-algebraic equation (DAE) systems arise in power networks, multibody mechanics, and chemical processes, where algebraic constraints couple dynamic and algebraic states.…
eess.SY2026★ 1 cited
Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma +2
Differential-algebraic equations (DAEs) arise in power networks, chemical processes, and multibody systems, where algebraic constraints encode physical conservation laws. The safet…