Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification (bibtex)

by Mohamad Kazma, Hongchao Zhang, Abdallah Alalem Albustami, Ben Wooding, Meiyi Ma, Taylor T. Johnson and Ahmad Taha

Reference:

Mohamad Kazma, Hongchao Zhang, Abdallah Alalem Albustami, Ben Wooding, Meiyi Ma, Taylor T. Johnson and Ahmad Taha, "Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification", In 65th IEEE Conference on Decision and Control (CDC'26), Honolulu, HI, USA, IEEE, 2026.

Bibtex Entry:

@inproceedings{kazma2026cdc,
  title = {Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification},
  author = {Mohamad Kazma and Hongchao Zhang and Abdallah Alalem Albustami and Ben Wooding and Meiyi Ma and Taylor T. Johnson and Ahmad Taha},
  year = {2026},
  month = dec,
  booktitle = {65th IEEE Conference on Decision and Control (CDC'26), Honolulu, HI, USA},
  publisher = {IEEE},
  publabel = {C73},
  pubtype = {C},
}