differential-algebraic systems