代数方程式と微分方程式が混在した形式で記述される、拘束条件を持つシステムを何というか。

回路網や多体力学など、変数の間に拘束がある現象をモデル化するのに適している。