Научная статья на тему 'Метод синтеза локально допустимых ограниченных управлений для стабилизации программных движений динамических объектов'

Метод синтеза локально допустимых ограниченных управлений для стабилизации программных движений динамических объектов Текст научной статьи по специальности «Математика»

CC BY
10
0
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
динамические системы / проекционные операторы / оптимизация / стабилизация программных движений / нелинейный разностный оператор / локально допустимые управления / ограничения на фазовые координаты и управления / синхронный генератор / математическая модель / SimInTech / dynamical systems / projection operators / optimization / stabilization of program motions / nonlinear difference operator / locally admissible controls / restrictions on phase coordinates and controls / synchronous generator / mathematical model / SimInTech

Аннотация научной статьи по математике, автор научной работы — Ефремов Артем Александрович, Козлов Владимир Николаевич

Введение: синтез систем стабилизации программных движений объектов является актуальной задачей теории управления. Проекционно-операторные методы математического программирования служат адекватными методами синтеза управлений для указанного класса задач. Цель: развитие методов синтеза локально допустимых управлений для стабилизации программных движений нелинейных динамических объектов при ограничениях на фазовые координаты и управления. Результаты: предложен проекционный оператор управления для систем стабилизации программных движений или положений равновесия, использующий граничные значения пары множителей Лагранжа для ограничения типа неравенства и счетного числа задач конечномерного математического программирования. Для нелинейных локально управляемых разностных операторов объекта синтезированы допустимые управления, стабилизирующие программные движения при ограничениях на фазовые координаты и управления. В результате получен оператор динамической системы с проекционно-операторной обратной связью для задач стабилизации программных движений с ограничениями на векторы фазовых координат и управлений. В качестве динамического объекта для вычислительного эксперимента с синтезированным оператором использована математическая модель синхронного генератора, состоящая из системы билинейных дифференциальных уравнений с параметрами, соответствующими уравнениям в форме В. А.Веникова. Вычислительный эксперимент подтвердил теоретические обобщения, полученные в работе. Практическая значимость: развиваемые методы обобщают формулировки задач синтеза управлений для стабилизации программных движений или положений равновесия нелинейных систем управления с ограничениями на фазовые координаты и управления. Развитие проекционно-операторного метода конечномерной оптимизации имеет важное практическое значение для синтеза управлений сложными динамическими системами, включая управление совместной динамикой электромеханических и электромагнитных процессов в крупных энергетических объединениях типа Единой электроэнергетической системы Российской Федерации.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Method of synthesis of locally permissible limited controls for the stabilization of program motions of dynamic objects

Introduction: The synthesis of systems for the stabilization of program motions of objects is an urgent task of control theory. Projection operator methods of mathematical programming are adequate methods of control synthesis for this class of problems. Purpose: To develop methods of synthesis of locally admissible controls for the stabilization of program motions of nonlinear dynamic objects under restrictions on the phase coordinates and controls. Results: We propose a projection control operator for stabilization systems of program motions or equilibrium positions is proposed, using the boundary values of a pair of Lagrange multipliers to limit the type of inequality, a countable number of finite-dimensional mathematical programming problems. We synthesize admissible controls for nonlinear locally controlled difference operators, that stabilize program motions under restrictions on phase coordinates and controls. As a result, we have obtained an operator of a dynamical system with projection operator feedback for the tasks of stabilization of program motions with restrictions on the vectors of phase coordinates and controls. We use a mathematical model of a synchronous generator as a dynamic object, for a computational experiment with a synthesized operator. The mathematical model consists of a system of bilinear differential equations with parameters corresponding to the equations in the form elaborated by V. A. Venikov. The computational experiment confirmed the theoretical generalizations obtained in the work. Practical relevance: The developed methods generalize the formulations of control synthesis problems for stabilizing program motions or equilibrium positions of nonlinear control systems with restrictions on phase coordinates and controls. The development of the projection operator method of finite-dimensional optimization is of great practical importance for the synthesis of controls for complex dynamic systems, including the control of the joint dynamics of electromechanical and electromagnetic processes in large energy associations such as the Unified Electric Power System of the Russian Federation.

Текст научной работы на тему «Метод синтеза локально допустимых ограниченных управлений для стабилизации программных движений динамических объектов»

X СИСТЕМНЫЙ АНАЛИЗ

удк 681.51 Научные статьи

doi:1 0.31799/1684-8853-2023-4-47-55 Articles

EDN: DYULZH

Метод синтеза локально допустимых ограниченных управлений для стабилизации программных движений динамических объектов

A. А. Ефремова, канд. физ.-мат. наук, доцент, orcid.org/0000-0002-0224-2412

B. Н. Козлова, доктор техн. наук, профессор, orcid.org/0000-0003-1552-8097, kozlov_vn@spbstu.ru аСанкт-Петербургский политехнический университет Петра Великого, Политехническая ул., 29, Санкт-Петербург, 195251, РФ

Введение: синтез систем стабилизации программных движений объектов является актуальной задачей теории управления. Проекционно-операторные методы математического программирования служат адекватными методами синтеза управлений для указанного класса задач. Цель: развитие методов синтеза локально допустимых управлений для стабилизации программных движений нелинейных динамических объектов при ограничениях на фазовые координаты и управления. Результаты: предложен проекционный оператор управления для систем стабилизации программных движений или положений равновесия, использующий граничные значения пары множителей Лагранжа для ограничения типа неравенства и счетного числа задач конечномерного математического программирования. Для нелинейных локально управляемых разностных операторов объекта синтезированы допустимые управления, стабилизирующие программные движения при ограничениях на фазовые координаты и управления. В результате получен оператор динамической системы с проекционно-операторной обратной связью для задач стабилизации программных движений с ограничениями на векторы фазовых координат и управлений. В качестве динамического объекта для вычислительного эксперимента с синтезированным оператором использована математическая модель синхронного генератора, состоящая из системы билинейных дифференциальных уравнений с параметрами, соответствующими уравнениям в форме В. А. Веникова. Вычислительный эксперимент подтвердил теоретические обобщения, полученные в работе. Практическая значимость: развиваемые методы обобщают формулировки задач синтеза управлений для стабилизации программных движений или положений равновесия нелинейных систем управления с ограничениями на фазовые координаты и управления. Развитие проекционно-операторного метода конечномерной оптимизации имеет важное практическое значение для синтеза управлений сложными динамическими системами, включая управление совместной динамикой электромеханических и электромагнитных процессов в крупных энергетических объединениях типа Единой электроэнергетической системы Российской Федерации.

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

Для цитирования: Ефремов А. А., Козлов В. Н. Метод синтеза локально допустимых ограниченных управлений для стабилизации программных движений динамических объектов. Информационно-управляющие системы, 2023, № 4, с. 47-55. doi:10.31799/1684-8853-2023-4-47-55, EDN: DYULZH

For citation: Efremov A. A., Kozlov V. N. Method of synthesis of locally permissible limited controls for the stabilization of program motions of dynamic objects. Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2023, no. 4, pp. 47-55 (In Russian). doi:10.31799/1684-8853-2023-4-47-55, EDN: DYULZH

Введение

Методы стабилизации заданных программных движений динамических объектов определяют решения важных задач современной теории управления [1-3]. Для их решения широко используются барьерные функции Ляпунова [4-6], методы обратных задач динамики [7], операторные методы математического программирования [8, 9] и др. [10-12].

Операторные методы математического программирования представляются перспективными для синтеза ограниченных управлений и координат. Проекционные операторные методы позволяют обобщить формулировки задач син-

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

Проекционные операторы, определенные в конечномерных или функциональных пространствах, отображают параметры и модели объектов управления, а также функционалы качества в оптимальные управления с обратной связью. Основу структуры операторов составляют проекторы на линейные многообразия и ортогональные дополнения к ним в конечномерных и бесконечномерных пространствах [13].

СИСТЕМНЫМ АНАЛИЗ

Операторы допустимых решений

для систем стабилизации программных

движений

Указанный класс проекционных операторов оптимизации разработан для задач конечномерного математического программирования, соответствующих целям стабилизации программных движений, имеет вид: вычислить вектор [13]

х* = ащшт

\ = х

т|ф(х) (х - С)Т (х - С)< г2 }

Ах = Ь, А е Ктхп, Кп,

(1)

где С е Кп — программный вектор для стабилизируемых допустимых фазовых координат.

В работе [13] на основе принципа оптимальности, следующего из лагранжевых (граничных) элементов, получено решение задачи конечномерной оптимизации в виде оператора

х = Р+Ь + Х(1 + Х) 1Р0 С,

(2)

где Р0 = Еп - АТ(ААТ)-1А — ортогональный проектор на линейное многообразие Ах = Ь; Р+ = = АТ(ААТ)-1 — проектор на ортогональное дополнение к линейному многообразию. В равенстве (2) скалярный параметр X является множителем Лагранжа для ограничения типа неравенства в задаче (1). В лемме 1 приведен аналитический вывод квадратного уравнения, определяющего пару множителей Лагранжа X.

Лемма 1. Множители Лагранжа X для ограничения-неравенства в операторе (2) определяются решением квадратного уравнения

аХ2 + ЬХ + с = 0, (3)

где коэффициенты определены равенствами

а = ЬТ (Р+)Т Р+ Ь - ЬТ (Р +)Т С -

- СТР+Ь + СТС - СТР0 С - г2, Ь = 2а, с = а + g, g = СТР0С.

Доказательство: Функция Лагранжа для задачи (1) имеет вид

Ь = \ |х||2 +хТ(Ах - Ь)+Х^(х - С)Т (х - С)- г2). (4)

Необходимые условия для функции (4) имеют вид приравненных к нулю производных функции Лагранжа по всем аргументам:

Ь'х= 2 х + АТ Х0 + 2 Х(х - С) = 0 п;

(5)

Ц = Ах - Ь = 0т;

Ад т'

Цх=(х - С)Т (х - С)-г2 = 0.

(6) (7)

Для вычисления множителя Лагранжа X выполнена подстановка равенства (2) в условие Лагранжа (7). После преобразований указанного условия можно получить квадратное уравнение

Т

(Р+Ь + Х(1 + Х)"1 Р°С-С) X х(р+Ь + Х(1 + Х)"1 Р0 С - с)-г2 = 0. (8)

Умножив (8) на (1 + X)2 и выполнив поэлементное умножение, можно получить равенство

ЬТ (Р+ )Т Р+Ь + 2ХЬТ (Р+ )Т Р+Ь +

+ Х-

!ЬТ (р+ )Т Р+Ь - ЬТ (Р+ )Т С - 2ХЬТ (Р+ )Т С -

-Х-

!ЬТ (Р+)Т

С + Х2СТР°С -ХСТР0С -

- Х2СТР°С - СТР+Ь - 2ХСТР+Ь - Х2СТР+Ь -- ХСТР0С - Х2СТР°С + СТС + 2ХСТС + Х2СТС -

-г2 - 2Хг2 -Х2г2 = 0.

(9)

Преобразование (9) определяет квадратное уравнение

X2 [ЬТ (Р+ )Т Р+Ь - ЬТ (Р+ )Т С - СТР+Ь + + СТС - СТР0С -г2) + 1 ^ 2ЬТ (Р+ )Т Р+Ь -- 2ЬТ (Р+ )Т С - 2СТР+Ь + 2СТС - 2СТР0С - 2г2 2 +

+ (ЬТ(Р+)ТР+Ь-ЬТ(р+)Тс -

-СТР+ Ь + СТС-г2) = 0. (10)

Выполнив замену переменных, можно получить значения коэффициентов

а = ЬТ (Р+ )Т Р+Ь - ЬТ (Р+ )Т С - СТР+Ь +

+ СТ С - СТР0 С - г2, Ь = 2а, с = а + g, g = СТР0С.

С учетом полученных коэффициентов уравнение (10) принимает вид

аХ2 + ЬХ + с = 0.

Лемма доказана.

Решение квадратного уравнения определяет пару множителей Лагранжа для ограничения типа неравенства г = 1, 2, которые в силу утверждения теоремы Куна — Таккера являются положительными (^ > 0) для задачи максимизации и отрицательными (^ < 0) для задачи минимизации:

х12 =^-Ь +7Ь2 -4ас^у2а = (-1 ).

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

Метод синтеза локально допустимых управлений для динамической системы с ограничениями на фазовые координаты и управления

Метод синтеза указанных управлений для задачи стабилизации единственного стационарного положения равновесия или допустимого программного движения С = С^, к е N определен для объекта, заданного разностным оператором с ограничениями на фазовые координаты и управления.

В результате задача синтеза управлений имеет вид: вычислить обобщенный вектор фазовых координат и управлений как вектор «состояний-управлений»

„* А /„ I ,, \Т ^ т»п+т 2 к - (х к+1\ и к > 6 К

для гарантированной стабилизации программного движения объекта, заданного вектор-функцией дискретного времени Ск. При этом предполагается, что для линейного объекта выполнено ранговое условие управляемости по Р. Калману

гащ8 = га^ Е^Е^Е •••! Нп _1Е

гп-Ь

= (Иш К"

Для нелинейного разностного объекта, локально управляемого по Н. Н. Петрову, требуется существование такой окрестности начала координат в пространстве Кп, из каждой точки которой можно перевести объект в положение х = 0 с помощью измеримого управления за конечное время [14-17].

Пусть нелинейный стационарный локально управляемый объект определен разностным оператором

х к+1 = Н (х к )х к + Еи к;

У к = с ух к > х к, = х0 6 °> (11)

где Б е Кп — область притяжения как множество начальных состояний, из которых система возвращается в положение равновесия. Векторы и матрицы оператора (11) имеют вид х^ е Кп, хк е Б с Кп, Ук е К7', ик е Кт, Е е Кпхт, с е К/хп; Н(хк) е Кпхп — матричный билинейный оператор размера (п х п), Н(0) Ф 0.

С учетом оператора (11) линейное многообразие для задачи конечномерной операторной оптимизации запишется в виде

А2к =[Е| - Е]:

= Н (х к )х к = Ьк, (12)

х к+1 _ и к _

где матрица линейного многообразия в (1) с учетом оператора объекта примет вид

ъпх(п+т)

А =[Е |- Е ]е Кп

вектор «состояний-управлений» определен равенством

Г I 1Т -а(п+т) 2к =\х к+1 |и к \ 6 К '>

вектор правой части линейного многообразия

Ьк = Н(хк)хк е Кп.

Таким образом, представление разностного оператора объекта в виде линейного многообразия (12) позволяет синтезировать локально допустимые управления путем сведения задачи вычисления управлений к счетному числу задач проекционной операторной оптимизации.

СИСТЕМНЫМ АНАЛИЗ

Задача вычисления локально допустимых управлений для дискретного объекта задана конечномерной задачей операторной оптимизации, что позволяет вычислить счетное число векторов «состояний-управлений» с обратной связью. В силу сказанного структура оператора допустимых управлений определена проекционным оператором конечномерной оптимизации (2). С учетом (12) задача конечномерного математического программирования (1) преобразуется к задаче вида: вычислить «обобщенный» вектор «состояний-управлений»

2 =

Х k+1 *

. u й .

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Х k+1 . u k

= ащтт{Ф(г) = f |Аг=[E|-F]

= bk, |>k - Ck]Тх Ы - Ck]< г2} е Rm+n, к е N.

= н (Х й )Х й =

(13)

В результате из (13) определяется счетное множество решений задач математического программирования

* г * I * "I ■

2 й =Lx Iй й \

кп

к е N.

(14)

которое определяет векторы «состояний-управлений»

21г = 21г (х 1г. СТ1. ст2 . 0)

как образы выпуклой линейной комбинации двух «граничных операторов»

2й ^, , ст2, = (а1 ) + (1 -0)2k (а2), 6е[0; 1]с К, 2*г (стг ) = РХ + ст;Р0С (15)

с «параметром допустимости» 6 е [0; 1] и значениями коэффициентов

«й = ьТ (Р+)Т с -ьТ (Р+)Т Р+Ч + СТР+Ъй + СТР0С- СТС + г2, в = СТР0С, СТ1 = 1 = 1 +

Векторы 2й = 2й (хй, ,а 2,б) проекционного оператора (15) включают «фильтруемые» с помощью матриц

Ти °тхп | Етхт ]' Тх Епхп \ 0пхт ]

векторы управлений ик и векторы прогнозов координат хй+1, которые являются решениями счетного числа задач математического программирования (13), (14).

В результате из соотношений (11)-(15) следует оператор динамической системы с проекционно-опе-раторной обратной связью для задач стабилизации программных движений с ограничениями на векторы фазовых координат и управлений

Хй+1 = Н (Хй )Хй + 2к (Хй> СТ1 > ст2 > 0)> 2й (Хй, , ,0) = [е (р+ьй + СТ1Р0 с) + (1 - е) (р+ьй + а2Р0 с)], 9 е [0; 1 ] с К, (16)

где у е К — параметр проекционно-операторной обратной связи; Ст1 = 1 -л/а/в; в2 = 1 + ^а/§■

Вычислительный эксперимент

Далее приведены результаты вычислительного эксперимента на основе синтезированного оператора динамической системы с ограничениями на фазовые координаты и управления (16).

В качестве примера динамического объекта использована математическая модель синхронного генератора, состоящая из системы билинейных дифференциальных уравнений с параметрами, соответствующими уравнениям в форме В. А. Веникова [18] в фазовом пространстве координат:

— для электромагнитных процессов как подсистемы уравнений объекта на основе дифференциальных уравнений Горева — Парка;

— для электромеханических процессов как подсистемы уравнения моментов.

При вычислении относительных значений функциональной и числовой матриц нелинейного локально управляемого динамического объекта использованы технические параметры синхронного турбогенератора ТВВ-500-2 [19].

Используя результаты, полученные в [20], векторно-матричную модель синхронного генератора в форме Коши представим в виде

" -3,59 10,58ю -0,08 -1,03 -4,13ю 0 0 Ч

-6,78ю -2,3 2,65ю 2,65ю -2,44 0 0 1д

* -1,39 4,09ю -1,58 3,61 -1,6ю 0 0 *

= -6,93 20,44ю 1,38 -6,25 -7,98ю 0 0 X 1Гй

-14,79ю -5,01 5,78ю 5,78ю -6,25 0 0 1

г ьгд

ю' 128*д "128^ "50*д 5°га -5 0 Ю

ф'_ 0 0 0 0 0 1 0 _ Ф _

-4,132 0 0,079 0 0 0 0" иа

0 -2,647 0 0 0 0 0 ид

-1,596 0 1,582 0 0 0 0 и*

+ -7,982 0 -1,38 0 0 0 0 X 0

0 -5,777 0 0 0 0 0 0

0 0 0 0 0 50 0 м тх

0 0 0 0 0 0 0_ 0

(17)

При проведении вычислительного эксперимента параметр 6 = 0,5009, г = 1, а параметр проекционно-опе-раторной обратной связи у = -0,015. Обобщенный вектор стабилизируемых допустимых программных движений и управлений, задающий ограничения на фазовые координаты и управления, определен равенством

Ск = [0 0 0 0 0 1,001 0 | 0 0 0 0 0 0,03 0]Т е к14

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

В качестве инструментальной платформы для исследования динамической системы (16) и вектор-но-матричной модели синхронного генератора (17) использована среда динамического моделирования технических систем В1ш1пТесЬ от российского разработчика «3В Сервис» [22].

С учетом структуры линейного многообразия (12) и векторно-матричной модели синхронного турбогенератора ТВВ-500-2 (17) вычисленный проектор на линейное многообразие имеет следующий вид:

Ри

0,25 0 0,26 0,33 0 0 0 -0,06 0 0,1 0 0 0 0

0 0,17 0 0 0,37 0 0 0 -0,06 0 0 0 0 0

0,26 0 0,68 -0,08 0 0 0 -0,06 0 0,38 0 0 0 0

0,33 0 -0,08 0,84 0 0 0 -0,08 0 -0,13 0 0 0 0

0 0,37 0 0 0,81 0 0 0 -0,14 0 0 0 0 0

0 0 0 0 0 1 0 0 0 0 0 0 0,02 0

0 0 0 0 0 0 0 0 0 0 0 0 0 0

-0,06 0 -0,06 -0,08 0 0 0 0,014 0 -0,02 0 0 0 0

0 -0,06 0 0 -0,14 0 0 0 0,02 0 0 0 0 0

0,1 0 0,38 -0,13 0 0 0 -0,02 0 0,2 0 0 0 0

0 0 0 0 0 0 0 0 0 0 1 0 0 0

0 0 0 0 0 0 0 0 0 0 0 1 0 0

0 0 0 0 0 0,02 0 0 0 0 0 0 0,0004 0

0 0 0 0 0 0 0 0 0 0 0 0 0 1

СИСТЕМНЫМ АНАЛИЗ

Проектор на ортогональное дополнение к линейному многообразию определен равенством

P+

0,75 0 -0,26 -0,33 0 0 0

0 0,83 0 0 -0,37 0 0

-0,26 0 0,32 0,08 0 0 0

-0,33 0 0,08 0,16 0 0 0

0 -0,37 0 0 0,19 0 0

0 0 0 0 0 0,001 0

0 0 0 0 0 0 1

0,06 0 0,06 0,08 0 0 0

0 0,06 0 0 0,14 0 0

-0,1 0 -0,38 0,13 0 0 0

0 0 0 0 0 0 0

0 0 0 0 0 0 0

0 0 0 0 0 -0,02 0

0 0 0 0 0 0 0

График изменения мощности в относительных единицах для синхронного генератора иллюстрирует кусочно-линейный характер с постоянными интервалами (рис. 1).

С учетом изменения мощности и заданных ограничений на фазовые координаты и управление динамика множителя Лагранжа для ограничений типа неравенства для системы (20) иллюстрируется на рис. 2.

Локально допустимые управления и^ и Мтх, определенные оператором (16) с ограничением, заданным вектором допустимых программных движений Ск, имеют вид, представленный на рис. 3.

Изменения ограниченных фазовых координат динамической системы (16) с «графиком нагрузки» (см. рис. 1) показаны на рис. 4 и 5.

Из рис. 5 видно, что значение частоты ю, с учетом изменения мощности, соответствует допустимому вектору программных движений Ск и не превышает заданных ограничений 1,001.

I

н о

сС

О 10 20 30 40 50 60 70 80 90

t, с

Рис. 1. Изменение мощности синхронного генератора Fig. 1. Change in the power of a synchronous generator

0,45 0,35 0,25 0,15 0,05 -0,05 -2 -2,1 ^ -2,2 -2,3 -2,4 -2,5

20 30 40 50 60 70

t, с

80 90 100

Рис. 2. Динамика пары множителей Лагранжа X е R Fig. 2. Dynamics of a pair of Lagrange multipliers Xe R

0 10 20 30 40 50 60 70 80 90 100

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

t, с

■ Рис. 3. Синтезированные ограниченные управляющие воздействия синхронного генератора (16)

■ Fig. 3. Synthesized limited control actions of a synchronous generator (16)

0,05 3 0 -0,05

0,05 0

-0,05

0,2 0 -0,2

3 0,1 0 -0,1 0,1 0 -0,1

^111 111 111 MlifliWii

0 10 20 30

40 50

t, с

60 70 80 90 100

■ Рис. 4. Динамика токов синхронного генератора

■ Fig. 4. The dynamics of the currents of the synchronous generator

0,9999

100

40 50

t, с

■ Рис. 5. Динамика допустимого ограниченного изменения «частоты» ю синхронного генератора, заданного вектором программных движений CA

■ Fig. 5. Dynamics of the permissible limited change in the "frequency" ю of the synchronous generator, given by the vector of program movements Ck

Литература /

1. Vorob'ev E. I., Mikheev A. V., Morgunenko K. O.

Construction of program motions of relative manipulation mechanisms with three degrees of freedom. Journal of Machinery Manufacture and Reliability, 2019, no. 6, pp. 510-516. doi:10.3103/S1052618 819060104

2. Мещанов А. С., Бикмурзин A. M. Стабилизация программной посадки летательных аппаратов без шасси на подвижную платформу в атмосфере при неопределенных возмещения. Ч. 1. Вестник технологического университета, 2020, т. 23, № 12, с. 109-117.

3. Alekseev A., Stukonog S. An algorithm for constructing an optimal ship's path with elements of the ship's program motion systems on the course. Transp. Bus. Russ., 2022, № 2, pp. 217-221. doi:10.52375/20 72 8689_2022_2_217/issn2072-8689

4. Голубев A. E. Стабилизация программных движений механических систем с учетом ограничений. Известия Российской академии наук. Теория и системы управления, 2023, № 4, с. 153-167. doi:10. 31857/S0002338823040054

5. Sachan K., Padhi R. Lyapunov function based output-constrained control of nonlinear Euler-Lagrange systems. 15th Intern. Conf. on Control, Automation, Robotics and Vision (ICARCV), IEEE, Singapore, November 18-21, 2018, 2018, pp. 686-691. doi:10.1109/ ICARCV.2018.8581068

6. Wang X., Xu J., Lv M., Zhang L., Zhao Z. Barrier Lyapunov function-based fixed-time FTC for high-order nonlinear systems with predefined tracking accuracy. Nonlinear Dyn., 2022, vol. 110, no. 1, pp. 381-394. doi:10.1007/s11071-022-07627-9/issn0924-090X

Заключение

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

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

7. Голубев А. Е. Построение программных движений механических систем с учетом ограничений при помощи многочленов третьего порядка. Известия Российской академии наук. Теория и системы управления, 2021, № 2, с. 126-137. doi:10.31857/ S0002338820060049/issn0002-3388

8. Kozlov V. N., Efremov A. A. Operators of bounded locally optimal controls for dynamic systems. Lect. Notes Networks Syst. Springer, 2020, vol. 95, pp. 140145. doi:10.1007/978-3-030-34983-7_14

9. Kozlov V. N., Efremov A. A. Projection-operator optimization of controls of dynamic objects. J. Phys. Conf., Ser. IOP Publishing Ltd, 2021, vol. 1864, no. 1, pp. 140-145. doi:10.1088/1742-6596/1864/1/0120 76/ issn17426596

10. Александров О. В., Козик А. А. Минимаксная оптимизация параметров стабилизации программного полета. Вестник Московского университета. Сер. 1. Математика. Механика, 2019, т. 3, с. 45-49.

11. Andreev A. S., Kolegova L. V. PID controllers with delay in a problem of stabilization of robotic manipulators' desired motions. Zhurnal Sredn. Mat. Obs., 2022, vol. 34, no. 3, pp. 267-279. doi:10.15507/2079-6900.24.202203.267-279/issn20796900

12. Котина E. Д., Овсянников Д. А. Математическая модель совместной оптимизации программного и возмущенных движений в дискретных системах. Вестник Санкт-Петербургского университета. Прикладная математика. Информатика. Процессы управления, 2021, т. 17, № 2, с. 213-224. doi:10.21638/11701/spbu10.2021.210

13. Козлов В. Н. Проекционный метод синтеза ограниченных оптимальных управлений динамических систем энергетики. СПб., Изд-во Политехи. ун-та, 2019. 161 с. doi:10.18720/SPBPU/2/i19-277

14. Kalman R. E. Discussion: "On the Existence of Optimal Controls" (Markus L., and Lee E. B. ASME J. Basic Eng., 1962, 84, pp. 13-20). J. Fluids Eng., 1962, vol. 84. https://asmedigitalcollection.asme.org/fluid-sengineering/article/84/1/21/424598/Discussion-On-the-Existence-of-Optimal-Controls (дата обращения: 30.05.2023).

20. Козлов В. Н., Рябов Г. А., Ефремов А. А., Трось-

ко И. У. Структурно-инвариантные уравнения энергообъединений для синтеза систем ограничения перетоков и регулирования напряжения. XIX Междунар. науч.-практ. конф. «Системный анализ в проектировании и управлении», Санкт-Петербург, 1-3 июля 2015 г., 2015, с. 207-217.

19. Неклепаев Б. Н. Электрическая часть электростанций и подстанций. 2-е изд. М., Энергоатомиз-дат, 1986. 640 с.

15. Петров Н. Н. Об управляемости автономных систем. Дифференциальные уравнения, 1968, т. 4, № 4, с. 606-617.

16. Аваков Е. Р., Магарил-Ильяев Г. Г. Локальная управляемость и оптимальность. Математический сборник, 2021, т. 212, № 7, с. 3-38. doi:0.4213/ sm9434

21. Леонов Г. А., Кузнецов Н. В., Андриевский Б. Р., Юлдашев М. В., Юлдашев Р. В. Математическое моделирование переходных процессов гидроагрегата Саяно-Шушенской ГЭС. Дифференциальные уравнения и процессы управления, 2018, т. 4, № 4. https://diffjournal.spbu.rU/RU/numbers/2018.4/ article.L5.html (дата обращения: 25.05.2023).

17. Аваков Е. Р., Магарил-Ильяев Г. Г. Управляемость и необходимые условия оптимальности второго порядка. Математический сборник, 2019, т. 210, № 1, с. 3-26. doi:10.4213/sm9013

22. Карташов Б. А., Шабаев Е. А., Козлов О. С., Ще-катуров А. М. Б1т1пТесН: среда динамического моделирования технических систем. М., ДМК Пресс,

18. Веретенников Л. П. Классификация уравнений Горева — Парка. Электричество, 1959, № 11,

с. 13-20.

2017. 424 с.

/

UDC 681.51

doi:10.31799/1684-8853-2023-4-47-55 EDN: DYULZH

Method of synthesis of locally permissible limited controls for the stabilization of program motions of dynamic objects

A. A. Efremov3, PhD, Phys.-Math., Associate Professor, orcid.org/0000-0002-0224-2412

V. N. Kozlova, Dr. Sc., Tech., Professor, orcid.org/0000-0003-1552-8097, kozlov_vn@spbstu.ru

aPeter the Great St. Petersburg Polytechnic University, 29, Politekhnicheskaia St., 195251, Saint-Petersburg,

Russian Federation

Introduction: The synthesis of systems for the stabilization of program motions of objects is an urgent task of control theory. Projection operator methods of mathematical programming are adequate methods of control synthesis for this class of problems. Purpose: To develop methods of synthesis of locally admissible controls for the stabilization of program motions of nonlinear dynamic objects under restrictions on the phase coordinates and controls. Results: We propose a projection control operator for stabilization systems of program motions or equilibrium positions is proposed, using the boundary values of a pair of Lagrange multipliers to limit the type of inequality, a countable number of finite-dimensional mathematical programming problems. We synthesize admissible controls for nonlinear locally controlled difference operators, that stabilize program motions under restrictions on phase coordinates and controls. As a result, we have obtained an operator of a dynamical system with projection operator feedback for the tasks of stabilization of program motions with restrictions on the vectors of phase coordinates and controls. We use a mathematical model of a synchronous generator as a dynamic object, for a computational experiment with a synthesized operator. The mathematical model consists of a system of bilinear differential equations with parameters corresponding to the equations in the form elaborated by V. A. Venikov. The computational experiment confirmed the theoretical generalizations obtained in the work. Practical relevance: The developed methods generalize the formulations of control synthesis problems for stabilizing program motions or equilibrium positions of nonlinear control systems with restrictions on phase coordinates and controls. The development of the projection operator method of finite-dimensional optimization is of great practical importance for the synthesis of controls for complex dynamic systems, including the control of the joint dynamics of electromechanical and electromagnetic processes in large energy associations such as the Unified Electric Power System of the Russian Federation.

Keywords — dynamical systems, projection operators, optimization, stabilization of program motions, nonlinear difference operator, locally admissible controls, restrictions on phase coordinates and controls, synchronous generator, mathematical model, SimlnTech.

For citation: Efremov A. A., Kozlov V. N. Method of synthesis of locally permissible limited controls for the stabilization of program motions of dynamic objects. Informatsionno-upravliaiushchie sistemy [Information and Control Systems], 2023, no. 4, pp. 47-55 (In Russian). doi:10.31799/1684-8853-2023-4-47-55, EDN: DYULZH

References

1. Vorob'ev E. I., Mikheev A. V., Morgunenko K. O. Construction of program motions of relative manipulation mechanisms with three degrees of freedom. Journal of Machinery Manufacture and Reliability, 2019, no. 6, pp. 510-516. doi:10.3103/S1052618819060104

2. Meshchanov A. S., Bikmurzin A. M. Stabilization of programmed landing of aircraft without chassis on mobile platform in atmosphere under uncertain perturbations: Part 1. Herald of Technological University, 2020, vol. 23, no. 12, pp. 109-117 (In Russian).

3. Alekseev A., Stukonog S. An algorithm for constructing an optimal ship's path with elements of the ship's program motion systems on the course. Transp. Bus. Russ., 2022, no. 2, pp. 217-221. doi:10.52375/20728689_2022_2_217/issn2072-8689

4. Golubev A. E. Stabilization of programmed motions of mechanical systems subject to constraints. Izvestiya Rossiiskoi akademii nauk. Teoriya i sistemy upravleniya, 2023, no. 4, pp. 153-167 (In Russian). doi:10.31857/S0002338823040054

5. Sachan K., Padhi R. Lyapunov function based output-constrained control of nonlinear Euler-Lagrange systems. 15th Intern. Conf. on Control, Automation, Robotics and Vision (ICARCV), IEEE, Singapore, November 18-21, 2018, 2018, pp. 686-691. doi:10.1109/ICARCV.2018.8581068

6. Wang X., Xu J., Lv M., Zhang L., Zhao Z. Barrier Lyapunov function-based fixed-time FTC for high-order nonlinear systems with predefined tracking accuracy. Nonlinear Dyn., 2022, vol. 110, no. 1, pp. 381-394. doi:10.1007/s11071-022-07627-9/issn0924-090X

7. Golubev A. E. Construction of programmed motions of constrained mechanical systems using third-order polynomials. Journal of Computer and Systems Sciences International, 2021, no. 2, pp. 303-314 (In Russian). doi:10.31857/ S0002338820060049/issn0002-3388

8. Kozlov V. N., Efremov A. A. Operators of bounded locally optimal controls for dynamic systems. Lect. Notes Networks Syst., Springer, 2020, vol. 95, pp. 140-145. doi:10.1007/978-3-030-34983-7_14

9. Kozlov V. N., Efremov A. A. Projection-operator optimization of controls of dynamic objects. J. Phys. Conf. Ser.: IOP, Publishing Ltd, 2021, vol. 1864, no. 1, pp. 140-145. doi:10.1088/1742-6596/1864/1/012076/issn17426596

10. Aleksandrova O. V., Kozik A. A. Minimax optimization of stabilization parameters during the programmed flight. Moscow University Mechanics Bulletin, 2019, vol. 74, no. 3, pp. 55-59 (In Russian). doi:10.3103/S0027133019030014

11. Andreev A. S., Kolegova L. V. PID controllers with delay in a problem of stabilization of robotic manipulators' desired motions. Zhurnal Sredn. Mat. Obs., 2022, vol. 34, no. 3, pp. 267279. doi:10.15507/2079-6900.24.202203.267-279/issn20796900

12. Kotina E. D., Ovsyannikov D. A. Mathematical model of joint optimization of program and perturbed motions in discrete systems. Vestnik of Saint Petersburg University Applied Mathematics. Computer Science. Control Processes, 2021, vol. 17, no. 2, pp. 213-224 (In Russian). doi:10. 21638/11701/spbu10.2021.210

13. Kozlov V. N. Proyektsionnyy metod sinteza ogranichennykh optimal'nykh upravleniy dinamicheskikh sistem energetiki

[Projection method for the synthesis of bounded optimal controls of dynamic energy systems]. Saint-Petersburg, Po-litekhnichesskij universitet Publ., 2019. 161 p. (In Russian).

14. Kalman R. E. Discussion: "On the Existence of Optimal Controls" (Markus L., and Lee E. B., 1962, ASME J. Basic Eng., 84, pp. 13-20). J. Fluids Eng., 1962, vol. 84. Available at: https://asmedigitalcollection.asme.org/fluidsengineer-ing/article/84/1/21/424598/Discussion-On-the-Exist-ence-of-Optimal-Controls (accessed 30 May 2023).

15. Petrov N. N. Controllability of autonomous systems. Differ-encial'nye Uravnenija, 1968, vol. 4, no. 4, pp. 606-617 (In Russian).

16. Avakov E. R., Magaril-Il'yaev G. G. Local controllability and optimality. Sbornik: Mathematics, 2021, vol. 212, no. 7, pp. 3-38 (In Russian). doi:0.4213/sm9434

17. Avakov E. R., Magaril-Il'yaev G. G. Controllability and second-order necessary conditions for optimality. Sbornik: Mathematics, 2019, vol. 210, no. 1, pp. 3-26 (In Russian). doi: 10.4213/sm9013

18. Veretennikov L. P. Classification of the Gorev — Park equations. Elektrichestvo, 1959, no. 11, pp. 13-20 (In Russian).

19. Neklepaev B. N. Elektricheskaya chast' elektrostantsiy i pod-stantsiy. 2-ye izd. [Electrical part of power stations and substations. 2nd ed.]. Moscow, Energoatomizdat Publ., 1986. 640 p. (In Russian).

20. Kozlov V. N., Ryabov G. A., Efremov A. A., Trosko I. U. Structural-invariant equations of power interconnections for the synthesis of systems for limiting flows and voltage regulation. XIXMezhdunarodnaya nauchno-prakticheskaya konferentsiya "Sistemnyy analiz v proyektirovanii i upravle-nii" [XIX Intern. Scient. and Pract. Conf. "System Analysis in Design and Management"]. Sain-Petersburg, 2015, pp. 207-217 (In Russian).

21. Leonov G. A., Kuznetsov N. V., Andrievsky B. R., Yulda-shev M. V., Yuldashev R. V. Mathematical modeling of transients of the hydraulic unit of the Sayano-Shushenskaya HPP. Differential Equations and Control Processes, 2018, vol. 4. Available at: https://diffjournal.spbu.ru/EN/num-bers/2018.4/article.1.5.html (accessed 25 May 2033) (In Russian).

22. Kartashov B. A., Shabaev E. A., Kozlov O. S., Shchekatu-rov A. M. SimInTech: sreda dinamicheskogo modelirovaniya tekhnicheskikh sistem [SimInTech: Environment for Dynamic Simulation of Technical Systems]. Moscow, DMK Press Publ., 2017. 424 p. (In Russian).

УВАЖАЕМЫЕ АВТОРЫ!

Научные базы данных, включая Scopus и Web of Science, обрабатывают данные автоматически. С одной стороны, это ускоряет процесс обработки данных, с другой — различия в транслитерации ФИО, неточные данные о месте работы, области научного знания и т. д. приводят к тому, что в базах оказывается несколько авторских страниц для одного и того же человека. В результате для всех по отдельности считаются индексы цитирования, что снижает рейтинг ученого.

Для идентификации авторов в сетях Thomson Reuters проводит регистрацию с присвоением уникального индекса (ID) для каждого из авторов научных публикаций.

Процедура получения ID бесплатна и очень проста, есть возможность провести регистрацию на 12 языках, включая русский (чтобы выбрать язык, кликните на зеленое поле вверху справа на стартовой странице): https://orcid.org

i Надоели баннеры? Вы всегда можете отключить рекламу.