О внешнем полиэдральном оценивании множеств достижимости в расширенном пространстве для линейных многошаговых систем с интегральными ограничениями на управление

Вычислительные технологии

Том 9, № 5, 2004

О ВНЕШНЕМ ПОЛИЭДРАЛЬНОМ ОЦЕНИВАНИИ МНОЖЕСТВ ДОСТИЖИМОСТИ В "РАСШИРЕННОМ" ПРОСТРАНСТВЕ ДЛЯ ЛИНЕЙНЫХ МНОГОШАГОВЫХ СИСТЕМ С ИНТЕГРАЛЬНЫМИ ОГРАНИЧЕНИЯМИ

НА УПРАВЛЕНИЕ*

Е. К. КостоусовА Институт математики и механики УрО РАН, Екатеринбург, Россия e-mail: kek@imm.uran.ru

A problem of constructing the outer estimates of reachable sets of linear discrete systems with integral nonquadratic bounds on controls (including systems with phase constraints) is considered. The families of estimates in the form of parallelepipeds and special polytopes are introduced for reachable sets in the "initial" and "extended" spaces. The properties of these estimates are investigated.

Введение

Решение многих задач теории управления и оценивания в условиях неопределенности в гарантированной постановке основывается на исследовании трубок траекторий (многозначных функций, описывающих, например, динамику множеств достижимости, разрешимости, информационных областей) (см., например, [1, 2, 3, 4]). Их явное описание известно только в редких случаях [1]. Существует несколько подходов к разработке численных методов аппроксимации трубок траекторий. Ряд методов основывается на численном решении уравнений разного типа, описывающих динамику множеств [5], аппроксимации множеств многогранниками с большим числом вершин и граней (см., например, [6, 7]) либо объединением конечного числа точек [8, 9]. Еще один подход состоит в аппроксимации множеств классом более простых областей некоторой фиксированной формы, в частности эллипсоидами, параллелепипедами (см., например, [2, 10] и приведенную там библиографию). А.Б. Куржанский предложил аппроксимировать искомую трубку целым семейством внешних (внутренних) трубок, образованных областями фиксированной формы [2, 11]. Семейства вводятся таким образом, чтобы, с одной стороны, обеспечить точные представления решений (через пересечение или объединение оценок), а с другой — чтобы

* Работа выполнена при частичной поддержке Российского фонда фундаментальных исследований (грант № 03-01-00528).

© Институт вычислительных технологий Сибирского отделения Российской академии наук, 2004.

каждая конкретная трубка находилась с помощью эволюционных уравнений независимо от остальных (что открывает возможности для параллельных вычислений).

В соответствии с этим подходом ранее были предложены некоторые способы построения семейств параллелепипедозначных оценок трубок траекторий для систем с геометрическими (жесткими) ограничениями [11, 12, 13]. В [14] введены семейства параллелепипедозначных оценок для множеств достижимости (МД) линейных многошаговых систем с интегральными ограничениями на управление. Рассматриваемые там множества достижимости, вообще говоря, не обладают полугрупповым свойством [2] (это свойство присуще МД в расширенном фазовом пространстве, включающем координату, соответствующую текущему запасу управления [15]).

В настоящей работе для линейных многошаговых систем с интегральными неквадратичными ограничениями на управление и неопределенностью в начальных условиях, включая системы с фазовыми ограничениями, исследованы свойства МД в расширенном фазовом пространстве и для них введены семейства внешних оценок в виде политопов специального вида; выведены эволюционные уравнения, описывающие динамику этих оценок. С их использованием найдены параллелепипедозначные оценки МД в исходном пространстве, отличные при наличии фазовых ограничений от введенных в [14]. Для случая без фазовых ограничений семейства оценок обеспечивают точные представления МД. Приведены результаты численного моделирования. Отметим, что рассмотрение в качестве оценок параллелепипедов, грани которых не обязательно параллельны координатным плоскостям, позволяет ослабить [12] известный в интервальном анализе "эффект обертывания" (wrapping effect) [16].

Статическое описание МД в исходном фазовом пространстве из начала координат для автономных многошаговых систем (без фазовых ограничений) с интегральными неквадратичными ограничениями на скалярное управление дано в [17].

1. Постановка задачи

На промежутке [i, N] (0 < i < N) рассматривается многошаговая система

x[j] = A[j]x[j - 1] + B[j]u[j] + v[j], j = i + 1,..., N.

Здесь x[j] £ IRn — фазовый вектор системы (IRn — n-мерное евклидово пространство); A[j] £ и Bjj] £ Rraxr — известные матрицы (M£xn = {A £ IRnxn| detA = 0};

IRnxm — пространство действительных nxm-матриц); v[j] £ IRn — известные входные воздействия. Начальное состояние x[i] и управления u[j] £ IRr стеснены ограничениями

x[i] = Xi £ Xi]

N

Y^ iiu[j]iu < ^i; (1.3) j=i+1

u[j] £ K[j], j = i + 1,...,N,

где Xi £ conv IRn — заданное множество (conv IRn — множество всех выпуклых компактных подмножеств IRn); > 0 — известное число; ||u||^ = max |ua| — норма вектора

1<a<r

и £ (нижний индекс будем использовать для нумерации компонент векторов, верхний — для нумерации векторов); ] С — заданные выпуклые замкнутые конусы [18]. На состояние системы могут быть наложены фазовые ограничения

яЫ еУ3], 3 = г +

где У [3] — выпуклые замкнутые множества (считаем У [3] = М", если фазовые ограничения отсутствуют). Ограничения (1.5), в частности, могут порождаться уравнением измерений с неизвестной, но ограниченной помехой [3, 4]

у[з ] = СЫ ] я[з ]+ пЫ ], п3 ] е в[з ] С К™, 3 = г + 1,...,Ж,

где С[3] — известные тхп-матрицы ранга т; в[3] £ еопуЕ™ — заданные множества.

Множеством достижимости X(к, г, Xi) системы (1.1), (1.3)-(1.5) с начальным условием (1.2) в момент к £ {г,... , N} называется множество всех тех точек жеМ", для каждой из которых существуют такие ж [г] и и[-], удовлетворяющие (1.2)-( 1.4), что порождаемое ими в силу (1.1) решение ж[-] будет удовлетворять условиям я [к] = ж и (1.5) для 3 = г + 1,... , к. Далее считаем, что в системе (1.1)—(1.5) г = 0 и используем обозначение X[к] = X(к, 0, Хо). Если ограничения (1.5) порождаются измерениями, то X[к] известны как информационные области [4, 2].

Введенные МД для систем с интегральными ограничениями (1.3), вообще говоря, не обладают полугрупповым свойством [2], и для них в общем случае не удается получить рекуррентные соотношения типа [3], имеющие место для многошаговых систем с геометрическими ограничениями. В [14] приведены "полурекуррентные" соотношения для МД (системы рекуррентных формул, с помощью которых можно находить МД) систем без фазовых ограничений, а также соотношения, описывающие МД систем с фазовыми ограничениями.

Добавим к фазовым переменным ж[3] переменную ^[3 ], удовлетворяющую уравнению

М3] = М3 - 1] - 1М3] |и 3 = г + 1,... , N;

Мг] = &

и характеризующую текущий запас управления. Несложно проверить (см. также [15]), что интегральное ограничение (1.3) на управление эквивалентно фазовым ограничениям

М3] > 0, 3 = г,..., N.

В "расширенном" фазовом пространстве точек г = (жт,&)т = {ж,&}еК"+1 (где Т — знак транспонирования) можно рассмотреть систему (1.1), (1.4), (1.6) с начальными условиями

г[г] = г £

фазовыми ограничениями (1.5) и ограничениями на ], которые включают (1.8) и могут быть дополнены результатами неточных измерений ]:

&3] < М3] < Д[3], 3 = г +1,...,N

где 0 < ] < ] — заданные числа. В частности, если дополнительная информация о текущем ресурсе управления отсутствует (как было в исходной системе (1.1)—(1.5)), то считаем, что ^[3] = 0, ^[3] =

Множеством достижимости Я(к, г, системы (1.1), (1.4)—(1.6), (1.9), (1.10) в момент к € {г,... , N} называем множество всех тех точек г = € Нп+1, для каждой из которых существуют такие г [г] = {х[г],^[г]} и «[•], удовлетворяющие (1.4) при 7 = г + 1,...,к и (1.9), что порождаемое ими в силу (1.1), (1.6) решение г[-] = {£[•], будет удовлетворять условиям г [к] = г и (1.5), (1.10) при ] = г + 1,...,к. Далее рассматриваем систему на промежутке [0, N ] и используем обозначение Я [к] = Я (к, 0, Яо). Многозначная функция Я [к], к = 1,... , N, известна как трубка траекторий Я [•] [2].

Рассуждения, аналогичные [10, с. 18-19], показывают, что МД Я [к] обладают полугрупповым свойством

Я

В разд. 2 будут выписаны рекуррентные соотношения для Я [к], исследованы их свойства и указана связь между X [к] и Я [к] при специальном выборе множества Я0.

Будем полагать, что Х0 — параллелепипед

Хо = Р

а ограничения (1.5) (если присутствуют) являются параллелепипедами

У Ы = Р

или полосами

т}]

У[7] = 5

г=1

Параллелепипедом Р(р,Р,п) в Мп называем множество

^ п

Р = Р (р,Р,п) = х| X = р + ^ ргпг&; |&| < 1, г = 1,...,п

г=1

где р € К,п; матрица Р = {р}} = {р1 ••• рп} € МГп, МГп = {Р € К,пхп| ае1 Р = 0, ||рг|| = 1} — множество всех неособых пхп-матриц со столбцами единичной длины1 (||а|| = (а, а)1/2 обозначает евклидову норму); п € Мп, п > 02. Можно сказать, что р задает центр параллелепипеда, рг — "направления", а п — величины его "полуосей", P — матрица ориентации. Любой параллелепипед является параллелотопом: Р(р,Р,п) = Р[р,Р], где Р = Р•diagп, символом diagп (или diag {п^}) обозначаем диагональную матрицу с компонентами п вектора п на диагонали.

Параллелотопом Р[р, Р] в Мп называем множество

г

Р = Р[р, Р] = { х| X = р + > рг&; Ы < 1, г = 1, . . . , Г

/ ^ J

г=1

где р € Мп, г < п, а пхг-матрица Р = {рг} € Мпхг может быть особой. Таким образом, р определяет центр параллелотопа, а матрица Р — его форму. Если г = п и det Р = 0, то параллелотоп является параллелепипедом с Р = Pdiag {Нр^Н-1}, п = ||рг||.

Условие ||р || = 1 несущественно и может быть опущено.

2Векторные и матричные неравенства понимаем покомпонентно.

Полосой S(c, S, a, m) называем пересечение m (1 < m < n) гиперполос S:

m

S = S (c, S, a,m) = Q S, S = s1, a) = {x| |(ж,вг) - c| < a},

где с £ К™; 5 = {з*} = {в1 • • • в™} £ К"хт — пхт-матрица ранга т со столбцами зг единичной длины3; а £ ПК™, а > 0. Векторы ±вг определяют нормали к гиперплоскостям, ограничивающим гиперполосу Хг.

Далее предполагаем также, что конусы К[3] таковы, что параллелепипедами являются множества ^.[3]4:

^[3]= С ПОД], С = Р

а именно, считаем, что

ОД] = Р

Здесь С — единичный куб в К с центром в нуле, 1 — единичная матрица, е = (1,1,..., 1)т.

При сделанных предположениях МД X[к] и тем более 2[К], вообще говоря, не являются параллелепипедами и точное построение МД (особенно для систем большой размерности) может быть затруднительным.

Определим в БК"+1 следующий класс политопов П = П({Рь,&ь}, {Р(частный случай политопа П в К3 см. на рис. 1). Если &ь, & — числа, 0 < &ь < а Рь = Р(рь, Рь, пь), Р4 = Р(р4, Рп4) — параллелепипеды с одинаковыми матрицами Рь = Р4 = Р, то политоп П определим в виде5

П = П({Рь,&ь}, {Р4,&4}) = со (2ь и 24), 2г = {Рг,&г} = {Р(рг,Р,пг),&г}, г = "Ь", "Г,

где знак со 2 обозначает выпуклую оболочку множества 2 [18].

Нашей целью будет найти внешние для 2 [к] оценки в виде политопов П+[к]

2[к] С П+[к] =П({Р+'ь[к],&+'ь[к]}, {Р+'4[к],&+'4[к]}), к = 0,... , N; Р+'г[к] = Р(р+'г[к], Р+'г[к], п+'г[к]), г = "Ь", "Г, Р+'ь[к] = Р[к] = Р + [к],

обладающие обобщенным полугрупповым и эволюционным свойствами, являющимися аналогами (1.11), и ввести семейства таких трубок П+[-], что обеспечит более точные включения 2 [к] С Р| П+ [к]. На основе указанных оценок будут введены семейства внешних параллелепипедозначных оценок Р + [к] для МД X[к]: X[к]СР +[к], X[к]С Р|Р +[к].

Напомним определения упомянутых свойств оценок П+[к].

Как увидим ниже, П+[к] могут быть найдены из рекуррентных уравнений с начальными условиями П+[0], так что по аналогии с МД можно ввести обозначения П+[к] = П+(к, 0, П+[0]). Говорят [2], что П+[к] обладают "верхним" полугрупповым свойством, если

П+

3Условие ||s|| = 1 может быть опущено.

4Столь специальное по форме ограничение позволяет охватить, например, ситуацию, когда K[j] положительный ортант или полупространство, ограниченное координатной плоскостью.

5Индексы "b" и "t" произошли от слов "bottom" ("дно") и "top" ("верхушка").

Ц

Ц

Ц0/ A

Б/ \C

-Цо 0 Цох

Рис. 1. Политоп П в IR3.

Рис. 2. Множество Z[1] в примере 2.1.

Говорят [10], что оценки П+ [к] обладают эволюционным свойством, если 2 (к, к - 1, П+[к - 1]) С П+[к], к =1,...,Ж, Ео С П+[0].

Известно, что свойство (1.20) эквивалентно соотношениям Z(k,i, n+[i]) С П+ [k], 0 < i < k < N, и обеспечивает включения (1.18).

В работе используются обозначения:

А

= — знак равенства по определению;

0 — нулевая матрица (вектор) произвольной размерности k х /;

Abs A — матрица абсолютных величин элементов матрицы A = (aj}: Abs A = (|aj |}; ег = (0,... , 0,1, 0,... , 0)T £ IRn — i-й единичный орт в IRn (единица стоит на i-м месте); д Q — граница множества Q;

p(1|Q) = sup((x,1)| x £ Q}, / £ IRn, — опорная функция множества Q С IRn;

sign z - функция знака числа: равна -1, 0, 1 соответственно при z < 0, z = 0, z > 0.

2. Точное описание множеств достижимости

Для записи рекуррентных формул для Е [к] и П+ [к] в компактном виде введем некоторые обозначения. Пусть множество Е С ЕЯ,га+1 задано своими сечениями X(ц)6:

Е = У {X

Введем следующие операции ©, @, (¡3 и Ы^ с множеством Е. Если А £ 111гахга, то А©Е = и {АХ(ц),ц}.

Если а £ К", то Е©а = и {X(ц) + а, ц}.

Если ^ С К", то Е©^ = и {X(ц) П ^, ц}.

6Которые, в частности, могут быть пусты: X(ß) = 0 при некоторых ß.

Если П С И", 0 < & < &, то

2Ы|п = 2= и {*(&),&},

м

Аь<м<м'

где

&ь = &, = ш1п{&4,&}, *

тах{мь,м}<С<М4

Ввиду (1.6) - (1.8) МД 2 [к] можно искать в виде

2[к] = У {X

Теорема 2.1. Пусть 2[к] - МД системы

2[к] = ((А[к]©2[к - 1]©«[к]) ыдд в[к](дС П К[к]))©У[к], к = 1,... , N;

2 [0] = 2о.

Доказательство. В силу полугруппового свойства (1.11) имеем 2[к] = 2(к, к — 1, 2[к — 1]) при любом к £ {1,..., N}. Найдем явное описание для правой части этого равенства, т. е. для множества всех точек, в которые можно попасть в силу системы за один (к-й) шаг, начиная из множества 2[к — 1] в момент к — 1. Запишем 2[к — 1] в виде (2.3) при к — 1. Ввиду (1.6), (1.7) из точки г = {х,&} £ 2[к — 1] с фиксированным = & и х £ X(&,к — 1) можно попасть в точки г с гга+1 = &, где 0 < & < &, тогда и только тогда, когда выберем управление и [к] с ||и[к]||те = & — &, причем должно выполняться ограничение (1.4), т.е. и [к] £ (& — &)д С П К [к] = (& — &)(д С П К[к]). Перебирая всевозможные х £ X(&, к — 1), можно с учетом фазовых ограничений (1.5) попасть

в точки множества *(&,&) = (А[к] X (&, к — 1) + «[к] + (& — &)В[к](д С П К[к])) П У [к]. Ввиду (2.3) &ь[к — 1] < & < &4[к — 1], а ввиду фазовых ограничений (1.10) & может принимать любые значения из промежутка [0,&] П [&[к],&[к]]. Обозначим множество таких

(&,&) через Т. Тогда 2[к] = и и{{^(&,&), &}| (&,&)£Т}. Рассматривая шесть всевоз-

м м

можных комбинаций соотношений между числами &ь[к — 1], &4[к — 1], &[к], &[к], можно заметить, что при нашем предположении 2[к] = 0 множество Т представимо в виде Т = {(&,&)| &[к]<&< шт{&4[к — 1],&[к]}, шах{&ь[к — 1],&}<&<&4[к — 1]}. Поменяем теперь местами объединения по & и & в выражении для 2[к] и переобозначим & на &, а & — на £. Тогда получаем представление 2[к] как раз в виде (2.3), где сечения X(&, к) и числа &ь[к], &4[к] определяются с учетом введенных операций соотношениями (2.4).

Вследствие нелинейности системы в расширенном пространстве МД 2 [к] из выпуклого множества 20 могут быть невыпуклы, а при наличии фазовых ограничений (1.10) — даже несвязны.

Пример 2.1. Пусть п =1, к = N =1, А[1] = В[1] = 1, «[1] = 0, К[1] = И1, 20 = {0,&0}. Тогда в силу системы х[1] = и[1], &[1] = &0 — |и[1]|. Множество достижимости 2[1] системы (1.1), (1.4), (1.6), (1.8), (1.9), показанное на рис. 2, представляет собой два отрезка

АВ и АС и, очевидно, невыпукло. При фазовых ограничениях (1.10), где ц[1] = ц[1] = 0, МД Е[1] состоит из двух точек — В и С и несвязно.

Выпуклость Е[к] можно гарантировать, наложив дополнительные условия на Е0 и ц[-].

Будем говорить, что сечения множества Е С Ега+1 вида (2.1) не возрастают, если X(ц1) ^ X(ц2) V ц1, ц2 : ць < ц1 < ц2 < ц4, другими словами, вместе с любой точкой {ж, ц} £ Е множество Е содержит и все точки {ж, п}, где ць < п < ц.

Лемма 2.1. Пусть Е имеет вид (2.1), его сечения не возрастают, и пусть ц > ць. Тогда сечения множества Е = Е й^ Р не возрастают, каково бы ни было множество Р С К". "

Доказательство. Пусть 5 = {ж,ц} £ Е где ц < ц < ш1п{ц4,ц}. В силу (2.2) существуют такие ( £ [шах{ць, ц}, ц4], ж £ X(() и и £ Р, что ж = ж + (( — ц)и. Рассмотрим точку {ж,п} с произвольным п £ [ц,ц]. Введем £ = С — (ц — п). С учетом ц > ць имеем £ > шах{ць,ц} — (ц — п) = п > ц > цЬ. Очевидно, £ < £ < ц4. Тогда можно записать, что ж = ж + (С — п)и, где ж £ X(£) в силу свойства Е. Из (2.2) следует, что {ж, п} £ Е

Лемма 2.2. Пусть выполнены условия леммы 2.1, К — конус в Ег, С = Р(0,1, е) С ИТ и В £ Егахг. Тогда множества Е1 = ЕЫ£В(дС ПК) и Е2 = ЕЫ£В(СПК) совпадают.

Доказательство. Очевидно, Е1 С Е2. Пусть 5 = {ж,ц} £ Е2, т.е. найдутся такие С £ [ц,ц4], ж £ X(() и и £ К, ||и||те < 1, что ж = ж + (С — ц)Ви. Если ||и||те = 1, то 5 £ Е1. Пусть ||и||те = е, где 0 < е < 1. Тогда можно записать ж в виде ж = ж + (С — Д)Ви, где и = и/||и||те £ К, ||и||те = 1, а ц = ( — е(( — ц) = ц + (1 — е)(( — ц). При этом цЬ < ц < ц < Д < С. Ввиду (2.2) {ж,ц} £ Е1, а по лемме 2.1 и 5 = {ж,ц} £ Е1. В случае и = 0 можно записать ж = ж + (ц — ц)Ви, где и — произвольная точка из дС П К, причем ж £ X(ц) в силу свойства Е. Значит, опять {ж,ц} £ Е1. Включение Е2 С Е1 доказано.

Лемма 2.3. Из выпуклости Е и Р при любых ц < ц следует выпуклость Е = ЕЫ^Р. Если выполнены условия леммы 2.2, причем множество Е и конус К выпуклы, то оба множества Е1 и Е2 из леммы 2.2 выпуклы.

Доказательство. Убедимся сначала в выпуклости Е Пусть ={жк, }£Е к = 1, 2, т.е. жк = жк + — )ик, где ^шах^^ц*1},ц4], жк£X), ик£Р. Рассмотрим точку

5д = {жл, цл} = Л51 + (1 —Л)52 с Л £ [0,1]. Тогда жл = жл+((л—цл)ил, где (л = Л( 1 + (1 —Л)(2 £ [шах{ць, цл}, ц4], жл £ X((л) в силу выпуклости Е, а ил = ((л — цл)-1(Л((1 — ц1)и1 + (1 — Л)((2 — ц2)и2) £ Р, если > цл (в силу выпуклости Р), и ил — произвольный элемент из Р, если = цл. Имеем 5л £ Е Значит, Е2 выпукло, а в силу леммы 2.2 выпукло и Е1.

Лемма 2.4. Если сечения Е не возрастают, то таково же множество Е©У при любом У С Е". Если Е и У выпуклы, то Е©У тоже выпукло.

Лемма очевидна. Из теоремы 2.1 и лемм 2.1 - 2.4 получаем

Следствие 2.1. В условиях теоремы 2.1, если ць[0] < ц[1] < ц[2] < ... < а Е0

выпукло и его сечения не возрастают, то такими же свойствами обладают множества Е [к] и при их построении в формулах (2.4) можно заменить д С П К [к] на Р[к].

Из определений МД, теоремы 2.1 и следствия 2.1 вытекает связь между X[к] и Е[к].

Следствие 2.2. Пусть X[к] — МД системы (1.1) - (1.5), а Е[к] — МД системы (1.1), (1.4) - (1.6), (1.8), (1.9) из множества Е0 = ^о^} = {5 = {ж,ц}| ж £ X0, ц = ц0} либо Е0 = X0 х [0,ц0] = {5 = {ж,ц}| ж £ X0, ц £ [0,ц0]}, представленные в виде (2.3), причем все Е[к] = 0. Тогда X[к] = и{X(ц,к)| 0 < ц < ц4[к]}, к = 1,...,Ж, X[0] = Xо. Если Е0 = X0 х [0, ц0], то X[к] = X(0, к), к = 1,... , N, X[0] = X0, причем при построении Е[к] в формулах (2.4) можно заменить д СП К[к] на Р[к].

3. Некоторые свойства параллелепипедов и политопов П

Построение полиэдральных оценок для МД основывается на выполнении операций над параллелепипедами и политопами П вида (1.17) (афинного преобразования, суммы Мин-ковского, пересечений для параллелепипедов и введенных в разд. 2 операций для политопов П). Результат такой операции может не принадлежать к рассматриваемому классу множеств и в этом случае будет аппроксимироваться такими множествами снаружи. Приведем некоторые свойства параллелепипедов и политопов П, используемые для построения оценок (см. также [12, 13]).

Опорные функции параллелепипеда и параллелотопа вычисляются по формулам

p

Если матрица A £ IRnxn — неособая, a £ IRn, то AP(p, P, п) + a = P(Ap + a, AP, п) = P(Ap + a,APB-1,Bn), где B = diag{[[Ap*!!}. Если P=P[p,P] С Rr, A £ Rnxr, r < n, то AP = P [Ap, AP] С Rn

Отметим связь между параллелепипедами и полосами, считая столбцы матриц P и S не обязательно нормированными. Если m = n, то полоса S = S(c, S, а, m) есть параллелепипед P = P(p, P, п) с параметрами p = S-lT c, P = S-lT, п = а. Обратно, параллелепипед P есть полоса S с параметрами c = P-1p, S = P-lT, а = п, m = n, т. е.

P = {x £ IRn|x = p + Pdiagп£, Abs £ < e} = {x| Abs (P-1(x - p)) < п}. (3.2) Далее будет удобно использовать также следующую запись параллелепипеда:

P = P

где связь между параметрами, определяющими параллелепипед, задается формулами

Y

(±) = P-1

P-1p ± п; p = P

при этом

y

Называем P = P(p,P^) внешним касающимся параллелепипедом для Q С IRn, если Q С P и p(±(P-1)Tei|P) = p(±(P-1)Tei|Q), i = 1,... ,n.

Внешняя касающаяся оценка для Q £ conv IRn с данной матрицей P + имеет вид

P++

где y+'(±) = ±p(±(P+-1)V| Q).

Оценка P++ (Q) обладает свойством монотонности по включению, т.е. если Q1, Q2 С Rn — ограниченные множества и Q1 С Q2, то P++ (Q1) С P++ (Q2) VP + £ M£xra

Сумма Q = k=1 P (p(j), P(j), п^) параллелепипедов с одинаковыми матрицами P(j) = P есть параллелепипед: Q = P(^k=1 p(j), P, ^k=1 п^). В общем случае это не так. Оценка P++ (Q) в этом случае принимает вид (3.6), гдеp+ = p(j), п+ = Abs (P+-1P(^))п(^).

Для семейства множеств <2л, зависящих от некоторого параметра Л £ Л С БЕ1, имеем

Р МЫ £л) = Р (Р + ,7+'(-),7+'(+)),

члел

7+'

Лемма 3.1. Пусть Р(к) = Р(р(к), Р, п(к)), к = 1, 2, — параллелепипеды с одинаковыми матрицами Р. Тогда множество Рл = ЛР(1) + (1 — Л)Р(2), где Л £ [0,1], совпадает с параллелепипедом Рл = Р(рл, Р, пл), где рл = Лр(1) + (1 — Л)р(2), пл = Лп(1) + (1 — Л)п(2).

Доказательство. Проверка включений РлСРл, РлСРл проводится соответственно с помощью первого и второго из указанных в (3.2) представлений параллелепипеда.  Следствие 3.1. Политоп (1.17) может быть представлен в виде

п= и {Р (ц),ц}, Р (ц) = Р (р(ц),Р,п(ц)),

р(ц) = Лр + (1 — Л)рь, п(ц) = Лп4 + (1 — Л)пь, Л = (ц — дь)/(дí — ць).

Доказательство. Несложно заметить, что П = и

0<л<1

вытекает из представления типа (2.1) для П и леммы 3.1.

Следствие 3.2. Сечения политопа (1.17) не возрастают тогда и только тогда, когда Р4 С Рь, и тогда и только тогда, когда все функции Т^+^ц) монотонно не возрастают, а ) (ц) — монотонно не убывают на [ць , ц4], где 7(±)(ц) определены для Р (ц) = Р(р(ц), Р, п(ц)) из (3.8) формулами (3.4), (3.5).

Доказательство проводится с помощью исследования свойств монотонности для опорных функций р(/|Р(ц)) = ((ц — дь)/(дí — ць))р(/|Р4) + ((ц4 — ц)/^ — ць))р(/|Рь).  Очевидно, что результат операций А©П и П©а также является политопом типа (3.8). Найдем теперь внешние оценки типа (3.8) для результата операций П Ы^ ВР и П©У, где В£Егахг, Р = С П К, К — конус, У — параллелепипед либо гиперполоса.

Будем использовать следующую схему построения оценок для множеств Е С Ега+1 вида (2.1). Сначала при фиксированной матрице Р + £ М"хга строится внешняя для Е оценка Е Е, удовлетворяющая соотношениям

2= и {РМ^}, Р(ц) = Р(Р+л^Ыл^Ы) ^(ц) ^ £ [цьУ].

В частности, можно строить Е в виде

£ = Z++

где Р(ц) = Р++ (X(ц)).

При этом Е может не быть политопом П типа (3.8). В этом случае предположим, что функции 7(±) (ц) представимы в виде

Т^Ы ^

причем все функции 7к(±) (р) линейны. Построим для 7]+)(р) (7] ^(р)) линейные мажоранты (миноранты) 7+'(+)(р) (7+'(_)(р))> определяемые параметрами (д]-_)):

j

Y Г (P) = " Y3 и~*з ' 1 Из r-*j

(±) = (±) (±) *3 = p0j , g3 - 1 ~ v 1 /3

имеет единственным корень p03- , причем p < p03- < p ;

(±) ь (±) d (±)/ (±)\ P*/ = P , gj = dp73 (P*3 ) в противном случае,

где в последней формуле имеется в виду правая односторонняя производная. Векторы g(-), g(+), удовлетворяющие (3.11), будем называть допустимыми. Здесь символом д/(p*) обозначен субдифференциал выпуклой функции /(p) в точке p*. Определим далее множество

П+

Оно содержит Z в силу свойств субдифференциала7 и представления параллелепипеда в виде (3.3). Таким образом, справедлива

Лемма 3.2. Пусть Z — множество вида (2.1). При сделанных относительно Z предположениях множество (3.12) представляет собой политоп типа (3.8) и является внешней для Z оценкой: П+ = П+(— g(+} (i?) D Z, каковы бы ни были матрица P + G и допустимые векторы g(-), g(+).

Из фактов выпуклого анализа [19, с. 211] получаем

Замечание 3.1. Пусть y (p) = max{Y 1(p),Y 2(p)}, где y k (p) = ak p + bk, k = 1, 2, и P0 = (b2 — b1)/(a2 — a1) — единственный корень уравнения y 1(p) = Y2(p). Тогда $y(p0) = co (Уk=1 ^Yk(p0)) = co (a1 U a2) = [min{a1, a2}, max{a1, a2}] и любая функция вида Y+(p) = Y(p0) + g(p — p0), g = a max{a1,a2} + (1 — a)min{a1,a2} Va G [0,1] служит минорантой для y (p): Y + (p) < y(p), причем если обе функции Y1(p) и Y 2(p) монотонно не убывают, то этим свойством обладает и y + (р).

Лемма 3.3. Пусть П — политоп вида (3.8), R G convRr, B G IRnxr и 0 < p < p. Тогда внешней оценкой для множества Z = П Ы^ BR является политоп вида

П+ = У {P(P+,y+'(-)(p),Y+'(+)(p)),p}, P+'b = P, P+,t = min{pt,p},

построенный по формулам П+ = П+— g(+} (i?), Z = Z++ (Z), каковы бы ни были матрица P +GMnxra и векторы g(±), допустимые в силу (3.11), где рь, pt надо заменить на р+'ь, p+,t. Здесь

Z = U {p?

Y

7Напомним [18], что вектор х* называется субградиентом функции / (х), х^Ж", в точке хо, если /(х) — /(хо) > (х — хо,х*), а множество всех субградиентов в точке жо называется суддифференциалом д/ (хо).

если либо ць = ц , либо ць < ц и выполняются условия

а если ць < ц4 и (3.15) не выполняется, то имеет место представление (3.10), где

т,

71(±)(ц) = ((ц — ДЬ)/(ДÍ — /»(Вр* ± Сп^- + ((ц4 — ц)/^ — ць))(Дрь ± Спь)(,

Т^Ы^В/ ± Спь)( + (ць — и использованы обозначения

В = Р+-1, С = АЬ8

Доказательство. Имеем Р (ц) = Р++ (X(ц)), где в силу определения операции ПЫ^ВР

X

Ввиду формул (3.1), (3.7) в случае ць = ц4 получаем (3.14), а при ць < ц4 Т^Ы = ( шшаП ) {^ц) I шах{ць,ц}<С<ц4} =

= ( шах ) M±)(шax{д^д},д),((ц^)},

^(±)(С, ц)=((С — ДЬ)/(ДÍ — ць))(Вр4±Сп4) + ((ц4 — С )/(ц4 — ць))(Врь±Спь) + (С — ц)Ь(±).

С учетом неравенства шах{ць, ц} —ц4 < 0 несложно проверить, что соотношения (ц4, ц) > ^ (шах{ць,ц},ц) эквивалентны условиям (3.15) и Т^^ц) определяются формулами (3.14) - (3.18). Включение Е С П+ следует из леммы 3.2.  Следствие 3.3. Если в условиях леммы 3.3 либо ць = ц4, либо ць < ц4 и ц = ць, то П+ = Z++ (Е). "

Доказательство. Функции 7]±)(ц) в (3.14), (3.16) оказываются линейными, а векторы д(±) определяются в силу (3.11) однозначно и обеспечивают равенство П+— (Е?) = Е  Следствие 3.4. Пусть П(1) и П(2) — два политопа (1.17) с одинаковыми Р(1)ь = Р(2),ь = Р(1),4 = Р(2)>4 и ц(1)'4 = ц(2),4, но у первого ц(1)>ь = ц(1)'4, а у второго ц(2)>ь < ц(2)'4 и пусть Е(к) = П(к) Ы^ ВР, причем 0 £ Р. Тогда соответствующие в силу леммы 3.3 оценки имеют вид П(к)+ = ^++ (Е(к)) и совпадают: П(1)+ = П(2)+.

Доказательство. Условие 0 £ Р обеспечивает р(/|ВР) > 0 и, значит, (3.15).

Следствие 3.5. Если в условиях леммы 3.3 множество Р представимо в виде Р = С П К, где С = Р(0,1, е) С БЕ7, а К — конус, то сечения множества Е и его оценки П+ не возрастают8. Если к тому же Р оказывается параллелепипедом Р = Р(г, 1, р), то величины из (3.18) вычисляются по явным формулам Л,(±) = й ± /, й = ВВг, / = АЬв (ВВ)р.

8В отличие от леммы 2.1 не делается предположений о невозрастании сечений П и о

Доказательство. Пусть р1 < р2. Расписывая X(р1) в виде (3.19), заменяя отрезок [тах{рь, р1}, р4], по которому производится объединение, вложенным в него отрезком [тах{рь, р2}, р4] и используя включение (( — р1)^ D (( — р2)^, получаем X(р1) D X(р2). Из монотонности по включению операции P++ (Q) следует, что Р(р^ D Р(р2). Значит, сечения Z и Z не возрастают и функции 7^+)(р) (Yj ^(р)) монотонно не возрастают (не убывают). Ввиду замечания 3.1 и следствия 3.2 сечения политопа П+ не возрастают.  Лемма 3.4. Пусть П — политоп вида (3.8), а У £ convUR"". Тогда внешней оценкой для множества Z = П(П)^ = 0 является политоп П+, построенный по формулам П+ = П+(_) g(+) (Z), Z = Z++ (П)(ПP++ (Y), каковы бы ни были матрица P+ £ МПХП и векторы g(-), g(+), допустимые в силу (3.11). Здесь Z имеет вид (3.13), (3.10), где 71(±)(р) описываются такими же формулами, что и в (3.17), а 72(±)(р) = ±p(±(P+-1 )твг| Y). В частности, если Y = Р(q, Q, к) — параллелепипед в IRn, то Yj*^ = (d ± f )j, где d = Dq, f = Abs (DQ)k, D = P+-1, C = Abs (DP). Допуская в (3.13) возможность Р(р) = 0, можно считать, что р+'ь = рь, р+'4 = р4.

Доказательство. Включения П+ D Z следуют из леммы 3.2, так как Р(р) = P++ (Р(р)) П P++ (Y) D Р(р) П Y, а функции y(±)(р) имеют указанный выше вид [12, лемма 3.14].

Следствие 3.6. В условиях леммы 3.4, если сечения П не возрастают, то таким же свойством обладают множества Z, Z и П+. При этом все сечения Р(р) и Р+(р) множеств Z и П+ непусты, если положить р+'ь = рь, р+'4 = тт{р4,min1<j<raj}, где — корень уравнения Yj ^(р) = 7^(+)(р), если он единственный, и = в остальных случаях.

Доказательство. Сечения Z не возрастают ввиду леммы 2.4. Заметим, что (Dp1 ± CV)j = ±p(±(P+-1)Tej|P++ (P*)), i = "b", "t". Поэтому включения P++ (Pb) D P++ (P4) обеспечивают невозрастание (неубывание) функций Y^^) ^^(р)) из (3.17), а значит, и соответствующее свойство функций Yj^^) вида (3.10), поскольку Yj^^) постоянны. Ввиду замечания 3.1 и следствия 3.2 сечения Z и П+ не возрастают. Последнее утверждение леммы также вытекает из свойств монотонности функций Y-/^^ (р).  В случае, когда Z = П(П)^, П — политоп вида (1.17), (3.8), а Y = S° = S(с°, s°,a°, 1) — гиперполоса, несколько внешних оценок П+ можно найти в явном виде, выбрав матрицы ориентации P + специальным образом.

Введем множество V = V (Рb П Е°) неособых матриц, состоящее не более чем из n + 1 элементов P(1), l = 0,... , n. Здесь P(0) = P = {p1 • • • pn}, а P(1), l £ {1,... , n}, определена при условии (p1, s°) = 0 и равна P(1) = (S)-1, где матрица Sполучена из S = (P-1)T заменой l-го столбца на s°. Известно [20], что столбцы матрицы P(1) имеют вид

р(0'г = р* — (р*, 5°)(рг, 5°)"У, г = 1,... , п, г = 1; р(1)'г = (р1, 5°)"1рг.

Лемма 3.5. Пусть П — политоп

(/ € {0,... , п}) и векторы $(-), $(+), допустимые в силу (3.11). Здесь 2 имеет вид (3.13), (3.10), где

71(±)(р) = (Р-1р(р))] ± П(р), 7?(±)(р)= / (Р-1р(р))] + к" 1-1(С(±)(р) ± Т П](р), ^ = 0,

j

j ^ 1 Wj = 0, j = 1,..., n, j = l,

Yi

1(±)(д) = Со ± ас, Yi2(±V) = Со + C°±V),

р(д), п(д) — такие же, как в (3.8), а

= (ра ,s°), а =1,...,n, = -1; (¿^(д) = ±Abs (^)тп(д) - (sign^а)((р(д), s°) - Со), а = 0,..., n.

Допуская пустые сечения Р(д), можно считать, что д+'6 = д6, д+'* = д*.

Доказательство. Включения П+^Z следуют из леммы 3.2. Формулы для Yj(±) получены эквивалентным преобразованием формул из [20, 13], определяющих оценки P + (РП Е°), VGV(Р П Е°), проведенным для выявления явного вида линейных функций

Yj(±) (Д).

Следствие 3.7. Лемме 3.5 соответствуют утверждения, аналогичные следствию 3.6, где необходимо положить д+'6 = д6, = шт{д*, д(-), Д(+)}, где д(±) — корень уравнения p(±s°|P(д)) = ±c° — а°, если он единственный, и д(±) = в остальных случаях.

Доказательство аналогично доказательству следствия 3.6. При этом нужную монотонность функций 7;(±)(д) несложно установить, если заметить, что

y2(±V) = ссп812(±) ± |-1р(±(к-|(P-1)Tej - (sign)s°)|P(д)) при = 0, Т;(±)(д) = p(±(P-1)Tej|P(д)), j = 1,..., n, j = l, y2(±)(д) = ссп812(±) ± p(±s°|P(д)), y!(±V) = соп^1(±).

Выражение для вытекает с учетом монотонности из того, что Р(д) П Е° = 0, тогда и только тогда, когда С+(д) ^ -а° и -С—(д) > -а° [20].

4. Внешние оценки множеств достижимости

Из теоремы 2.1, включений д С П К [к] С Р[к], леммы 3.3 и следствий 3.3, 3.5 вытекает

Теорема 4.1. Пусть 2[к] — МД системы (1.1), (1.4), (1-6), (1-8), (1.9) без фазовых ограничений на х и с начальным множеством 20 = 2 [0], где д*[0] = До и либо дь[0] = До, либо дь[0] = 0. Если

П+[к] = Z++[fc]

где Р[к] определены в (1.15), то 2[к] С П+[к], к = 1,... , N, каковы бы ни были матрицы Р +[к]еМпх", к = 1,...^, и политоп П+[0] Э 20 с д+>*[0] = д*[0], г = "Ь", "г". При этом сечения политопов П+[к], к = 1,... , N, не возрастают.

Теорема 4.2. Пусть X[к] — МД системы (1.1) - (1.4) без фазовых ограничений, 2[к] — МД системы из теоремы 4.1 с начальным множеством 20 = Х0 х [0,д0], а политопы

П+[к]= У {Р+

где д+'ь[к] = 0, д+'*[к] = д0, находятся из соотношений (4.1), причем П+[0] = ^++[0](20). Тогда

X[к] СР+

при любых матрицах Р + [к]€М"х", к = 0,... , N. Если Р€М"х" — произвольная матрица, а

Р +[к] = А [к] Р + [к - 1], к = 1,..., N Р+[0] = Р,

то Р+'ь[к] и Р+(д,к) являются внешними касающимися оценками соответственно для X[к]9 и сечений X(д, к) множеств 2[к] при любом д € [0,д0] и

XИ = П{Р+'ь[к] | Р}, 2[к] = р|{П+[к]| Р}, к = 1,..., N

где пересечение достаточно взять по произвольному множеству матриц Р € М"х", обладающему тем свойством, что для каждого вектора I € М", ||/|| = 1, в этом множестве найдется такая матрица Р, что I коллинеарен какому-либо из столбцов Р-1.

Доказательство. Пусть сначала 20 = X0 х [0,д0]. Включения (4.3) вытекают из теоремы 4.1 и следствия 2.2. Свойство Р+(д, к) быть касающимися для X(д, к), т. е.

р

доказывается индукцией по к аналогично [14, теорема 4.1]. При этом проводятся выкладки, подобные сделанным при доказательстве леммы 3.3, и учитывается, что ввиду следствия 2.2 в формулах (2.4) можно писать Р[к] вместо дС П К [к], и ввиду следствия 3.3 политопы П+[к] определяются только параметрами Р +[к]. Свойство (4.5) для X(д, к) € еопуМ" вместе с варьированием Р обеспечивает второе из равенств (4.4), а ввиду следствия 2.2 — и первое. При 20 = {X0,д0} оценки П+[к] оказываются такими же ввиду следствия 3.4, а потому верно последнее утверждение теоремы.

Из теоремы 2.1, лемм 3.3, 3.4 и следствий 3.5, 3.6 вытекает

Теорема 4.3. Пусть 2[к] — МД системы (1.1), (1.4), (1.6), (1.9) с фазовыми ограничениями (1.5), где У[?'] € еопуМ", и (1.10), и пусть все 2[к] = 0. Если политопы П+[к] находятся по формулам

2 (0)+[к] = X+(°)+[к] ((А [к] © П+ [к - 1]©и[к]) Ы™ В[ВДк]), П(°)+М = п+(°)(-)[к];й(°)(+)[к](2 (0)+[к]);

2 (1)+[к] = X+(1)+[к](П(0)+[к])(© Р

+(1)+ [к] (У [к]),

П+И = п+(1н-)[к];й(1н+)[к](2(1)+[k]), к = 1,..., N,

то 2[к] С П+[к], к = 1,... , N, каковы бы ни были матрицы Р(г)+[к] € М"х" и допустимые векторы д(г)(±)[к], г = 0,1, к = 1,... , N, и политоп П+ [0] Э 20. При этом сечения политопов П+[к] не возрастают.

Учитывая следствия 2.2 и 3.3, получаем

Следствие 4.1. Пусть X[к] — МД системы (1.1) - (1.5) с У[?'] € еопуК", 20 = ^о, д0} либо 20 = X0 х [0,д0], д[к] = 0, д[к] = д0, а политопы П+[к] вида (4.2) находятся из соотношений (4.6), (4.7),_где П+[0] = X++[0](20) и П(0)+[к] = 2(0)+[к], к = 1,... ^. Тогда при любых матрицах Р + [0], Р(0)+[к], Р(1)+[к] € М"х" и допустимых векторах д(1)(±)[к] имеют место включения (4.3).

Из теоремы 2.1, лемм 3.3, 3.5 и следствий 3.5, 3.7 вытекает

9И, значит, семейство Рь+[-] совпадает с семейством оценок, введенных для X[•] в [14, теорема 4.1].

Теорема 4.4. Пусть Z [к] — МД системы (1.1), (1.4), (1.6), (1.9) с фазовыми ограничениями (1.5) и (1.10), где У] — полосы (1.14), и пусть все Z[к] = 0. Пусть Z(°)+[к], П(°)+[к] построены, как ив (4.6), а

z «+[к] = х +0+м

П+[к] = П(т[к])+ [к], к =1,...,Ж,

каковы бы ни были матрицы Р(°)+[к] € М"хп, к = 1,...,Ж, Р«+[к] € V(Р(*-1)+'ь[к] П Тг[к]), г = 1,..., т[к], к = 1,..., N, допустимые векторы д(г)(±) [к], г = 0,..., т[к], к = 1,...,Ж, и политоп П+[0] 1Э Z°. Тогда политопы П+[к] являются внешними оценками для Z [к] и сечения П+[к] не возрастают.

Учитывая следствия 2.2 и 3.3, получаем

Следствие 4.2. Пусть X[к] — МД системы (1.1)—(1.5), (1.14), а политопы П+ [к] вида (4.2) находятся из соотношений (4.1) и (4.8), где П+[к] и Р + [к] заменены на П(°)+[к] и Р(°)+[к], П+[0]

= X++[°](^), а Z° = {Х°,р°} либо Z° = Х° х [0,р°]. Тогда при любых указанных в теореме 4.4 значениях параметров Р(^)+[-], д(^)(±)Н и Р +[0] € М"хга имеют место включения (4.3).

Замечание 4.1. Если Х°, ^[к] — параллелепипеды, У [к] — параллелепипеды или полосы, то все операции в рекуррентных формулах в теоремах 4.1-4.4 производятся по явным формулам из разд. 3.

Замечание 4.2. Политопы П+[к] из теорем 4.1-4.4 обладают "верхним" полугрупповым (1.19) и эволюционным (1.20) свойствами.

5. Примеры

Приведем примеры оценок МД X[N] для многошаговых систем (1.1)—(1.5), (1.12), (1.14), (1.16) специального вида (полученных дискретизацией систем с непрерывным временем), в которых

A[j ] = I + hN A, hN = tfN-1, B[j ] = B, v[j ] = 0.

Оценки P + [N] построены в соответствии со следствием 4.2 при P +[0] = P0 и нескольких других случайным образом выбранных матрицах P +[0]. Матрицы P

в г

Рис. 3. Внешние и внутренние оценки множеств достижимости X[Ж] и X[к] в примере 5.1.

B[k + 1]R[k + 1]) (считая при k = N, что A[k + 1] = I, B[k + 1] = 0)10. Для сравнения будут приведены также несколько внутренних для X [N] оценок P -[N], построенных в соответствии с теоремой 5.2 из [14], когда значения фигурирующих там параметров h[-], Л, Г(1)[-], Г(2)[-] взяты, как и в [14, пример 6.2], P(i)-[j] = P(0)-[j], а параметры pW-[j] ( Argmax {volP-Pj](Q)| v G Q}, где Q = P(i-1)-[j] П El[j], вычислены с помощью метода Нелдера — Мида с начальным приближением, найденным с использованием формул (3.19), (3.21) (i = 1,..., m[k]) из [14].

Пример 5.1. Пусть A

01

-8 0

; B

0 1

; po =

т.

д0 = 2; ] = М1 (т. е. г[?] = 0, ВД = 1, р[Я = 1); ф'] = 0; 5[?] = (0,1)т; ] = 1; в = 2; N = 200. На рис. 3, а, б показаны множество X] (штриховая линия) и семь внешних оценок Р + [Ж] для X[N] (светлые линии), построенных, как описано выше, соответственно при первом и втором способах минимизации по а*(±)[к]. Жирными линиями показаны несколько внутренних для X N] оценок Р]. На рис. 3, в показана динамика во времени внешних для X [к] оценок Р + [к], соответствующих Р +[0] = Р0 и первому способу

Некоторые другие опробованные критерии, например объем политопа [к] или объем параллелепипеда, лежащего в его "нижнем" основании, или сумма объемов "верхнего" и "нижнего" оснований, в описанных ниже примерах дали худшие результаты.

минимизации по а](±)[к], на рис. 3, г — одна из внутренних оценок для трубки X[•] (Р±[к] изображены через каждые два шага к).

Пример 5.2. Пусть А 0 1

0 0

; ф'] = 0.5; 5[?] = (1,0)т; ] = 0.5, а В,

Х° = Р(р°, Р°, п°), р°, в и N — такие же, как в примере 5.1. И пусть либо опять ] = Ш1 (случай 1), либо ] = [0, то), т.е. ] = 0.5, = 1, ] = 0.5 (случай 2). Указанным случаям соответствуют рис. 4, а, б, которые аналогичны 3, а и получены при первом способе минимизации по а] [к].

Сравнение рис. 3, а, б и 4, а, б с аналогичными рисунками, приведенными в [14], показывает, что построенные оценки оказываются меньше, чем оценки МД аналогичных систем без фазовых ограничений.

Автор выражает глубокую признательность академику А.Б. Куржанскому за внимание к работе, обсуждение результатов и замечания.

Список литературы

[1] Куржлнский А.Б. Управление и наблюдение в условиях неопределенности. М.: Наука, 1977.

[2] Kurzhanski A.B., VAlyi I. Ellipsoidal Calculus for Estimation and Control. Boston: Birkha-user, 1997.

[3] Кац И.Я., Куржлнский А.Б. Минимаксная многошаговая фильтрация в статистически неопределенных ситуациях // Автоматика и телемеханика. 1978. № 11. С. 79-87.

[4] Кощеев А.С., Куржлнский А.Б. Адаптивное оценивание эволюции многошаговых систем в условиях неопределенности // Изв. АН СССР. Техн. кибернетика. 1983. № 2. С. 72-93.

[5] ПАНАСЮК А.И., ПАНАСЮК В.И. Асимптотическая магистральная оптимизация управляемых систем. Минск: Наука и техника, 1986.

[6] Bushenkoy V., Chernykh O., Kameney G., Lotov A. Multi-dimensional images given by mappings: construction and visualization // Pattern Recognition and Image Analysis. 1995. Vol. 5, N 1. P. 35-56.

[7] Goncharova E.V., Baturin V.A., Sousa J.B., Pereira F.L. A reachable set estimation algorithm for impulsive control systems // Tools for Mathematical Modelling: Proc. of the The Fourth Intern. Conf., June 23-28, 2003, St.-Petersburg. St.-Petersburg: St.-Petersburg State Technical Univ., 2003. P. 213-219. (Mathematical Research, Vol. 9).

[8] Гусейнов Х.Г., Незнахин А.А., Ушаков В.Н. Приближенное построение множеств достижимости с интегральными ограничениями на управление // Прикл. математика и механика. 1999. Т. 63, вып. 4. С. 580-590.

[9] Revenko V.V., Sesekin A.N., Stephanova A.V. Attainability sets of dynamic systems with impulse control // Preprints of the Eleventh IFAC Intern. Workshop "Control Applications of Optimization", July 3-6, 2000, St.-Petersburg. St.-Petersburg: St.-Petersburg State Univ., 2000. Vol. 2. P. 172-176.

[10] Черноусько Ф.Л. Оценивание фазового состояния динамических систем. Метод эллипсоидов. М.: Наука, 1988.

[11] КостоусовА Е.К., КуржанскиЙ А.Б. Гарантированные оценки точности вычислений в задачах управления и оценивания // Вычисл. технологии. 1997. Т. 2, № 1. С. 19-27.

[12] Kostousova E.K. State estimation for dynamic systems via parallelotopes: optimization and parallel computations // Optimization Methods & Software. 1998. Vol. 9, N 4. P. 269-306.

[13] КостоусовА Е.К. Параллельные вычисления при оценивании областей достижимости и информационных множеств линейных систем // Алгоритмы и программные средства параллельных вычислений. Екатеринбург: УрО РАН, 1999. Вып. 3. С. 107-126.

[14] КостоусовА Е.К. О полиэдральных оценках множеств достижимости линейных многошаговых систем с интегральными ограничениями на управление // Вычисл. технологии. 2003. Т. 8, № 4. С. 55-74.

[15] Дарьин А.Н., КуржанскиЙ А.Б. Нелинейный синтез при двойных ограничениях // Диф-ференц. уравнения. 2001. Т. 37, № 11. С. 1476-1484.

[16] Калмыков С.А., Шокин Ю.И., Юлдашев З.Х. Методы интервального анализа. Новосибирск: Наука, 1986.

[17] Сиротин А.Н., ФормальскиЙ А.М. Области достижимости и управляемости линейных дискретных систем // Изв. РАН. Теория и системы управления. 2002. № 4. С. 5-16.

[18] Пшеничный Б.Н. Выпуклый анализ и экстремальные задачи. М.: Наука, 1980.

[19] Васильев Ф.П. Численные методы решения экстремальных задач. М.: Наука, 1980.

[20] Vicino A., Zappa G. Sequential approximation of feasible parameter sets for identification with set membership uncertainty // IEEE Trans. Automat. Contr. 1996. Vol. AC-41, N 6. P. 774-785.

Поступила в редакцию 22 марта 2004 г-> в переработанном виде — 29 июня 2004 г-