<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Стабилизация перевернутого маятника с неподвижной опорой</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Р.И. Шевченко oma</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>@hotmail.com</string-name>
        </contrib>
      </contrib-group>
      <fpage>240</fpage>
      <lpage>248</lpage>
      <abstract>
        <p>Уральский федеральный университет (Екатеринбург) В классе импульсных управлений решается задача линейноквадратичной стабилизации верхнего неустойчивого положения равновесия математического маятника. При этом исходная непрерывная задача стабилизации сводится к эквивалентной дискретной задаче стабилизации, для решения которой используется дискретное матричное уравнение Риккати. Исследуется сходимость решения дискретной задачи стабилизации к решению непрерывной задачи стабилизации при шаге дискретизации задачи, стремящемся к нулю. Ключевые слова: линейно-квадратичный регулятор, матричное уравнение Риккати, импульсные управления, оптимальная стабилизация ml2ϕ¨ = mglϕ + M (t), t ∈ R+.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>g
k = , u(t) =
l</p>
      <p>M (t)
ml2</p>
      <p>+
, t ∈ R ,
ϕ¨ = kϕ + u(t), t ∈ R+.</p>
      <p>J (u) =</p>
      <p>ϕ2(t) + u2(t) dt.</p>
      <p>Постановка задачи</p>
      <p>ml2ϕ¨ = mgl sin ϕ + M (t), t ∈ R+ = (0, +∞),
(1)
(2)
(3)
(4)
u(t) ≡ up, t ∈ [hp, (h + 1)p), p ≥ 0,
xp(ϑ) = x(ph + ϑ), p ≥ 1.</p>
      <p>dxp = Axp + Bup−1
dϑ
xp = Abxbp−1 + Bbup−1, p ≥ 1,
b
Ab = eAh, Bb =</p>
      <p>e−Aτ dτ B.</p>
      <p>Z 0</p>
      <p>−h
Jb(u) = X∞ hxbpTQbxbp + 2xbpTNbup + upTRbupi .</p>
      <p>p=0
где h</p>
      <p>заданный постоянный шаг дискретизации.
2</p>
      <p>Переход к дискретной задаче стабилизации
Вводим функции
Cистеме (5) поставим в соответствие счетную систему дифференциальных уравнений
xp(ϑ) = eA(ϑ+h)xp(−h) +</p>
      <p>eA(ϑ−τ)dτ Bup−1, ϑ ∈ [−h, 0], p ≥ 1.
Введем обозначения xp = xp(0). Полагая в формулах (9) ϑ = 0, получим систему разностных уравнений
b
для определения неизвестных значений xp, p ≥ 1. При этом значение xb0 считаем заданным. В системе (10)
b
матрицы Ab и Bb определяются формулами
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)
Здесь матрицы Qˆ, Rˆ, Nˆ , зависящие только от h, равны</p>
      <p>Qb = R 0 eAT(ϑ+h)QeA(ϑ+h)dϑ,</p>
      <p>−h
Rb = BT R 0 hR ϑ eAT(ϑ−τ)dτ Q R ϑ eA(ϑ−τ)dτ i dϑB + Rh,</p>
      <p>−h −h −h
Nb = R−0h heAT(ϑ+h)Q R ϑ eA(ϑ−τ)dτ i dϑB.</p>
      <p>
        −h
Предполагаем, что выполнены достаточные условия существования решения дискретной задачи
оптимальной стабилизации (10), (12) (cм. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]).
3
      </p>
      <p>
        Решение дискретной задачи стабилизации
Применяется известная методика решения дискретной задачи оптимальной стабилизации,
использующая дискретное уравнение Риккати (cм. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ])
      </p>
      <p>
        X = AbTXAb − (AbTXBb + Nb)(Rb + BbTXBb)−1(BbTXAb + NbT) + Qb.
Оптимальное стабилизирующее управление u0p дискретной задачи (10), (12) определяется формулой (cм.
[
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], [4])
u0p = −Kb xbp = − BbTPbBb + Rb
      </p>
      <p>BbTPbAb + NbT xp,</p>
      <p>b
−1
в которой матрица Pb является положительно определенным решением уравнения (14).</p>
      <p>
        Для нахождения решения нелинейного матричного уравнения (14) используется метод перехода к
спектральной задаче для симплектической матрицы (cм. [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], [4])
      </p>
      <p>Mc =</p>
      <p>Ae + F Ae−TQe
−Ae−TQe
−F Ae−T !</p>
      <p>Ae−T</p>
      <p>.</p>
      <p>Ae = Ab − BbRb−1NbT,
Qe = Qb − NbRb−1NbT,</p>
      <p>F = BbRb−1BbT.</p>
      <p>V =</p>
      <p>V1
V2</p>
      <p>, det(V1) 6= 0.</p>
      <p>Pb = V2V1−1
Q =
(13)
(14)
(15)
(16)
(17)
(18)
(19)
Здесь</p>
      <p>Предполагаем, что матрица Mc не имеет собственных значений, лежащих на единичной окружности, что
соответствует достаточным условиям существования решения дискретной задачи оптимальной
стабилизации. Тогда матрица Mc имеет устойчивое инвариантное подпространство, т. е. подпространство, базисные
векторы которого соответствуют собственным значениям матрицы Mc, по модулю меньшим единицы. Тогда
базисная матрица устойчивого инвариантного подпространства допускает представление
Знание матрицы V позволяет найти требуемое решение дискретного уравнения Риккати
и, следовательно, оптимальное стабилизирующее управление дискретной задачи.</p>
      <p>Для исходной задачи оптимальной стабилизации маятника n = 2, m = 1. Матрицы Q и R равны
Параметры дискретной задачи стабилизации (10), (12) определяются формулами</p>
      <p>Ab =</p>
      <p>ch(√kh)
√k sh(√kh)
√1k sh(√kh) !
ch(√kh)</p>
      <p>,
Bb =
k1 ch(√kh) − 1
√1k sh(√kh)
!</p>
      <p>,
 sh(2√√kh) + h2</p>
      <p>4 k
Qb =  ch(2√kh) 1
4k − 4k
ch(2√kh)</p>
      <p>4k
sh(2√kh)
4k√k</p>
      <p>1 
− 4k</p>
      <p>h  ,
− 2k
Rb =</p>
      <p>2k32 + 1 h + sh4(k22√√kkh) − 2skh2(√√kkh) ,
 1 sh(2√√kh)</p>
      <p>k 4 k
Nb =  1 ch(2√kh)
k2 4
− sh(√√kkh) + h2
− ch(√kh) + 34

 .
4
Поведение решения дискретной задачи стабилизации маятника при h,
стремящемся к нулю
При шаге дискретизации задачи h, близком к нулю, возникает особенность, связанная с тем, что Rb −→ 0
при h −→ 0. Для ее устранения применялся аналитический метод степенных рядов по h.
Матрицы Ab, Bb, Qb, Rb, Nb можно представить в виде:</p>
      <p>Ab = Pi∞=0 Abihi =
При этом матрица Ae−T равна</p>
      <p>∞
A−T = X Aei−Thi =
e
i=0
0
k
− 6
1−k2
6
0
h3 + O(h4).</p>
      <p>
        (23)
Подставляя (22) и (23) в (16), получим выражение для матрицы Mc вида
−−k1  h +  00
00  h2+
По условию теоремы Кронекера-Капелли система линейных алгебраических уравнений (30) разрешима
относительно e1 тогда и только тогда, когда (см. [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ])
rank Mc1 − I4λ1 = rank Mc1 − I4λ1, I4λ2 − Mc2 .
Приравнивая в (27) нулю коэффициенты при степенях h, приходим к рекуррентной последовательности
уравнений
Вычисляя устойчивые решения спектральной задачи
соответствующей j = 1, имеем
При j = 2 уравнение (28) переходит в
λ11 = −√k − i
λ21 = −√k + i
      </p>
      <p> √−i 
e10 =  i√kk−−ii  ,
</p>
      <p>1
 i </p>
      <p>√
e20 =  −i k + i  .</p>
      <p> √k + i </p>
      <p>1</p>
      <p>Mc1 − I4λ1 e1 = I4λ2 − Mc2 e0.
Решение спектральной задачи (Mc − I4λ)e = 0 будем искать в виде:
В этом случае получим уравнение
Но Mc0 = I4 и, следовательно, λ0 = 1. Тогда вместо (26) получаем
+∞ " j
X X
Таким образом, учитывая (29) и (32), получаем, что матрица (18) равна
Тогда устойчивое решение (19) уравнения Риккати (14) примет вид:
При этом матрица Kb в (15) определяется формулой</p>
      <p>∞
Pb = X Pbihi = 
i=0
 q
2(k2 + 1)(k + √k2 + 1)
k + √k2 + 1</p>
      <p>k + √k2 + 1
q2(k + √k2 + 1)

 + O(h2).</p>
      <p>∞
Kb = X Kbihi =
i=0
k + √k2 + 1 q2(k + √k2 + 1)
+ O(h).</p>
      <p>
        Непосредственной проверкой можно убедиться, что матрица Pb0 в (34) удовлетворяет непрерывному
уравнению Риккати (см. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ])
      </p>
      <p>
        XBR−1BTX − ATX − XA − Q = 0.
Тогда решение непрерывной задачи стабилизации определяется формулой (см. [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ])
Вычисляя K в формуле (37), получаем
      </p>
      <p>u0 = −Kx = −R−1BTPb0x.</p>
      <p>K =</p>
      <p>k + √k2 + 1 q2(k + √k2 + 1) .</p>
      <p>Из (35) и (38) следует, что Kb −→ K при h −→ 0. Таким образом, при шаге дискретизации, стремящемся
к нулю, решение дискретной задачи оптимальной стабилизации сходится к решению непрерывной задачи
оптимальной стабилизации.
5</p>
      <p>Численное моделирование процедуры стабилизации маятника
Для оценки эффективности описанной процедуры стабилизации маятника было проведено численное
моделирование при k = 1 в уравнении (3). На рисунках 1 4 приведены зависимости углового отклонения ϕ,
угловой скорости ϕ˙ и управления u от времени в случае, когда движение маятника описывается линейным
дифференциальным уравнением (2). Рисунок 5 отвечает случаю, когда движение маятника описывается
нелинейным дифференциальным уравнением (1). На приведенных графиках по оси абсцисс откладывается
время, по левой оси ординат откладываются значения ϕ и ϕ˙, а по правой оси ординат откладываются
значения u.
(32)
(33)
(34)
(35)
(36)
(37)
(38)
Рис. 1: Стабилизация линейного маятника импульсным управлением с h = 10.
Рис. 2: Стабилизация линейного маятника импульсным управлением с h = 1.
Рис. 3: Стабилизация линейного маятника импульсным управлением с h = 0, 1.</p>
      <p>Рис. 4: Стабилизация линейного маятника непрерывным управлением.
Рис. 5: Стабилизация нелинейного маятника импульсным управлением с h = 1.</p>
      <p>246
Список литературы
[4] M. Jungers, C. Oara, H. Abou-Kandil, R. Stefan. General matrix pencil techniques for solving
discretetime nonsymmetric algebraic Riccati equations. SIAM J. Matrix Anal. Appl., 31(3):1257–1278, 2009.
Stabilization of the inverted pendulum
with stationary pivot point
Roman I. Shevchenko
Ural Federal University (Yekaterinburg, Russia)</p>
      <p>Abstract. Piecewise constant controls are used to stabilize the unstable vertical stationary point of a
pendulum. The initial continuous-time problem is changed by the discrete-time problem. Then the
discretetime algebraic Riccati equation is solved in order to obtain the desired control. Under special consideration is the
convergence of the continuous-time problem solution to the discrete-time problem solution as the discretization
step comes to zero.</p>
      <p>Keywords: linear-quadratic regulator, algebraic matrix Riccati equation, piecewise constant control, optimal
stabilization.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>Kh</surname>
            .
            <given-names>D.</given-names>
          </string-name>
          <string-name>
            <surname>Ikramov</surname>
          </string-name>
          .
          <article-title>Numerical solution of matrix equations</article-title>
          . Moscow, Nauka,
          <year>1984</year>
          .
          <article-title>(in Russian) = Х</article-title>
          . Д. Икрамов.
          <article-title>Численное решение матричных уравнений</article-title>
          . Москва, Наука,
          <year>1984</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>H.</given-names>
            <surname>Kwakernaak</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Sivan</surname>
          </string-name>
          .
          <article-title>Linear optimal control systems</article-title>
          . Moscow, Mir,
          <year>1977</year>
          .
          <article-title>(in Russian) = Х</article-title>
          . Ква- кернаак, Р. Сиван.
          <article-title>Линейные оптимальные системы управления</article-title>
          . Москва, Мир,
          <year>1977</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>V. V.</given-names>
            <surname>Prasolov</surname>
          </string-name>
          .
          <article-title>Problems and theorems in linear algebra</article-title>
          . Moscow, Nauka,
          <year>1996</year>
          .
          <article-title>(in Russian) = В</article-title>
          . В. Прасолов.
          <article-title>Задачи и теоремы линейной алгебры</article-title>
          . Москва, Наука,
          <year>1996</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>