Аннотация:
Рассматриваются линейные и нелинейные системы дифференциально-алгебраических уравнений. Для линейных систем получены условия приводимости и правильности, доказаны теоремы, связывающие эти понятия. Для нелинейной системы в условиях существования глобальной структурной формы доказана теорема об устойчивости по первому приближению. Допускаются произвольно высокий индекс неразрешенности и переменные ранги матриц Якоби, описывающих систему.
Ключевые слова:дифференциально-алгебраические уравнения; приводимость; правильность; устойчивость по линейному приближению.