64926

Автор(ы): 

Автор(ов): 

3

Обложка: 

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Алгоритмы вывода теорем метода векторных функций Ляпунова

Сведения об издании: 

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Новосибирск

Издательство: 

  • Наука

Год издания: 

1981

Объём, стр.: 

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

Библиографическая ссылка: 

Матросов В.М., Васильев С.Н., Каратуев В.Г. Алгоритмы вывода теорем метода векторных функций Ляпунова. Новосибирск: Наука, 1981. – 269 с.