activity
20242026
most citedLarge Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities

3 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

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…