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