Внешние оценки множества достижимости нелинейных дискретных систем

Размещено на http://www.allbest.ru/

Внешние оценки множества достижимости нелинейных дискретных систем

Г.В. Сидоренко

Байкальский государственный университет, г. Иркутск, Российская Федерация

Аннотация

нелинейные дискретные системы множество достижимости

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

Ключевые слова

Нелинейные дискретные системы; множество достижимости; внешние оценки множества достижимости; квадратичные внешние оценки множества достижимости нелинейных дискретных систем; принцип расширения; системный анализ; принятие решений

Abstract

EXTERNAL ESTIMATORS OF THE REACHABILITY SET OF NONLINEAR DISCRETE SYSTEMS

Gennady V. Sidorenko

Baikal State University, Irkutsk, the Russian Federation

On the one hand, nonlinear discrete systems are natural generalization of linear discrete systems. On the other hand, various economic and, especially, technical systems have, basically, a nonlinear nature. Therefore, research of mathematical models of these systems is a relevant issue for implementing various procedures of systems analysis and decision making. Clusters of trajectories of the considered systems can be generated both by the parameters interpreted as control circuits, and by the parameters interpreted as perturbations. Quite general results of reachability sets estimation of nonlinear discrete systems, including a number of well-known achievements in this field as a consequence, are offered. As specification of these approaches, quadratic estimators of the reachability set of nonlinear discrete systems are received.

Keywords

Nonlinear discrete systems; a reachability set; an external estimator of a reachability set; quadratic external estimators of a reachability set of nonlinear discrete systems; principle of expansion; systems analysis; decision making

В динамической оптимизации типична постановка задачи управления для системы, состояние которой описывается при помощи дискретного процесса [1--10]. Более того, например, в экономике для многих задач планирования, организации и размещения производства этот подход является общепринятым [8-10]. Тоестьдинамикаобъекта описывается в виде дискретного включения

Вектор x('_i) є Rⁿхарактеризует состояние объекта в момент t.є T.Как правило, для системы (1) задаются начальные условия

x(t0)ЃёX0. (2)

Качество каждого процесса {x(t,)}, i= 0, k, удовлетворяющего включениям (1), (2), можно характеризовать при помощи функционала

Методы оптимизации функционала I, основанные на принципах оптимальности Беллмана -- Кротова, известны [5]. Однако заметим, в реальных системах как сама модель (1), так и функционал I являются объектами, определяемыми приближенно. Трудно построить совершенно точную модель, т.е. указать вид множества V(f,х), тем более не очевиден выбор критерия качества I, оптимизация которого определяет стратегию развития. Поэтому естественно иметь представление обо всех возможных состояниях системы (1), (2) в каждый момент tє Tи на основании этого судить об адекватности модели и выборе приемлемых критериев качества. Таким образом, встает вопрос о построении множества достижимости системы (1), (2), полностью определяющего динамику модели.

Формально, в силу дискретности включения (1), множество достижимости выписать можно:

Однако реально это построение трудноосуществимо. С ростом iпроцесс построения множеств X_D(t)всё более и более затруднителен. В силу этого естественно рассматривать некоторые аппроксимации множества достижимости. Они не дают точного представления X_D(t),но более конструктивны в смысле построения. Тогда и задачу оптимизации функционала I также следует рассматривать на аппроксимациях множества достижимости, что будет давать приближенное решение, более эффективно находимое. Более того, традиционно построение приближенных решений задачи оптимизации всегда сопровождается различными алгоритмами улучшения этого решения. В частности, данные алгоритмы могут быть нацелены как на глобальное уточнение аппроксимаций множества достижимости, так и на локальное, в окрестности некоторых точек.

В настоящей работе рассмотрим задачу построения аппроксимаций множества достижимости системы (1), (2). Определим соответствующие аппроксимации в виде внешних оценок множества достижимости, т.е. множеств Y(t.) з X_D(t,), i = 1, k.

1. Внешние оценки множества достижимости нелинейных дискретных систем

Рассмотрим управляемую дискретную систему, заданную включениями (1), (2). Не уменьшая общности дальнейших рассуждений, будем считать множества X₀, V(t, x), (t, x) є TxRⁿкомпактами. Пусть задано множество X, a R", обладающее свойством X. зХ_о(0, Vfє Г.

В частности, X* = Rⁿ.

Пусть p> 1 -- некоторое целое число. Зададим набор функций ф₁^і :TxRⁿ^ R\j = '\,p,и пусть функции hj: Т -->R', j = 1 ,р, Ь, =є R^p . Введем следующие обозначения:

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

Теорема 1. Пусть вектор-функция h₁(t), tє Tудовлетворяет соотношениям

Тогда для каждого і є Tмножество Y₁(t, h₁(t)) есть внешняя оценка множества достижимости системы (1), (2).

На самом деле. Пусть {x(t. )}, i = 0,k-- произвольная траектория системы (1), (2), '_;є T-- некоторый момент времени. Покажем, что x(t_s)є Y₁(t_s, h₁(t_s)). Решение начальной задачи (3), (4) в момент 'є Tможем записать в виде

Тогда вдоль траектории {x(f_;)}, i = 0,sимеем неравенства

Следовательно, x(f)G Y₁(f, h₁(f_s)).Таким образом, в силу произвольности траектории

(x(f_s)}, i = 0,k, X_D(f_t)tzY,(i,h(t_s)) Д™ ^любого f_sє T.

В качестве следствия из данной теоремы можно получить более простой, но менее общий результат, известный и ранее [4].

Следствие 1.1. Пусть

Тогда множество

есть внешняя оценка множества достижимости системы (1), (2) в момент f_sє T.

Действительно. Из определения функции ^l(f_jlh)следует неравенство //(/,) >Ј/(/,.,h) для всех (/, /?)<Е Т х Р". Рассмотрим рекуррентную цепочку

с начальным условием (4). Тогда из соотношения (3) следует, что /?(/) >*,(/), tє Ь Отсюда имеем включение V,(/,/т(/)) <Z_y,(/,/7(/)) , т.е. по теореме 1 множество Y₁(f,h(f))есть внешняя оценка множества достижимости системы (1), (2). Для произвольного f_sє Tимеем

Часто, особенно при решении задач оптимизации [5-7], дискретные системы рассматриваются в «обратном» времени:

где X. -- множество, определяемое параметрами или методом решения оптимизационной задачи, либо некоторая априори известная множества достижимости системы (1), (2), в частности из теоремы 1.

Построим для системы (5), (6) внешние оценки множества достижимости. Отметим, что если X_.определяется из решения оптимизационной задачи, то полученная оценка будет являться внешней оценкой графиков всех траекторий системы (1), (2), приводящих в множество X. и, вообще говоря, не будет внешней оценкой множества достижимости системы (1), (2). Поэтому будем обозначать множество достижимости системы (5), (6)

^чер^езX*_D^(f).

Зададим два набора дискретных функций:

.

Определим с их помощью следующие множество и функции:

Теорема 2. Пусть вектор-функция h₂(f), fє Tудовлетворяет соотношениям

Тогда множество Y₂(f,h₂(f)), fє Tесть внешняя оценка множества достижимости системы (5), (6).

Покажем это. Пусть {x(/.)}, i= k, k- 1, ..., 0 -- произвольная траектория системы (5),

(6) , f_sє T-- произвольный момент времени. Из соотношений (7), (8) следует

Тогда x(f_s) є Y₂(f, h₂(f_s)) и в силу произвольности траектории {x(/.)}, i= k, k - 1, ..., 0 имеем включение X_D(f_s) с Y₂(f_s, h₂(f_s)) для любого f_sЄT.

Формы внешних оценок множества достижимости (но не сами они) по теоремам 1 и 2 совпадают, когда функции (p^j(f,x), j = 1,p, задающие внешние оценки, отличаются знаком. Если функции (p[{t,x), } = 1 ,р определяют некоторую внешнюю оценку, подсчитанную с использованием теоремы 1, то функции (p'₂{tix) = -(p'(t,x), j ^{= <}\,pопределяютвнешнюю оценку множества достижимости, построенную на основе теоремы 2, точно такой же формы и наоборот. Совместное использование теорем 1 и 2 позволяет получить более точную оценку X_D(t)или уточнить уже имеющуюся.

Расшифруем теоремы 1 и 2 для конкоет- ных классов оценивающих функций (P'itx), / = 1,р. Из приведенных выше рассуждений видна однотипность идей, заключенных в теоремах 1 и 2. Поэтому все дальнейшие результаты получим на основе теоремы 1, отмечая в качестве замечания необходимые модификации для теоремы 2.

2. Квадратичные внешние оценки множества достижимости нелинейных дискретных систем

Конкретизируем приведенные выше теоремы для построения квадратичных оценок множества достижимости, в частности эллипсоидальных. В теоремах 1 и 2 функции, определяющие внешние оценки, -- произвольные. При построении оценок в заданном классе функций достаточно показать суть алгоритма на одном представителе этого класса, так как для других все отличается только индексом. Это упрощает изложение, но всегда нужно иметь в виду, что пересечение оценок заданного класса дает, как правило, оценку, не лежащую в этом классе. Таким образом, выберем одну квадратичную форму ф(/, х) = = ю'о(1)ю и с ее помощью определим квадратичные оценки множества достижимости.

Определенности ради определим сразу эллипсоидальные оценки множества достижимости как наиболее отражающие суть дела, когда множество достижимости ограничено. В случае произвольных квадратичных оценок методология и рассуждения сохраняются. Зададим набору {( )}, = 0, it i kсимметричных положительно определенных c(t.) > 0 квадратных матриц порядка n. Из положительной определенности матриц c(t.), Vt. є Tследует, что получаемые оценки множества достижимости будут эллипсоидами.

Обозначим через

Следствие 1.2. Пусть функция y(t), tє Tудовлетворяет следующим соотношениям:

Тогда множество

есть внешняя эллипсоидальная оценка множества достижимости системы (1), (2) в момент tє T.s

Убедимся в этом. Очевидно, для каждого ює Bⁿ,удовлетворяющего неравенству ю'о(/.)ю<y(t.), справедливо включение

Оценим сверху скалярную функцию

Так как o(t.) > 0 -- положительно определенная матрица, то второе слагаемое в правой части данного неравенства равно нулю.

Используя включение V(t., ю) н E(t.), оценку для ^(t. ,y(t_i)) можно усилить:

Тогда по теореме 1 функцию y(t), tє T, найдем как решение рекуррентной цепочки

с начальным условием

Отсюда следует, что множество Y₁(t, y(t))= {ює Bⁿ :юО(1)ю <y(t)} есть внешняя, а в силу положительной определенности матрицы o(t) > 0 -- эллипсоидальная оценка множества достижимости системы (1), (2) в момент іє T.

Аналогичным образом, используя теорему 2, можно определить внешние эллипсоидальные оценки для системы (5), (6).

Пусть {сг(f.)}, / = 0,/с -- набор симметричных отрицательно определенных квадратных матриц порядка n, у(t.), / = 0,k-- некоторая скалярная дискретно заданная функция. Обозначим

Следствие 2.1. Пусть функция y(tj), . = 0,kудовлетворяет соотношениям

Тогда множество

есть внешняя эллипсоидальная оценка множества достижимости системы(5), (6) в момент / є Т.

3. Пример. Построим, используя следствие 2.1, внешнюю эллипсоидальную оценку множества достижимости следующей системы:

Множество достижимости X_D(t), tЄ T имеет вид

Коэффициенты N.. имеют следующий вид:

Очевидна нарастающая громоздкость и сложность вычисления множества достижимости. Поэтому, отказываясь сразу от точного описания, построим аппроксимации множества достижимости в виде внешних эллипсоидальных оценок.

Оценочные эллипсоиды будем выбирать в виде кругов, т.е. положим: a(/_Q) = а(/,) = = a(t₂) = a(t₃) = E, где E -- единичная матрица.

есть значение задачи математического программирования:

При / = 0 параметр y(0) = max {x ² + + x₂²: x² + x²< 1} = 1. Тогда, разрешая соотношения, определяющие у(/.), получим: у(/,) « « 3,618, у(/₂) « 13,09, у(/₃)'« 47,36. Отсюда следует, что внешние эллипсоидальные оценки множества достижимости, в данном случае в виде кругов, рассматриваемой системы имеют вид

Вычисления, которые потребовались для определения внешних оценок, несравнимо более простые, чем построение тех объединений эллипсоидов, что присутствуют в определении самих множеств достижимости.

Список использованной литературы

нелинейные дискретные системы множество достижимости

1. Сидоренко Г.В. Квадратичные оценки состояния в линейных дискретных системах управления / Г.В. Сидоренко // Известия Байкальского государственного университета. -- 2017. -- Т. 27, № 2. -- С. 281-285. -- DOI: 10.17150/2500-2759.2017.27(2).281-285.

2. Сидоренко Г.В. Оценка возможностей управляемых систем в дискретных моделях леонтьевского типа / Г.В. Сидоренко // Актуальные тенденции развития мировой экономики : материалы междунар. науч.-практ. конф., 15-16 марта 2016 г. : в 2 ч. -- Иркутск, 2016. -- Ч. 2. -- С. 132-138.

3. Константинов Г.Н. Внешние оценки множеств достижимости управляемых систем / Г.Н. Константинов, Г.В. Сидоренко // Известия Академии наук СССР. Техническая кибернетика. -- 1986. -- № 3. -- С. 28-34.

4. Константинов Г.Н. Нормирование воздействий на динамические системы / Г.Н. Константинов. -- Иркутск : Изд-во Иркут. ун-та, 1983. -- 188 с.

5. Гурман В.И. Принцип расширения в задачах управления / В.И. Гурман. -- М. : Наука, 1997. -- 288 с.

6. Пропой А.И. Элементы теории оптимальных дискретных процессов / А.И. Пропой. -- М. : Наука, 1973. -- 256 с.

7. Болтянский В.Г. Оптимальное управление дискретными системами / В.Г. Болтянский. -- М. : Наука, 1973. -- 448 с.

8. Рубинов А.М. Математические модели расширенного воспроизводства / А.М. Рубинов. -- Л. : Наука, 1983. -- 187 с.

9. Макаров В.Л. Математическая теория экономической динамики и равновесия / В.Л. Макаров, А.М. Рубинов. -- М. : Наука, 1973. -- 336 с.

10. Красс И.А. Математические модели экономической динамики / И.А. Красс. -- М. : Сов. радио, 1976. -- 280 с.

REFERENCES

1. Sidorenko G.V. Square-law Assessments of a State in Linear Discrete Control Systems. IzvestiyaBaykal'sko- go gosudarstvennogouniversiteta = Bulletin of Baikal State University, 2017, vol. 27, no. 2, pp. 281-285. DOI: 10.17150/2500-2759.2017.27(2).281-285. (In Russian).

2. Sidorenko G.V. Rating of opportunies of controlled systems in discrete models such as Leontief. Aktual'nyetendentsiirazvitiyamirovoiekonomiki. Materialymezhdunarodnoinauchno-prakticheskoikonferentsii [Current Trends in the Development of World Economy. Materials of International Research Conference]. Irkutsk, Baikal State University Publ., 2016, vol. 2, pp. 132-138. (In Russian).

3. Konstantinov G.N., Sidorenko G.V. External Assessments of Attainabily Sets of Controlled Systems. IzvestiyaAkademiinauk SSSR. Tekhnicheskayakibernetika = Herald of the USSR Academy of Sciences. Engineering Cybernetics, 1986, no. 3, pp. 28-34. (In Russian).

4. Konstantinov G.N. Normirovanievozdeistviinadinamicheskiesistemy [Normalization of Effects on Dynamic Systems]. Irkutsk State University Publ., 1983. 188 p.

5. Gurman V.I. Printsiprasshireniya v zadachakhupravleniya [Extension Principle in Management Tasks]. Moscow, Nauka Publ., 1997. 288 p.

6. Propoi A.I. Elementyteoriioptimal'nykhdiskretnykhprotsessov [Elements of the theory of optimal discrete processes]. Moscow, Nauka Publ., 1973. 256 p.

7. Boltyansky V.G. Optimal'noeupravleniediskretnymisistemami [Discreet Systems Optimum Control]. Moscow, Nauka Publ., 1973. 446 p.

8. Rubinov A.M. Matematicheskiemodelirasshirennogovosproizvodstva [Mathematical Models of the Expanded Reproduction Models]. Leningrad, Nauka Publ., 1983. 187 p.

9. Makarov V.L., Rubinov A.M. Matematicheskayateoriyaekonomicheskoidinamikiiravnovesiya [Mathematical Theory of the Economic Dynamics and Equilibrium]. Moscow, Nauka Publ., 1973. 336 p.

10. Krass I.A. Matematicheskiemodeliekonomicheskoidinamiki [Mathematical Models of Economic Dynamics]. Moscow, Sovetskoye Radio Publ., 1976. 280 p.

Размещено на Allbest.ru