Алгебраическое уравнение Риккати — это тип нелинейного уравнения, которое возникает в контексте задач оптимального управления на бесконечном интервале времени в непрерывном или дискретном времени .
Типичное алгебраическое уравнение Риккати похоже на одно из следующих:
алгебраическое уравнение Риккати с непрерывным временем (CARE):
или алгебраическое уравнение Риккати с дискретным временем (DARE):
P — неизвестная симметричная матрица размера n на n , а A , B , Q , R — известные матрицы вещественных коэффициентов , причем Q и R симметричны.
Хотя обычно это уравнение может иметь множество решений, обычно указывается, что мы хотим получить единственное стабилизирующее решение, если такое решение существует.
Этим уравнениям дано название Риккати из-за их связи с дифференциальным уравнением Риккати . Действительно, CARE проверяется инвариантными во времени решениями соответствующего матричного дифференциального уравнения Риккати. Что касается DARE, то оно проверяется инвариантными во времени решениями матричного разностного уравнения Риккати (которое является аналогом дифференциального уравнения Риккати в контексте LQR с дискретным временем).
В задачах оптимального управления с бесконечным интервалом времени нас заботит значение некоторой интересующей переменной сколь угодно далеко в будущем, и нужно оптимально выбрать значение управляемой переменной прямо сейчас, зная, что она также будет вести себя оптимально в любой момент времени. будущее. Оптимальные текущие значения управляющих переменных задачи в любой момент можно найти, используя решение уравнения Риккати и текущие наблюдения за развивающимися переменными состояния. При наличии нескольких переменных состояния и нескольких переменных управления уравнение Риккати будет матричным уравнением.
Алгебраическое уравнение Риккати определяет решение неизменной во времени задачи линейно-квадратичного регулятора (LQR), а также решения инвариантной во времени задачи линейно-квадратично-гауссовского управления с бесконечным горизонтом (LQG). Это две наиболее фундаментальные проблемы теории управления .
Типичная спецификация задачи линейно-квадратического управления с дискретным временем состоит в минимизации
подчиняется уравнению состояния
где x — вектор переменных состояния размером n × 1, u — вектор переменных управления размером k × 1, A — матрица перехода состояний n × n , B — матрица множителей управления размером n × k , Q ( n × n ) является симметричной положительной полуопределенной матрицей стоимости состояния , а R ( k × k ) является симметричной положительно определенной матрицей стоимости управления.
Индукцию назад во времени можно использовать для получения оптимального решения управления в каждый момент времени: [1]
с симметричной положительно определенной матрицей себестоимости P , развивающейся назад во времени из согласно
которое известно как динамическое уравнение Риккати с дискретным временем этой задачи. Стационарную характеристику P , соответствующую задаче с бесконечным горизонтом, в которой T стремится к бесконечности, можно найти путем многократного повторения динамического уравнения до тех пор, пока оно не сходится; тогда P характеризуется удалением индексов времени из динамического уравнения.
Обычно решатели пытаются найти единственное стабилизирующее решение, если такое решение существует. Решение является стабилизирующим, если его использование для управления соответствующей системой LQR делает замкнутую систему стабильной.
Для CARE контроль
а матрица передачи состояний замкнутого контура равна
которая устойчива тогда и только тогда, когда все ее собственные значения имеют строго отрицательную действительную часть.
Для DARE управление
а матрица передачи состояний замкнутого контура равна
который устойчив тогда и только тогда, когда все его собственные значения находятся строго внутри единичного круга комплексной плоскости.
Решение алгебраического уравнения Риккати можно получить путем матричной факторизации или путем итерации уравнения Риккати. Один тип итерации можно получить в случае дискретного времени, используя динамическое уравнение Риккати, которое возникает в задаче с конечным горизонтом: в задаче последнего типа каждая итерация значения матрицы важна для оптимального выбора в каждый период, который представляет собой конечное расстояние во времени от конечного периода времени, и если оно повторяется бесконечно далеко назад во времени, оно сходится к конкретной матрице, которая имеет значение для оптимального выбора, за бесконечный отрезок времени до конечного периода, то есть, когда есть бесконечный горизонт.
Также возможно найти решение, найдя собственное разложение более крупной системы. Для CARE мы определяем матрицу Гамильтона
Поскольку оно является гамильтоновым, то если оно не имеет собственных значений на мнимой оси, то ровно половина его собственных значений имеет отрицательную действительную часть. Если мы обозначим матрицу, столбцы которой образуют базис соответствующего подпространства, в блочно-матричной записи как
затем
является решением уравнения Риккати; при этом собственные значения являются собственными значениями с отрицательной действительной частью.
Для DARE, когда он обратим, мы определяем симплектическую матрицу
Поскольку он симплектичен, если он не имеет собственных значений на единичной окружности, то ровно половина его собственных значений находится внутри единичного круга. Если мы обозначим матрицу, столбцы которой образуют базис соответствующего подпространства, в блочно-матричной записи как
где и являются результатом разложения [2]
затем
является решением уравнения Риккати; при этом собственными значениями являются собственные значения, находящиеся внутри единичного круга.
