Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

3832

.pdf
Скачиваний:
1
Добавлен:
15.11.2022
Размер:
25.44 Mб
Скачать

(при необходимости индекс k может принимать и отрицательные значения).

Вектор состояния в момент времени tk. в общем случае обозначается

x(tk ) или x[tk ].

(2.99)

В наиболее типичном случае интервал последовательности (2.98) по-

стоянен: tk-tk1= =const, и одинаков для всех компонент вектора состояния. В

этом случае при t0 = 0 величина tk в (2.99) равна k . Однако цифровые управ-

ляющие вычислительные системы часто работают с различными интервала-

ми повторения для различных групп переменных (быстроменяющихся, мед-

ленноменяющихся). В этом случае структура пространства состояний с дис-

кретным временем усложняется (пространство разделяется на субпростран-

ства).

Евклидово пространство состояний конечномерной системы с дискрет-

ным временем не отличается от предыдущего. Однако перемещение изобра-

жающей точки происходит скачками, и вектор состояния x[k] = х(tk) опреде-

лен лишь в дискретные моменты времени (2.98). Соответствующая иллюст-

рация для трехмерного случая приведена на рис. 2.13, б.

Встречаются такие случаи, когда последовательность (2.98) является случайной. Помимо дискретности по времени может иметь место дискрет-

ность (квантование) по уровню. Это особенно характерно для систем управ-

ления с микропроцессорами, имеющими небольшое число разрядов. Все это определяет большое число вариантов пространств состояний и процессов в них.

При векторном описании процессов получаемые модели пространства состояний называют моделями «вход-состояние-выход» (рис. 2.2). При этом

/2/ переменные состояния представляют собой набор внутренних перемен-

ных, который является полным набором в том смысле, что если эти перемен-

ные известны в некоторое время, то любой выход объекта y(t) может быть вычислен для любого последующего времени как функция от переменных

состояния, а также настоящих и будущих значений входов. Если мы обозна111

чим через х вектор, соответствующий конкретному выбору переменных со-

стояния, то общая форма модели в переменных состояния при входном

(управляющем) векторе u U и векторе выхода (наблюдения) y Y:

dx

 

 

 

 

f ( x(t ),u(t ),t ),

(2.100)

 

dt

 

y(t ) g( x(t ),u(t ),t )

для непрерывных систем, или

x[k 1] fd ( x[k ],u[k ],k ),

(2.101)

y[k ] gd ( x[k ],u[k ],k )

 

 

 

для систем с дискретным временем, где f, fd, g, gd – функции, зависящие от координат состояния и управления.

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

(2.100)) часто облегчает численные решения различных задач управления.

Это особенно верно в линейном случае, где существенные усилия были по-

священы мощным цифровым методам решения этих задач управления. Для линейных систем выполняется принцип суперпозиции. При этом говорят, что система инвариантна по времени (стационарна), если реакция на сдвинутый по времени вход просто является сдвинутой по времени исходной реакцией

(см. п. 1.4.3).

В линейном, стационарном случае, векторные уравнения (2.100) можно представить в виде

dx(t )

 

 

 

 

x(t ) u(t ), ,

(2.102)

dt

y(t ) Cx(t ) Du(t ),

 

 

 

 

где А, В, С и D – матрицы соответствующих размерностей.

Для дискретных систем можно также ввести дискретные модели про-

странства состояний /2/. Пусть x[n] в (2.63) имеет вид

x[n] bm mu[n] bm 1 m 1u[n] b0u[n] .

112

Тогда, по аналогии с (2.102) можно записать

x[n] A x[n] u[t ],

,

(2.103)

y[t] C x[n] D u[n],

 

 

 

 

где x[n], u[n] и y[n] – последовательности состояния, входа и выхода соот-

ветственно.

Проиллюстрируем построение модели пространства состояний на при-

мере электрической цепи.

Пример 2.3. Рассмотрим простую электриче-

скую цепь, показанную на рис. 2.14.

Предположим, что в качестве выходной координаты рассматривается падение напря-

жения v(t) на резисторе R2.

Рис. 2.14. Электрическая цепь

Применяя основные законы электриче-

ских цепей, получим следующие уравнения:

 

 

 

 

 

 

di(t )

 

 

 

 

v(t ) L

 

 

,

 

 

 

 

 

 

 

 

 

 

 

dt

dv(t )

v(t )

.

 

vf (t ) v(t )

 

 

 

 

i(t ) C

 

 

 

.

 

 

 

 

 

 

R1

 

 

 

dt

R2

 

 

 

 

 

 

Эти уравнения могут быть преобразованы в следующие:

di(t )

1

 

v(t ),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

L

 

 

 

 

 

 

.

(2.104)

dv(t )

1

 

1

 

1

vf (t )

 

.

 

 

 

 

 

i(t )

 

 

 

v(t )

 

 

 

 

 

 

 

 

 

dt

 

 

C

R1C

R2C

R1C

 

 

 

 

 

 

Уравнения (2.104) имеют форму векторных уравнений (2.100), если в качестве пе-

ременных состояния выбрать х1(t) =i(t) и x2(t) = v(t), т. е. вектор состояния имеет вид х(t) = [х1(t) х2(t)]T.Уравнение, соответствующее второму уравнению (2.100), дает ничто иное, как

у(t) = v(t)=x2(t).

Итак, уравнения (2.104) представляют собой линейную модель пространства со-

стояний, одну из форм уравнений (2.103), с матрицами

 

0

 

 

 

1

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L

 

,

 

 

,C

 

0

1

 

, D 0 .

(2.105)

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R1C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ñ

 

R1C

 

 

 

R2C

 

 

 

 

 

 

 

 

 

 

 

113

2.2.7. Линеаризация и передаточные функции моделей

«вход-состояние-выход»

Пусть уравнения состояния и выхода заданы системой (2.100), а {xQ(t), uQ(t), yQ(t); t } – множество траекторий, которые удовлетворяют этим

уравнениям.

Пусть также xQ(t0) дано, а траектория {xQ(t), uQ(t), yQ(t); t } может со-

ответствовать точке равновесия модели в пространстве состояний. В этом

случае xQ, uQ, yQ и, следовательно, из первого уравнения (2.100) имеем:

f( xQ ,uQ ) 0.

(2.106)

Пусть теперь мы хотим описать траекторию {x(t), u(t), y(t); t }, близ-

кую к траектории {xQ(t), uQ(t), yQ(t); t }. В этом случае, как и ранее (см. 2.2.1) для аппроксимации модели мы используем первые члены разложения в ряд Тейлора. Это приближение дает /6/:

 

 

 

 

f

 

 

 

 

 

 

 

f

 

 

 

 

 

 

x(t ) f ( xQ ,uQ

)

 

 

 

 

 

 

( x(t ) xQ

)

 

 

 

 

 

 

(u(t ) uQ )

 

 

x

 

x x

u

 

x x

 

 

 

 

 

 

u uQ

 

 

 

 

 

 

u uQ

 

 

 

(2.107)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q

 

 

 

 

 

 

 

 

 

 

Q

 

 

.

 

 

 

g

 

 

 

 

 

 

 

 

g

 

 

 

 

 

 

 

 

y(t ) g( x

,u

)

 

 

( x(t ) x

 

)

 

 

 

 

(u(t ) u

)

 

 

x

 

u

 

 

 

 

Q Q

 

x xQ

 

Q

 

 

x xQ

Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u uQ

 

 

 

f

 

u uQ

 

 

 

 

В (2.107) частные производные вида

 

 

обозначают матрицу, имею-

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

щую в качестве ij-го элемента fi . Заметим, что производные вычислены для

xj

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

Уравнения (2.100) имеют следующую форму:

dx(t )

x(t ) u(t ) E

 

 

 

,

(2.108)

dt

 

y(t ) Cx(t ) Du(t ) F

 

 

 

 

где

114

 

 

 

f

 

 

,

 

x

 

 

 

 

 

 

x

x Q

 

 

g

 

 

u u Q

C

 

 

 

,

 

 

x

 

 

 

 

 

x

x Q

 

 

 

 

 

 

u u Q

E

 

 

f (

 

x Q

, u Q

F

 

 

g (

x Q

, u Q

 

 

 

f

 

,

 

u

 

 

 

 

x x Q

 

 

g

 

 

u u Q

D

 

,

u

 

 

 

x x Q

u u Q

)

 

f

 

x Q

 

 

f

 

 

x

x x Q

 

u

x x Q

 

 

 

 

 

)

g

 

 

 

u u Q

x Q

 

g

 

 

 

u u Q

 

 

 

 

 

 

 

 

x

 

 

x x Q

u

 

x x Q

 

 

 

 

 

 

u u Q

 

 

 

 

 

 

 

u u Q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2.109)

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u

Q

,

 

 

 

 

 

 

u Q .

Обычно А, В, С, D, Е и F зависят от времени. Однако при линеариза-

ции в окрестности точки равновесия они будут независимы от времени.

Можно также записать приближенные уравнения в терминах прираще-

ний x(t)=x(t)-xQ(t), u(t)=u(t)-uQ(t) Из (2.107), с учетом (2.102), получим

x(t )

 

 

 

 

x(t ) u(t ) .

(2.110)

dt

 

y(t ) C x(t ) D u(t )

 

 

 

 

Система уравнений «в приращениях» дает модель, которая является линейной для приращений входов и выходов относительно выбранной рабо-

чей точки (т. е. модель для малых сигналов).

Для определения передаточной функции модели «вход-состояние-

выход» преобразуем (2.102) по Лапласу. Тогда можно записать /2, 7, 9/:

sX(s ) x(0 ) X(s ) U(s )

 

(2.111)

Y( s ) CX( s ) DU(s )

 

 

 

 

 

и, следовательно,

 

 

 

 

1

1

U(s)

 

 

X(s) (sI )

x(0 ) (sI )

 

(2.112)

 

 

 

 

Y(s) [C(sI ) 1 D]U(s) C(sI ) 1 x(0 )

 

 

 

 

 

 

где I – единичная матрица, (sI- )-1 – матрица, обратная характеристической матрице (sI- ).

При нулевых начальных условиях из (2.112) следует

1

 

 

 

 

X(s ) ( sI )

U(s ),

 

 

(2.113)

Y(s ) C( sI ) 1

 

 

D U(s ).

 

 

 

 

 

 

откуда передаточная функция

115

W(s)

Y(s)

C(sI A) 1 B D.

(2.114)

 

U(s)

 

Передаточная функция может быть записана иначе /7/, если учесть, что

(sI ) 1 (sI ) / A( s ), (2.115)

где (sI- )* – присоединенная матрица; A(s)=det(sI- ) – определитель харак-

теристической матрицы (характеристический полином системы дифференци-

альных уравнений или уравнения (2.22)).

С учетом (2.115) передаточная функция запишется в виде

W(s )

B(s )

 

 

C(sI ) DA(s )

.

(2.116)

A(s )

 

 

 

A(s )

 

Элементами присоединенной матрицы (sI- )* являются алгебраические дополнения элементов характеристической матрицы (sI- ), т.е. полиномы.

Их степени не могут превосходить (n-1), где n – порядок характеристическо-

го полинома системы. В случае одномерной системы при D=d, где d скаляр

обхода, из (2.76) имеем

W( s )

B( s )

 

 

C(sI ) dA( s )

A( s )

A(s )

 

 

Из последнего выражения следует, что степень m=degB полинома чис-

лителя не может быть выше степени n=degA полинома знаменателя и равна ей только при D 0. Это ограничивает возможности описания динамических систем в нормальной форме пространства состояний (m n). Однако, чаще всего m<n и D =0.

Пример 2.4. Перевернутый маятник /2/. Эта задача ин-

тересна с точки зрения управления, тем, что она иллюстри-

рует многие из трудностей, связанных с реальными задачами управления, особенно неустойчивыми объектами. Схема ти-

пичной системы, с перевернутым маятником показана на рис. 2.15.

На рис. 2.15 обозначено: у(t) —расстояние от опорной

Рис. 2.15. Перевернутый

маятник точки; (t) – угол маятника; f(t) —силы, приложенные к маятнику. Кроме того, используются обозначения: М – масса

116

тележки; m – масса маятника (считается, что она сосредоточена на верхнем конце); l

длина маятника.

Использование физики Ньютона в этой системе приводит к следующей модели:

 

d2 y

 

y

 

1

 

 

 

 

 

f (t ) 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t )l sin (t ) gcos ( t )sin (t )

 

dt

2

 

2

 

 

 

 

 

 

 

 

 

m sin

(t )

m

 

 

 

 

 

1

 

 

 

 

 

f (t )

2

 

 

 

2

 

 

 

 

 

 

cos (t )

(t )l sin (t )cos (t ) (1 m

 

 

 

 

l[ m sin

(t )]

 

 

 

m

 

 

(2.117)

)g sin (t )

где m= М/m. Эти уравнения нелинейны. Однако для малых отклонений от вертикаль-

ного положения мы можем выполнить линеаризацию около значений

0 = 0, 0 0 . Используя методы, рассмотренные выше, получим:

y

1 f (t )

 

 

 

 

 

 

g (t )

,

 

m

m

 

 

1

 

f (t )

 

 

 

 

 

(1

m

 

 

l m

 

m

 

(2.118)

)g sin (t ) .

Теперь мы можем преобразовать это в форму пространства состояний с входом u(t) = f(t) и выходом y(t), вводя обозначения

x1(t ) y(t )

 

 

 

(2.119)

x2 (t ) y(

t ) .

x3 (t ) (t )

 

 

 

 

x4 (t ) (t )

 

Это приводит к линейной модели пространства состояний типа (2.102), где

 

0

1

0

 

0

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

0

 

mg

 

0

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

M

,

 

 

 

M

,C

 

1 0 0 0

 

,

D 0.

(2.120)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

0

 

1

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

( N m )g

0

 

 

 

 

1

 

 

 

 

 

 

 

 

 

Ml

 

Ml

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если мы хотим получить передаточную функцию от U к Y, то

 

 

 

s

2

 

 

g 2

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W( s ) C(sI ) 1

 

 

 

 

 

l

 

.

(2.121)

 

 

 

 

 

 

 

 

M

 

 

( M m )g

 

s2

s2

 

 

 

 

 

 

Ml

 

 

 

 

 

2.2.8. Отображение моделей «вход-выход» в пространство состояний.

Как правило, пространство состояний имеет существенно большую размерность, чем пространство сигналов при исходном операторном описа-

нии. Всякая реальная динамическая система в силу закона причинности об-

117

ладает оператором (или множеством операторов), и выходной сигнал y(t)

(при дискретном времени y[k]) в случае доступности его измерения может быть определен экспериментально. Одновременно может быть измерен входной сигнал х(t) (или x[k]), откликом на который является выходной сиг-

нал. В силу физического принципа причинности оператор динамической сис-

темы (при нулевых начальных условиях) обладает следующим свойством:

для непрерывной системы y(t) зависит лишь от х(t), где t t; для дискретной системы y[k] зависит лишь от x[k'] , где k' k. Рассмотрим способы описания систем в пространстве состояний по известному аналитическому или чис-

ленному (графическому) операторному описанию.

Пусть известна физически реализуемая (m<n) передаточная функция с постоянными коэффициентами в виде (2.30) /32/. Если исключить случаи так называемых сокращающихся нулей и полюсов, передаточная функция (2.30)

однозначно соответствует, обыкновенному дифференциальному уравнению

(2.22).

Вводя обозначения

y y1 , y y2 , ......, y( n 1 ) yn ,

 

 

 

dm x

 

dm 1 x

 

dx

(2.122)

x

 

b

 

b

 

... b

 

b x.

 

 

 

 

 

1

m dtm

m 1 dtm 1

1 dt

0

Из (2.22) получаем следующее описание в пространстве состояний (y1(t),

y2(t),…., yn(t)) n:

 

 

 

 

dy(t )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ay(t ) x1

(t ),

,

(2.123)

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

y Cy1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

0

0

...

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

...

 

 

 

 

(2.124)

A

 

 

 

 

 

 

 

 

 

 

1

...

 

 

 

...

...

...

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a0

 

 

a1

 

a2

 

a3

...

 

 

an 1

 

 

an

 

an

an

an

 

an

 

 

 

 

 

 

 

 

 

 

 

 

118

B

 

0 0

... an1

 

T ,C

 

1 0 ... 0

 

.

(2.125)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Уравнения с матрицей (2.124) называют уравнениями в форме Фробе-

ниуса. Часто измерению доступна лишь величина x, а величины ее производ-

ных могут быть лишь оценены на основе того или иного алгоритма. В этих случаях использование выражения (2.122) оказывается неудобным.

Запишем другие уравнения в пространстве состояний, эквивалентные в смысле передаточной функции (2.30). Введем систему уравнений /4/

y y1 0 x,

y1 y2

1x,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y2 y3

2 x,

 

 

 

 

 

 

 

(2.126)

........................

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yn 1 yn n 1 x,

 

... an 1

y

 

x,

y

 

a0

y

a1

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

1

 

 

 

2

 

 

 

n

0

 

 

 

an

 

an

 

 

an

 

 

где координаты (y1(t), y2(t),…., yn(t)) отличны от рассмотренных в (2.122).

Приводя систему (2.126) к виду (2.22) и приравнивая в полученном уравнении коэффициенты при производных x к соответствующим коэффици-

ентам правой части (2.22), после разрешения полученной системы алгебраи-

ческих уравнений определим связь между величинами I и коэффициентами передаточной функции (2.30) в виде:

 

0

 

 

 

bn

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

bn 1

 

 

an 1b0

,

 

 

 

 

 

 

 

 

 

 

 

an2

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

(2.127)

 

 

 

 

bn 2

 

an 1b1

 

 

 

an 2b0

,

2

 

 

 

 

 

 

 

 

 

an2

 

 

an2

 

 

 

 

 

 

 

 

an

 

 

 

 

 

 

 

 

 

 

 

 

 

.......................

 

 

 

 

 

 

 

 

 

 

n

 

bn

 

an 1bn 1

 

 

 

an 2bn 2

 

a0b0

.

 

 

 

 

 

 

 

 

 

 

 

an

 

 

 

 

 

an2

 

 

 

 

an2

 

 

an2

Итак, получаем второе описание системы с оператором (2.30) в про-

странстве состояний

119

 

 

 

 

 

 

dy(t )

 

 

 

 

 

 

 

 

 

 

 

Ay(t ) x1

(t ),

 

 

(2.128)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

y Cy1 Dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Здесь

А имеет прежнее выражение

(2.124),

В = [ 1

2

n]T,

C

 

1 0 ...

0

 

, D d 0 . Второе уравнение системы (2.128) можно рас-

 

 

сматривать как скалярное уравнение наблюдения.

 

 

 

Еще одно представление в пространстве состояний можно получить путем разложения передаточной функции (2.30) на элементарные дроби. Ес-

ли корни, характеристического уравнения

 

 

ansn an 1sn 1 ... a1s a0

0

(2.129)

(собственные числа матрицы А) простые и равны 1 2 n, то (2.30) можно записать в виде

W(s )

Y(s )

 

B(s)

 

B(s)

(2.130)

 

 

 

 

 

 

A(s)

(s 1 )(s 2 ) (s n )

 

X(s)

 

 

и, следовательно, справедлива следующая система дифференциальных урав-

нений

y 1 y1 x,

y1 2 y2 x,

........................

 

 

 

 

 

 

 

 

(2.131)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yn 1 n yn x

y

 

... an 1

y

 

x,

 

y

a0

y

a1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

1

 

 

 

2

 

 

 

 

n

0

 

 

an

 

an

 

 

 

an

 

 

Запишем решение (2.131) в виде /33/

 

 

 

 

 

 

y(t ) c0 x c1 x1

c2 x2

... cn xn

(2.132)

где сi – произвольные постоянные. Тогда в данном пространстве состояний система описывается векторным уравнением в форме (2.128) при

120

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]