В теория управления , то матрица переходов между состояниями - матрица, произведение которой на вектор состояния Икс { displaystyle x} в начальное время т 0 { displaystyle t_ {0}} дает Икс { displaystyle x} позже т { displaystyle t} . Матрица переходов состояний может использоваться для получения общего решения линейных динамических систем.
Решения для линейных систем
Матрица переходов состояний используется для нахождения решения общей представление в пространстве состояний из линейная система в следующей форме
Икс ˙ ( т ) = А ( т ) Икс ( т ) + B ( т ) ты ( т ) , Икс ( т 0 ) = Икс 0 { displaystyle { dot { mathbf {x}}} (t) = mathbf {A} (t) mathbf {x} (t) + mathbf {B} (t) mathbf {u} (t ), ; mathbf {x} (t_ {0}) = mathbf {x} _ {0}} ,куда Икс ( т ) { Displaystyle mathbf {х} (т)} состояния системы, ты ( т ) { Displaystyle mathbf {и} (т)} входной сигнал, А ( т ) { Displaystyle mathbf {A} (т)} и B ( т ) { Displaystyle mathbf {B} (т)} находятся матричные функции , и Икс 0 { displaystyle mathbf {x} _ {0}} начальное условие при т 0 { displaystyle t_ {0}} . Использование матрицы перехода состояний Φ ( т , τ ) { Displaystyle mathbf { Phi} (т, тау)} , решение дается формулой:[1] [2]
Икс ( т ) = Φ ( т , т 0 ) Икс ( т 0 ) + ∫ т 0 т Φ ( т , τ ) B ( τ ) ты ( τ ) d τ { displaystyle mathbf {x} (t) = mathbf { Phi} (t, t_ {0}) mathbf {x} (t_ {0}) + int _ {t_ {0}} ^ {t } mathbf { Phi} (t, tau) mathbf {B} ( tau) mathbf {u} ( tau) d tau} Первый член известен как реакция с нулевым входом а второй член известен как нулевой ответ .
Серия Пеано – Бейкера
Наиболее общая матрица перехода дается рядом Пеано – Бейкера
Φ ( т , τ ) = я + ∫ τ т А ( σ 1 ) d σ 1 + ∫ τ т А ( σ 1 ) ∫ τ σ 1 А ( σ 2 ) d σ 2 d σ 1 + ∫ τ т А ( σ 1 ) ∫ τ σ 1 А ( σ 2 ) ∫ τ σ 2 А ( σ 3 ) d σ 3 d σ 2 d σ 1 + . . . { displaystyle mathbf { Phi} (t, tau) = mathbf {I} + int _ { tau} ^ {t} mathbf {A} ( sigma _ {1}) , d sigma _ {1} + int _ { tau} ^ {t} mathbf {A} ( sigma _ {1}) int _ { tau} ^ { sigma _ {1}} mathbf {A } ( sigma _ {2}) , d sigma _ {2} , d sigma _ {1} + int _ { tau} ^ {t} mathbf {A} ( sigma _ {1 }) int _ { tau} ^ { sigma _ {1}} mathbf {A} ( sigma _ {2}) int _ { tau} ^ { sigma _ {2}} mathbf { A} ( sigma _ {3}) , d sigma _ {3} , d sigma _ {2} , d sigma _ {1} + ...} куда я { displaystyle mathbf {I}} это единичная матрица . Эта матрица сходится равномерно и абсолютно к существующему и единственному решению.[2]
Другие свойства
Матрица перехода состояний Φ { Displaystyle mathbf { Phi}} удовлетворяет следующим отношениям:
1. Он непрерывен и имеет непрерывные производные.
2, это никогда не бывает единичным; по факту Φ − 1 ( т , τ ) = Φ ( τ , т ) { Displaystyle mathbf { Phi} ^ {- 1} (т, тау) = mathbf { Phi} ( тау, т)} и Φ − 1 ( т , τ ) Φ ( т , τ ) = я { Displaystyle mathbf { Phi} ^ {- 1} (т, тау) mathbf { Phi} (т, тау) = I} , куда я { displaystyle I} - единичная матрица.
3. Φ ( т , т ) = я { Displaystyle mathbf { Phi} (т, т) = I} для всех т { displaystyle t} .[3]
4. Φ ( т 2 , т 1 ) Φ ( т 1 , т 0 ) = Φ ( т 2 , т 0 ) { Displaystyle mathbf { Phi} (t_ {2}, t_ {1}) mathbf { Phi} (t_ {1}, t_ {0}) = mathbf { Phi} (t_ {2}, t_ {0})} для всех т 0 ≤ т 1 ≤ т 2 { Displaystyle т_ {0} leq t_ {1} leq t_ {2}} .
5. Он удовлетворяет дифференциальному уравнению ∂ Φ ( т , т 0 ) ∂ т = А ( т ) Φ ( т , т 0 ) { displaystyle { frac { partial mathbf { Phi} (t, t_ {0})} { partial t}} = mathbf {A} (t) mathbf { Phi} (t, t_ { 0})} с начальными условиями Φ ( т 0 , т 0 ) = я { Displaystyle mathbf { Phi} (t_ {0}, t_ {0}) = I} .
6. Матрица переходов между состояниями Φ ( т , τ ) { Displaystyle mathbf { Phi} (т, тау)} , данный
Φ ( т , τ ) ≡ U ( т ) U − 1 ( τ ) { Displaystyle mathbf { Phi} (т, тау) эквив mathbf {U} (т) mathbf {U} ^ {- 1} ( тау)} где п × п { Displaystyle п раз п} матрица U ( т ) { Displaystyle mathbf {U} (т)} это матрица фундаментальных решений это удовлетворяет
U ˙ ( т ) = А ( т ) U ( т ) { Displaystyle { точка { mathbf {U}}} (т) = mathbf {A} (т) mathbf {U} (т)} с начальным условием U ( т 0 ) = я { displaystyle mathbf {U} (t_ {0}) = I} .7. Учитывая состояние Икс ( τ ) { Displaystyle mathbf {х} ( тау)} в любое время τ { Displaystyle тау} , состояние в любое другое время т { displaystyle t} задается отображением
Икс ( т ) = Φ ( т , τ ) Икс ( τ ) { Displaystyle mathbf {х} (т) = mathbf { Phi} (т, тау) mathbf {х} ( тау)} Оценка матрицы переходов состояний
в неизменный во времени случае, мы можем определить Φ { Displaystyle mathbf { Phi}} , с использованием матричная экспонента , так как Φ ( т , т 0 ) = е А ( т − т 0 ) { Displaystyle mathbf { Phi} (т, т_ {0}) = е ^ { mathbf {A} (т-т_ {0})}} .
в временной вариант случае матрица перехода между состояниями Φ ( т , т 0 ) { Displaystyle mathbf { Phi} (т, т_ {0})} можно оценить из решений дифференциального уравнения ты ˙ ( т ) = А ( т ) ты ( т ) { Displaystyle { точка { mathbf {u}}} (t) = mathbf {A} (t) mathbf {u} (t)} с начальными условиями ты ( т 0 ) { displaystyle mathbf {u} (t_ {0})} данный [ 1 , 0 , … , 0 ] Т { Displaystyle [1, 0, ldots, 0] ^ {T}} , [ 0 , 1 , … , 0 ] Т { Displaystyle [0, 1, ldots, 0] ^ {T}} , ..., [ 0 , 0 , … , 1 ] Т { Displaystyle [0, 0, ldots, 1] ^ {T}} . Соответствующие решения обеспечивают п { displaystyle n} столбцы матрицы Φ ( т , т 0 ) { Displaystyle mathbf { Phi} (т, т_ {0})} . Теперь из свойства 4, Φ ( т , τ ) = Φ ( т , т 0 ) Φ ( τ , т 0 ) − 1 { Displaystyle mathbf { Phi} (т, тау) = mathbf { Phi} (т, т_ {0}) mathbf { Phi} ( тау, т_ {0}) ^ {- 1} } для всех т 0 ≤ τ ≤ т { Displaystyle т_ {0} leq tau leq t} . Матрица перехода между состояниями должна быть определена до того, как можно будет продолжить анализ нестационарного решения.
Смотрите также
Рекомендации
^ Бааке, Майкл; Шлейгель, Ульрике (2011). «Серия Пеано Бейкера». Труды Математического института им. В. А. Стеклова. . 275 : 155–159. ^ а б Ру, Уилсон (1996). Теория линейных систем . Река Аппер Сэдл, Нью-Джерси: Prentice Hall. ISBN 0-13-441205-2 . ^ Брокетт, Роджер В. (1970). Конечномерные линейные системы . Джон Вили и сыновья. ISBN 978-0-471-10585-5 . дальнейшее чтение