Аннотация:
Представлены разновидности критериев устойчивости по Ляпунову систем обыкновенных дифференциальных уравнений в виде необходимых и достаточных условий. Критерии получены в условиях существования и непрерывности решения на полуоси, непрерывности правой части системы и ее непрерывной дифференцируемости на полуоси. Критерии конструируются на основе рекуррентных преобразований разностных схем численного интегрирования с остаточным членом на каждом шаге. Мультипликативная и аддитивная форма критериев влечет возможность компьютеризировать анализ устойчивости и выполнять его в режиме реального времени.
Ключевые слова:устойчивость по Ляпунову, компьютерный анализ устойчивости, численное моделирование устойчивости