{"id":"arxiv/2610.09634","url":"https://arxiv.org/abs/2610.09634","tags":["eess.SY","math.OC"],"score":0,"title":"Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification","domain":"eess.SY","source":"arxiv","authors":["Mohamad H. Kazma","Hongchao Zhang","Abdallah A. Albustami","Ben Wooding","Meiyi Ma","Taylor T. Johnson","Ahmad F. Taha"],"reviews":0,"subject":"eess.SY","summary":"Differential-algebraic equation (DAE) systems arise in power networks, multibody mechanics, and chemical processes, where algebraic constraints couple dynamic and algebraic states. Standard control barrier function (CBF) methods, designed for ordinary differential equations, fail for DAE systems because the algebraic constraints impose compatibility requirements that may render safety filters infeasible. This paper develops a safety-critical control framework for semi-explicit DAE systems using CBFs that consider compatibility with the algebraic constraints, termed DAE-aware CBFs. We…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}