Развитие метода сравнения для управляемых систем и вычислительная сложность вспомогательных подзадач

Содержание
Введение
1 Задачи управляемости динамических систем с непрерывным временем
1.1 Разрешимость функционального уравнения Персидского
1.2 Необходимые и достаточные условия с ВФЛ для эквиуправляемости, управляемости до диссипативности, эквиуправляемости и инвариантности терминального множества
1.3 Оценки скорости приближения к нулю обобщеннооднородных многозначных полу потоков и теоремы о динамических свойствах с ВФЛ
1.4 Алгоритмы построения функций Ляпунова и управления
для управляемости в ноль.
2 Некоторые задачи гармонизации интересов сторон
2.1 Математическая постановка задачи гармонизации интересов сторон
2.2 Достаточные условия разрешимости задачи сильной гармонизации и гармонизации по Нэшу для систем, описываемых обыкновенными дифференциальными уравнениями.
2.3 Гармонизация интересов сторон при платежах предприятий за загрязнение .
3 Анализ достижимости в цифровых схемах
3.1 Логикодинамическая модель процессов в цифровых
схемах.
3.2 Существование, единственность, продолжимость решений
уравнения 1.2
3.3 Существование и единственность переключательных процессов .
3.4 Квазимонотонные системы
3.5 Метод сравнения
3.6 Случай элементарных дизъюнкций.
3.7 Обращение теоремы сравнения для достижимости
3.8 Исследование свойства достижимости для монотонных систем с постоянными задержками
4 Метод сравнения для управляемых систем с дискретным временем и вычислительная сложность вспомогательных задач
4.1 Достижимость в дискретной динамической системе с параметрическими управлением и возмущением.
4.2 Общие системы линейных алгебраических систем уравнений с неопределенностью
4.3 Обобщенные множества решений интервальной системы линейных алгебраических уравнений
4.4 Алгебраические уравнения в интервальной арифметике Каухера и уравнения с модулями.
Заключение
Литература