Про критерій існування копозитивних розв'язків рівняння Ляпунова

Abstract

Дослiджено лiнiйнi гiбриднi автомати, що заданi на конусi. Для дослiдження стiйкостi їх розв’язкiв прийнято використовувати метод функцiй Ляпунова, який вимагає побудови матриць з певними властивостями. Отримано необхiднi i достатнi умови iснування додатної на конусi матрицi H такої, що матриця A^T H + HA вiд’ємна.

Linear hybrid automats which are defined on a cone are described. To study the solution stability, it is accepted to use the method of Lyapunov functions which requires the construction of matrices with certain properties. The necessary and sufficient conditions of existence of a matrix H positive on a cone such that the matrix A^T H + HA is negative are obtained.