В линейном нормированном пространстве происходит движение вектора
по правилу
![]() |
(1.1) |
![]() |
(1.2) |
Считаем, что управление и помеха удовлетворяют ограничениям
![]() |
(1.3) |
Движение формализуем с помощью ломаных Эйлера. Зафиксируем начальное состояние и
рассмотрим разбиение
![]() |
(1.4) |
Допустимым управлением является любая функция
![]() |
(1.5) |
Зафиксируем управление . Построим ломаную Эйлера
![]() |
(1.6) |
Сформулируем цель синтеза управления. Задано второе линейное нормированное пространство , точка
и
многозначная функция
. Цель синтеза управления заключается в осуществлении
включения
![]() |
(1.7) |
Мы не налагаем на множества условий, которые давали бы возможность определить
реализовавшееся в момент времени
состояние
, как предельную точку конечных состояний
последовательности ломаных
при диаметре разбиения, стремящемся к нулю. Поэтому формализуем условие того,
что какое-то управление
гарантирует в момент времени
включение
,
не прибегая к определению предельных движений.
Обозначим через единичный шар в
и через
алгебраическую сумму множеств
и
![]() |
(1.8) |
О п р е д е л е н и е 1.1. Управление гарантирует включение
из начального состояния
, если
для любого числа
найдется число
такое, что для любой ломаной
с диаметром разбиения
выполнено включение
![]() |
(1.9) |
Синтез управления будем осуществлять, опираясь на конструкцию
стабильного моста , который в
рассматриваемом случае будет
являться многозначной функцией
, при
,
удовлетворяющей граничному условию
![]() |
(1.10) |
В монографии [1, стр. 294] отмечалось, что при построении стабильных мостов можно использовать различные аппроксимационные аналоги уравнения движения.
Рассмотрим случай, когда условие стабильности записывается с помощью некоторой многозначной функции
следующим образом:
![]() |
(1.11) |
Сформулируем условия, при которых мы будем проводить синтез управления.
Условие 1. Каждое из множеств является выпуклым компактом.
Условие 2. При определена функция
такая, что для любых
выполнено включение
![]() |
(1.12) |
Условие 3. При
определена функция
такая, что
при всех
выполнено включение
![]() |
(1.13) |
Условие 4. При
определена функция
такая, что при всех
выполнено включение
![]() |
(1.14) |
Условие 5. Стабильный мост удовлетворяет следующему
условию замкнутости по
.