Решение задачи устойчивости программного движения на конечном интервале времени первым методом Ляпунова