Решение задачи робастной стабилизации неопределенного объекта в декларативной постановке

Полный текст

Введение

В системах автоматизации проектирования (САПР) все чаще возникает потребность в решении декларативно (непроцедурно, без указания метода решения) поставленных задач. Для области проектирования систем автоматического управления (САУ) характерно наличие неполноты, неопределенности сведений как о внешних возмущениях, так и об объекте управления. Методы теории автоматического управления (ТАУ) проектирования систем автоматического управления в условиях неопределенности являются итерационными, реализующими последовательное приближение к искомому решению [1–3].

В задачах синтеза систем управления объектами с параметрической неопределенностью одной из проблем является необходимость учета возможных отклонений неопределенных параметров от их номинальных значений. Отличительной особенностью неопределенных динамических систем с неопределенными параметрами является стационарность их неизвестных параметров. Таким образом, параметры системы являются неизвестными, однако постоянными, т. е. не изменяются во времени. Однако не существует общего, единого подхода (метода) решения задач управления в условиях неопределенности. Проблема выбора метода решения задачи синтеза закона управления осложняется не только их многообразием, но и недостаточной осведомленностью инженера-проектировщика в бурно развивающейся теории автоматического управления. Использование средств автоматического решения непроцедурно поставленных задач, т. е. без указания метода их решения, не допускается практически ни в одной из современных САПР САУ. Это обусловлено необходимостью создания модели знаний проблемной области задач ТАУ, на которой ставятся и решаются задачи. Также это инициируется принципиальными проблемами планирования действий по их решению. Важнейшей из них является то, что большинство методов ТАУ синтеза и анализа САУ являются итерационными. К сожалению, проблема автоматического синтеза циклических программ не имеет массового (общего) решения в связи с бесконечным разнообразием возможных алгоритмических схем реализации итерационного процесса, реализуемого порождаемой программой [4]. Таким образом, универсального подхода к планированию действий для решения декларативно поставленных задач не существует [5–9]. Для определенного достаточно узкого класса задач может быть определена некая обобщенная структура плана действий по решению задач этого конкретного класса, например с использованием крупноблочного, структурного, концептуального [5–9] подходов. В частности, возможно построение циклических планов решения некоторого класса задач итерационными методами, допускающими представление тела цикла в виде монолитного блока [4]. Нарастающая потребность в построении новых САУ для новых слабо изученных объектов управления в условиях ужесточения требований к затратам как времени, так и ресурсов на разработку и освоение производства требует решения указанной проблемы. Поэтому все более востребованными становятся методы решения задач синтеза и анализа САУ в условиях неопределенности, слабо чувствительных к изменениям параметров объекта, робастных законов стабилизации и управления. Настоящая статья посвящена изложению подхода к автоматизации решения задач синтеза и анализа САУ методами построения робастных законов стабилизации. Методы синтеза робастного управления предусматривают итерационные процессы выполнения ряда подзадач, которые должны составить основной цикл порождаемой циклической программы. При этом необходим способ выделения среди действий, необходимых для решения исходной декларативно поставленной задачи, действий, выполняемых итерационно в цикле, в отличие от остальных действий, выполняемых лишь однократно. Известные методы представления знаний и планирования действий по решению задач [5–13], как прямой [10], так и обратный методы [12], позволяют выстраивать лишь линейные и древовидные (ветвящиеся) планы действий, включая их представление в виде треугольной таблицы [10]. С другой стороны, двухфазный подход к планированию действий [14] предусматривает разделение процесса поиска решения задачи на первый (предварительный, хотя и самый сложный и трудоемкий) этап отбора релевантных задаче действий, которые, скорее всего, и должны быть использованы в плане действий (программе) решения задачи, и второй (заключительный), на котором осуществляется уже собственно выполнение отобранных действий в порядке, определяемом наличием соответствующих исходных данных для них, завершая, таким образом, процесс построения плана действий решения задачи. При этом первый этап реализует обратный метод [12] поиска – от искомых результатов к необходимым исходным данным, а на втором этапе используется прямой метод поиска, определяющий готовые к выполнению операции (действия) системы автоматизации решения задач. На роль признака, отделяющего действия, выполняемые однократно, от действий, выполняемых многократно, наиболее подходящей кандидатурой является отношение, описывающее требования к искомому результату решения задачи. Поэтому действия модели знаний проблемной области, которые непосредственно и/или опосредованно влияют на значение такого отношения, можно было бы априорно в модели знаний пометить указанным отношением, например в требованиях к искомому результату действия. Это позволит действия построенного плана действий решения конкретной задачи разместить (локализовать) внутри тела основного цикла порождаемой программы (плана действий) решения поставленной задачи. Однако в разных задачах требования к искомому результату могут быть различными, что зависит от конкретной задачи и не позволяет осуществить такую предварительную разметку модели знаний. Таким образом, разметку действий на однажды выполняемые и циклически выполняемые придется делать непосредственно в процессе построения конкретного плана действий конкретной решаемой задачи. При этом простейший способ разметки заключается во включении всех действий построенного плана в состав циклически выполняемых действий («повторное выполнение не ухудшает результат»). Однако это приведет к необоснованным многократным затратам на выполнение действий, которые на пути достижения искомого результата достаточно выполнить только один раз. Если количество итераций окажется весьма большим, например сотни или даже тысячи, то эффективность такого «простого/легкого» способа организации циклических программ окажется недопустимо низкой. Как следствие, необходим подход к корректировке (разметке) модели знаний, включающий как статическую разметку аксиом (описаний действий), подходящую для всех задач, так и динамическую разметку действий для конкретной задачи, т. е. включенных в план решения задачи. Статическую разметку необходимо осуществлять на основе знаний об итерационных методах решения задач, включаемых в модель знаний. Указанная деятельность должна осуществляться непосредственно при пополнении модели знаний новыми знаниями проблемной области, осуществляемом учеными-исследователями, выступающими в роли экспертов в проблемной области. Как следствие, процесс создания модели знаний проблемной области является также итерационным [4–17]. Кроме того, для создания алгоритмической структуры выполнения построенного плана действий конкретной задачи необходима разработка схемы представления синтезируемых программ, допускающей циклическое их выполнение (или их фрагментов) для реализации формализуемого для включения в модель знаний итерационного метода (например, синтеза законов робастной стабилизации объекта с неопределенными параметрами) проблемной области. Настоящая работа посвящена исследованию способов решения декларативно поставленных задач синтеза и анализа САУ на примере задач робастной стабилизации объекта с параметрической неопределенностью [1–3], предусматривающих итеративное выполнение плана действий до возможного достижения заданных требований к искомому результату решения задачи, т. е. порождение и выполнение циклических программ решения задач.

Модель и метод

Планирование действий по решению задач синтеза и анализа систем автоматического управления не может быть выполнено без использования знаний проблемной области [5–12]. В данном случае используется модель знаний [14–15], развиваемая в исследованиях авторов. Для изложения предлагаемого подхода приведем краткое описание ее структуры для введения обозначений используемых понятий [16–17]:

$M_o=⟨D,\Re ,O⟩$, (1)

где $D=\left\{d_i\right|d_i=⟨\Im \left(d_i\right),\wp \left(d_i\right),\aleph \left(d_i\right),\Xi \left(d_i\right),\Psi \left(d_i\right)⟩\}$ – множество формализованных обобщений (математических моделей) компонентов систем управления, называемых «предметами», обладающих: свойствами ${\rho }_j\in \wp \left(d_i\right)=\left\{\rho \right|\rho \in \left\{true\right|false\left\}\right\}$; характеристиками ${\chi }_j\in \aleph \left(d_i\right)=\left\{{\chi }_{k_i}\right|{\chi }_{k_i}\in C^{n_{k_i}}\times C^{n_{k_i}}\times \mathrm{...}\times C^{n_{k_i}}\}$, где $C^n$ – n‑мерное пространство комплексных чисел; формами математических моделей ${\mu }_j\in \Im \left(d_i\right)=\left\{{\mu }_1\mathrm{,...,}{\mu }_{{\tau }_i}\right\}$, где

${\mu }_j=<n_j,m_j>$, $m_j=\left\{m_{jk}\right|m_{jk}\in C^{n_{j{k}_1}}\times C^{n_{j{k}_2}}\times \mathrm{...}\times C^{n_{j{k}_l}}\}$, $n_j=\{n_{j1},n_{j2}\mathrm{,...,}{n}_{jk}|n_{jl}\in N\}$ –

множество коэффициентов компонентов (матриц $m_{jk}$ соответствующих размерностей) математической модели ${\mu }_j$; классификационными признаками, представляющими собой выделенные свойства предметов ${\xi }_j\in \Xi \left(d_i\right)\subseteq \wp \left(d_i\right)$; компонентами (составными частями предметов), в качестве которых могут выступать другие предметы $d_{ij}\in \Psi \left(d_i\right)\subseteq D$;

$\Re =\left\{r\right|r=<c,s,g>:\wp \cup \aleph \cup \Im \cup \Re \cup {\rm O}\to \left\{true\right|false\left\}\right\}$ –

множество отношений (предикатов) над предметами, их компонентами и атрибутами, действиями (операциями) над ними;

$O=\left\{o\right|o=<c,s,g,q>:\wp \cup \aleph \cup \Im \cup \Re \to \wp \cup \aleph \cup \Im \cup \Re \}$ –

множество действий (операций) над предметами и их атрибутами.

Действия $o_i=<c_i,s_i,g_i,r_i>\in O$ и отношения $r_i=<c_i,s_i,g_i>\in \Re$ характеризуются атрибутами: $c_i\in \wp \cup \Re$ – условия применимости; $s_i\in \wp \cup \aleph \cup \Im$ – исходные данные; $g_i\in \wp \cup \aleph \cup \Im \cup \Re$ – результат выполнения действия (операции); $r_i\in \Re$ – требования к результату выполнения действия.

Задача на модели (1) представляется в виде $t_j=<s_j,g_j,r_j>$ или в форме продукции $t_j:s_j\to g_j\leftarrow r_j$. План решения задачи $t_j$, порождаемый решающей подсистемой интеллектуального решателя задач, построенной на основе планирующих искусственных нейронных сетей (ПИНС) [14–17], представляется в виде подмножества

$p\left(t_j\right)=\left\{o_{ji}\right|o_{ji}=<c_{ji},s_{ji},g_{ji},r_{ji}>,i=\mathrm{1,...,}{n}_j\}$, (2)

операций (аксиом) модели знаний, которые должны быть выполнены для получения искомого результата решения задачи, где $p\left(t_j\right)$ – план решения задачи $t_j$; $o_{ji}$ – i-я операция плана $p\left(t_j\right)$; $n_j$ – количество операций, входящих в план $p\left(t_j\right)$ решения задачи $t_j$.

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

$\dot{x}=\mathbf{A}x+\mathbf{B}u,x\in R^n,u\in R^m$, (3)

где элементы матриц $\mathbf{A}$ и $\mathbf{B}$ зависят неизвестным образом от неопределенных параметров

$q\in Q\subseteq R^l$. (4)

Тогда вместо объекта с неопределенными параметрами (3) следует [1–3] представлять семейство динамических систем

$\dot{x}=\mathbf{A}\left(q\right)x+\mathbf{B}\left(q\right)u,x\in R^n,u\in R^m$, (5)

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

Итерационные методы решения задач включают действия (операции), приводящие к «улучшению» значения критерия достижения цели задачи. Таким критерием служит заданная цель управления. Например, в задаче робастной стабилизации объекта управления (3) с неопределенными параметрами (4) целью является обеспечение устойчивости замкнутой регулятором системы управления [1–3] конкретным реализовавшимся экземпляром объекта управления из семейства (5). В соответствии с прямым методом Ляпунова система (3) является устойчивой, если для нее можно построить функцию Ляпунова

$V\left(x\right)=x^T\mathbf{S}x,\mathbf{S}\succ 0$, (6)

удовлетворяющую

${\mathbf{A}}^{T}S+S\mathbf{A}\prec 0$, (7)

на движениях системы (3). Для обеспечения степени устойчивости матрицы $A$ не меньше, чем заданное значение $\sigma$, вместо (7) следует использовать

${\mathbf{A}}^{T}S+S\mathbf{A}+2\sigma S\prec 0$. (8)

Если для объекта (3) с неопределенностью (4) не удается построить функцию (6), то необходимо решить задачу робастной квадратичной стабилизации [1–3]: для семейства динамических систем

$\dot{x}=\mathbf{A}\left(q\right)x+\mathbf{B}u,x\in R^n,u\in R^m$ (9)

построить общий регулятор вида

$u=\mathbf{K}x$ (10)

такой, чтобы у замкнутых систем

$\dot{x}={\mathbf{A}}_c\left(q\right)x,{\mathbf{A}}_c\left(q\right)=\mathbf{A}\left(q\right)+\mathbf{BK},\forall q\in Q\subseteq R^l$ (11)

была бы общая функция Ляпунова (6).

Алгоритм решения задачи робастной стабилизации объекта с параметрической неопределенностью

В соответствии с [1–3] для решения задачи робастной стабилизации объекта с параметрической неопределенностью используется алгоритм, предусматривающий итерационное выполнение для всех систем семейства (5) следующих действий:

1. выбрать из семейства (5) i-ю систему, порожденную параметрами $q_i\in Q$;
2. решить матричное неравенство для заданного значения s желаемой степени устойчивости замкнутой системы [3]
   ${\mathbf{A}}_i\mathbf{S}+{\mathbf{SA}}_i^T+\mathbf{BKS}+{\mathbf{SK}}^T{\mathbf{B}}^T\prec -2\sigma \mathbf{S}$ (12)
   или матричное неравенство, введя $\mathbf{Y}=\mathbf{KS}$:
   ${\mathbf{A}}_i\mathbf{S}+{\mathbf{SA}}_i^T+\mathbf{YS}+{\mathbf{SY}}^T\prec -2\sigma \mathbf{S}$;vb(13)
3. если решение (12) или (13) не существует, то уменьшить значение $\sigma$, и если $\sigma \ge {\sigma }_{\text{0}}>0$, то идти к п. 1, где ${\sigma }_0$ – минимально допустимое значение степени устойчивости замкнутой системы, иначе идти к п. 7;
4. построить регулятор
   $\mathbf{K}={\mathbf{YS}}^{-1}$; (14)
5. проверить устойчивость замкнутых построенным регулятором (14) систем управления для каждой из систем (5):
   $\dot{x}={\mathbf{A}}_c\left(q\right)x,{\mathbf{A}}_c\left(q\right)={\mathbf{A}}_i+\mathbf{BK},\forall q_i\in Q\subseteq R^l$ . (15)
   Если хотя бы одна замкнутая система (15) с регулятором (14) является неустойчивой, то увеличить величину $\sigma$ желаемой степени устойчивости и идти к п. 1, начиная решение задачи построения робастного регулятора (10) для систем семейства (6) сначала;
6. если остались системы семейства (5), для которых не решалась задача синтеза стабилизирующего регулятора, то идти к п. 1; иначе успешно завершить работу алгоритма с указанием в качестве результата решения поставленной задачи последний построенный робастный стабилизирующий регулятор (14) для объекта (3) с неопределенностью (4), который обеспечивает единую функцию Ляпунова (11);
7. завершить работу алгоритма аварийно в связи с невозможностью построения стабилизирующего регулятора при заданном уровне неопределенности (4) объекта управления.

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

 

Подход к корректировке модели знаний проблемной области ТАУ

В статье в развитие крупноблочного подхода, структурного синтеза, концептуального программирования [5–7] предлагается подход к корректировке модели знаний проблемной области ТАУ, базирующийся на следующих допущениях:

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

Например, в качестве такого отношения (свойства) могут быть приняты:

• отношение $r_j^k$ «запас устойчивости замкнутой системы управления не меньше заданного»:

$r_j^k=<{\chi }_n,{\chi }_m>\in R,{\chi }_n\in \aleph ,{\chi }_m\in \aleph$, (16)

где k – номер итерации; ${\chi }_n$ – n-я характеристика предмета $d_i$, например ${\sigma }_0$; ${\chi }_m$ – m-я характеристика предмета $d_j$, например $\sigma ={\max }_i\left(\mathrm{Re}{\lambda }_i^k\right)$, где ${\lambda }_i^k$ – собственные значения матрицы замкнутой системы (15), тогда $r_j^k=⟨\ge ,{\chi }_n,{\chi }_m⟩$, что означает $\sigma \ge {\sigma }_0$;

• свойство ${\rho }_{ij}^k$ «замкнутая система устойчива»:

${\rho }_{ij}^k\in \wp \left(d_j^k\right)=\left\{\rho \right|\rho \in \left\{true\right|false\left\}\right\}$. (17)

В целом для обеспечения возможности автоматического построения интеллектуальным решателем задач [14] циклически выполняемого плана действий декларативно поставленной задачи синтеза робастного квадратичного стабилизирующего регулятора объектом (3) с неопределенностью (4) предлагается:

1. ввести в структуру описания постановки задачи дополнительные компоненты атрибута «Требования к результату»;
2. ввести в структуру предложений порождаемого плана действий решения поставленной задачи дополнительные компоненты атрибута «Требования к результату», элементами которого как логического выражения могут быть отношения вида (16) и/или свойства вида (17) предметов модели знаний;
3. ввести в модель знаний (1) отношение (свойство), описывающее условия завершения (продолжения) циклического выполнения операций плана действий;
4. ввести в атрибут «Требования к результату» предложений плана решения задачи отношение (свойство), определяющее условия прекращения циклического выполнения плана действий;
5. разработать схему описания плана решения задачи итерационным методом с контролем выполнения требований к искомому результату задачи;
6. дополнить исполнительную подсистему решателя задач алгоритмической структурой реализации циклического выполнения планов решения задач с заданными требованиями к искомому результату.

Реализация предлагаемого подхода осуществляется в рамках проекта модернизации системы автоматического решения задач ИНСТРУМЕНТ-3м-И [18]. Система ИНСТРУМЕНТ-3м-И предназначена для решения декларативно поставленных задач проблемной области автоматического управления на моделях знаний вида (1). Среди пользователей системы ИНСТРУМЕНТ-3м-И выделяются категории пользователей с принципиально различающимися целями деятельности, а следовательно, и ролями: а) ученые-исследователи, осуществляющие построение, корректировку и исследование методов решения задач проблемной области; б) инженеры, занимающихся решением задач проектирования законов управления конкретных систем автоматического управления с использованием известных методов.

В связи с этим в системе ИНСТРУМЕНТ-3м-И реализованы два основных вида пользовательских интерфейсов: «Среда исследователя» (рис. 1) и «Среда инженера» (рис. 2).

 

Рис. 1. Примеры представления экранных форм «Среды исследователя»:
а – постановка тестовой задачи исследования построенной модели знаний;
б – протокол тестирования корректности планирования действий решения задачи робастной стабилизации

 

Рис. 2. Примеры представления экранных форм «Среды инженера»:
а – пример постановки задачи синтеза робастного стабилизирующего регулятора неопределенной системы; б – пример формирования структуры системы управления

 

В поле «Планирование» представлен фрагмент списка аксиом модели знаний, описывающих действия, включенные в план решения задачи.

С учетом предложенного подхода к корректировке модели знаний проблемной области обобщенный алгоритм выполнения плана $p\left(t_j\right)$ решения задачи $t_j$ итерационным методом можно описать следующим образом:

$\begin{array}{l}\neg Ex\text{(}p\text{(}{t}_j\text{))}\to Go\text{(}p\text{(}{t}_j\text{))}\dot{=}\text{{}\neg r_{ij}^k\to \text{{}\forall i\text{(}\neg Ex\text{(}{o}_{ji}\text{)}\to \text{(}Calc\text{(}{r}_{ij}^k\text{)}\to \\ \text{(}Calc\text{(}c\text{(}{o}_{ji}\text{))}\to \text{(}\exists s\text{(}{o}_{ji}\text{)}\to \text{((}Go\text{(}{o}_{ji}\text{)}\Rightarrow g_{ji}\text{)},\text{(}Set\text{(}Ex\text{(}{o}_{ji}\text{)}\mathrm{,1}\text{))}}\forall i\text{(}Set\text{(}Ex\text{(}{o}_{ji}\text{)}\mathrm{,0}\text{))}},\end{array}$ (18)

где $\stackrel{\bullet }{=}$ – «по определению»; $\neg$ – символ отрицания; $Ex\left(x\right)$ – предикат «объект x выполнен», в качестве x может выступать план действий $p\left(t_j\right)$ или отдельная операция $o_{ji}(\cdot )$; $Ex\left(x\right)$ принимает значение 1 (истина), если аргумент x выполнен, или 0 (ложь) в противном случае; $Set(x,v)$ – задание (присваивание) значения v для объекта x; $Go\left(x\right)$ – выполнение объекта x (плана $p\left(t_j\right)$ или операции $o_{ji}(\cdot )$); $Calc\left(x\right)$ – вычисление значения x, т. е. выполнение операции вычисления x.

Формула (18) представляет схему функционирования исполнительной подсистемы решателя задач, осуществляющей итерационное выполнение плана действий $p\left(t_j\right)$ решения поставленной задачи $t_j$ итерационным методом.

Для упрощения будущей реализации схема (18) может быть также представлена, например, в виде записи программы по А.А. Ляпунову [19] в форме схемы программы

$p\left(t_j\right):={\downarrow }^0{A}_1{\uparrow }^4{\downarrow }^1{A}_2{A}_3{\uparrow }^2{A}_4{A}_5{\uparrow }^3{A}_6{\uparrow }^0{\downarrow }^3{A}_7{\uparrow }^1{\downarrow }^2{A}_8{\uparrow }^0{\downarrow }^4$ (19)

и спецификации: А₁ – условие $r_j$ завершения выполнения итеративного метода решения задачи выполнено (цель достигнута: регулятор построен, функция Ляпунова найдена); А₂ – выбор i-й динамической системы семейства (5); А₃ – матричное неравенство (13) не решено; А₄ – построить регулятор (14); А₅ – замкнутая система (15) устойчива; А₆ – увеличить желаемую степень устойчивости s; А₇ – остались неисследованные системы семейства (5); А₈ – уменьшить желаемую степень устойчивости $\sigma$, пока еще выполнено условие $\sigma \ge {\sigma }_0$.

$\uparrow$­ⁱ – «передающая стрелка i» – выполнение передачи управления (переход) к оператору, отмеченному меткой «приемная стрелка i»;

$\uparrow$¯ⁱ – «приемная стрелка i» – метка оператора программы, начиная с которого продолжается ее выполнение после перехода по метке «i».

Иллюстративный пример

Рассмотрим в качестве объекта управления двухмассовую систему [20] из двух твердых тел с массами $m_1$ и $m_2$, соединенных пружиной с коэффициентом упругости k, скользящих без трения вдоль неподвижного горизонтального стержня (рис. 3). К левому телу приложено управление, призванное стабилизировать колебательную систему.

 

Рис. 3. Двухмассовая система [20]

 

Введем обозначения: $x_1$ и $v_1$ – координата и скорость левого тела; $x_2$ и $v_2$ – координата и скорость правого тела; $x={[x_1,x_2,v_1,v_2]}^T$ – вектор фазового состояния динамической системы. Непрерывная модель колебаний двухмассовой системы [20] из двух твердых тел (см. рис. 3) описывается уравнениями [20]

${\dot{x}}_1=v_1$, ${\dot{x}}_2=v_2$, ${\dot{v}}_1=(-k/m_1)x_1+(k/m_1)x_2+(1/m_1)u$ (20)

или в матричном виде

${\dot{v}}_2=(-k/m_2)x_1+(k/m_2)x_2$, $\dot{x}=\mathbf{A}x+\mathbf{B}u$, (21)

где пара матриц $\mathbf{A}\mathbf{,}\mathbf{B}$ полностью управляема, номинальные значения параметров модели (20) $k=\mathrm{1,}{m}_1=\mathrm{1,}{m}_2=1$, начальные условия

$x\left(0\right)={[-\mathrm{1,}\mathrm{1,}\mathrm{1,}-1]}^T$, (22)

$\mathbf{A}=\left(\begin{array}{cccc}0& 0& 1& 0\\ 0& 0& 0& 1\\ -k/m_1& k/m_1& 0& 0\\ k/m_2& -k/m_2& 0& 0\end{array}\right)$, $\mathbf{B}=\left(\begin{array}{c}0\\ 0\\ 1/m_1\\ 0\end{array}\right)$. (23)

В системе (21) – (24) неопределенными приняты величины $k,m_1,m_2$. Их неопределенные значения $q_1,q_2,q_3$ представляют интервальные числа с номинальными значениями $k,m_1,m_2$. Предельное отклонение неопределенных величин от их номинальных значений в рамках решаемой иллюстративной задачи составляет $\pm 40\%$:

$q_1=[\underset{¯}{k},\overline{k}]$, $q_2=[\underset{¯}{m_1},\overline{m_1}]$, $q_3=[\underset{¯}{m_2},\overline{m_2}]$, (24)

где $\underset{¯}{z}$ и $\overline{z}$ – обозначают нижнюю и верхнюю границы значений $z$ соответственно, тогда $\underset{¯}{k}=\mathrm{0,4}\times k=\mathrm{0,4}$, $\overline{k}=\mathrm{1,4}\times k=\mathrm{1,4}$, $\underset{¯}{m_1}=\mathrm{0,4}\times m_1=\mathrm{0,4}$, $\overline{m_1}=\mathrm{1,4}\times m_1=\mathrm{1,4}$, $\underset{¯}{m_2}=\mathrm{0,4}\times m_2=\mathrm{0,4}$, $\overline{m_2}=\mathrm{1,4}\times m_2=\mathrm{1,4}$.

Комбинации значений неопределенных параметров, определяющих множество динамических систем в семействе (всего 8):

$\begin{array}{l}1\left)\right\{\underset{¯}{q_1},\underset{¯}{q_2},\underset{¯}{q_3}\left\}\mathrm{,2}\right)\{\underset{¯}{q_1},\underset{¯}{q_2},\overline{q_3}\}\mathrm{,3}\left)\right\{\underset{¯}{q_1},\overline{q_2},\underset{¯}{q_3}\left\}\mathrm{,4}\right)\{\underset{¯}{q_1},\overline{q_2},\overline{q_3}\},\\ 4\left)\right\{\overline{q_1},\underset{¯}{q_2},\underset{¯}{q_3}\left\}\mathrm{,5}\right)\{\overline{q_1},\underset{¯}{q_2},\overline{q_3}\}\mathrm{,7}\left)\right\{\overline{q_1},\overline{q_2},\underset{¯}{q_3}\left\}\mathrm{,8}\right)\{\overline{q_1},\overline{q_2},\overline{q_3}\}.\end{array}$ (25)

С учетом введенного обозначения (23) примет вид

$\mathbf{A}=\left(\begin{array}{cccc}0& 0& 1& 0\\ 0& 0& 0& 1\\ -q_1/q_2& q_1/q_2& 0& 0\\ q_1/q_3& -q_1/q_3& 0& 0\end{array}\right)$, $\mathbf{B}=\left(\begin{array}{c}0\\ 0\\ 1/q_2\\ 0\end{array}\right)$. (26)

Требования к синтезируемому стабилизующему регулятору: единый регулятор вида (10) для систем семейства (20)–(26); допустимые ограничения на значения переменных динамической системы и допустимое ограничение на величину стабилизирующего управляющего воздействия; максимальное количество итераций изменения критерия оптимальности принято равным 5; итерации останавливаются по достижении нарушения ограничения на величину управляющего воздействия:

$\left|x_i\right|<x_i^{*}=\mathrm{0,1,}i=\mathrm{1,...,}n,t>10$, $u=\left|\mathbf{K}x\right|\le u^{*}=40$. (27)

Решение матричных неравенств (7), (8), (12), (13) полуопределенного программирования (SDP-задачи) [3, 20] требует применения итерационных методов. Вместо SDP-задачи может также итерационно решаться задача линейной квадратичной оптимизации, например с функционалом:

$J={\int }_0^{\infty }(x^T\mathbf{Q}x+u^T\mathbf{R}u)dt$, $\mathbf{Q}=diag\left(q_{ii}\right)$,

$q_{ii}={(1/{\left(x_i^{*}\right)}^2)}^k$, $i=\mathrm{1,...,}n$, $\mathbf{R}=\left[1\right]$,

где k – номер итерации выполнения цикла.

На рис. 4 представлены графики переходных процессов семейства динамических систем (20)–(25), замкнутых робастным стабилизирующим регулятором (10).

 

Рис. 4. Графики переходных процессов по переменным состояния a–г и управлению д в системе (21), (24–26), возбужденных начальными условиями (22) по результатам первой итерации цикла итеративного процесса решения задачи

 

Номера графиков соответствуют комбинациям значений неопределенных параметров q₁, q₂, q₃ (25). При последующих итерациях цикла группы графиков (1, 4, 5, 8), (2, 6), (3, 7) практически сливались, становясь почти неразличимыми. Различия между группами графиков сохранились.

В результате решения задачи синтеза стабилизирующего регулятора получены значения коэффициентов закона управления (матрица $\mathbf{K}$) (10) и значения параметров (матрица $\mathbf{S}$) функции Ляпунова (6):

$\mathbf{K}=\left[\begin{array}{c}-\mathrm{25,280}\\ \mathrm{9,149}\\ -\mathrm{13,068}\\ -\mathrm{9,020}\end{array}\right]$, $\mathbf{S}=\left[\begin{array}{cccc}\mathrm{319,207}& -\mathrm{132,788}& \mathrm{35,392}& \mathrm{130,69}\\ -\mathrm{132,788}& \mathrm{261,461}& -\mathrm{12,808}& -\mathrm{9,316}\\ \mathrm{35,392}& -\mathrm{12,808}& \mathrm{18,295}& \mathrm{12,628}\\ \mathrm{130,69}& -\mathrm{9,316}& \mathrm{12,628}& \mathrm{160,052}\end{array}\right]$.

При этом для замкнутой построенным регулятором системы управления неопределенным объектом достигнута степень устойчивости $\sigma =\mathrm{0,11975}$ семейства динамических систем неопределенной системы (21), (24)–(26).Также удовлетворены требования (27) к динамическим характеристикам замкнутой системы управления регулятором по результатам третьей итерации цикла.

Выводы

Предложен подход к расширению возможностей интеллектуального решателя задач способностью построения (синтеза) циклических планов решения задач управления объектами с неопределенностью итерационными методами теории автоматического управления. Построена схема циклического выполнения плана действий, формируемого интеллектуальным решателем для решения декларативно поставленной задачи робастного управления. Построенная схема представлена в виде записи программы по А.А. Ляпунову, которая упрощает последующую реализацию схемы в исполнительной подсистеме решателя задач. Предложенная схема (19) применена при решении итерационным методом иллюстративной задачи построения робастного квадратичного стабилизирующего регулятора для системы (21), (24), (25) с неопределенными параметрами. Дальнейшие исследования направлены на изучение возможностей автоматизации построения планов решения декларативно поставленных задач управления объектами с другими схемами алгоритмических структур циклически выполняемых планов решения задач с различными видами неопределенности, продолжая развитие направления построения систем автоматического решения задач в декларативной постановке с использованием в качестве решающей (планирующей) подсистемы интеллектуального решателя задач планирующих искусственных нейронных сетей, важнейшим достоинством которых является способность одновременно (параллельно) решать как основную задачу, так и все ее подзадачи [14–17].

Об авторах

Михаил Федорович Степанов

Саратовский государственный технический университет имени Гагарина Ю.А.

Автор, ответственный за переписку.
Email: mfstepanov@mail.ru
ORCID iD: 0000-0002-1596-6428
SPIN-код: 8650-8461
Scopus Author ID: 57192983045
ResearcherId: M-3337-2013

доктор технических наук, доцент, профессор, кафедра "Системотехника и управление в технических системах"

Россия, 410054, г. Саратов, ул. Политехническая, 77

Андрей Михайлович Степанов

Саратовский государственный технический университет имени Гагарина Ю.А.

Email: stepanovam@sstu.ru
ORCID iD: 0000-0003-1684-5297
SPIN-код: 6518-3656
Scopus Author ID: 7402419673
ResearcherId: AAB-2082-2021

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

Россия, 410054, г. Саратов, ул. Политехническая, 77

Ольга Михайловна Степанова

Саратовский государственный технический университет имени Гагарина Ю.А.

Email: stepanovaom@sstu.ru
ORCID iD: 0000-0001-8866-8328
Scopus Author ID: 57218714854

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

Россия, 410054, г. Саратов, ул. Политехническая, 77

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

Дополнительные файлы