Файл: Сейдж Э.П. Идентификация систем управления.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 27.06.2024

Просмотров: 130

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

28

КЛАССИЧЕСКИЕ МЕТОДЫ ИДЕНТИФИКАЦИИ

[ГЛ. 2

пренебрежимо малы. При этом мы сталкиваемся с задачей оценки постоянного сигнала

Rwz (х) = Rwhii)

в присутствии гауссовского шума с нулевым средним и дис­ персией

M y) = M i W u (?)•

Тогда легко показать (Сейдж и Мелса [1271), что оптималь­

ная оценка равна

<

*а(0 =

О

Математическое ожидание выхода фильтра при этом равно Rwh (т). Если выход сглаживающего фильтра разделить на R w, его среднее значение будет h (т), т. е. та самая ве­ совая функция, которую мы пытаемся определить. Дис­ персия ошибки идентификации при этом равна

var {h(т)} = (1jRl) var (ха (t)} = Rv(0)/tRw,

По заданной дисперсии ошибки можно найти требуемую минимальную продолжительность процесса идентифи­ кации

^min > R V(0)/i?a, var ОДт)}.

Пример 2.3.1. Продемонстрируем различные источни­ ки ошибок, возникающих при идентификации, для слу­ чая h (т) = е~а^. Точное выражение для корреляционной функции выходного шума мультипликатора (2.3.17) при­ мет вид

Re (Т) = Rv (Т) RvfiD (Т) + ЛшЗ (Т, т) + Rlfiu (т) е-ау12а,

где

J е-*", — t < T < t ,

[О в противном случае.

Ясно, что второй член в этом выражении меньше осталь­ ных, так что хорошим приближением может служить

R I

1

var {А СО) ~ ITT

2at '

2.4] ИДЕНТИФ ИКАЦИЯ Н ЕС ТА Ц И О Н А РН Ы Х ОБЪ ЕКТО В

29

Дисперсия ошибки идентификации убывает с ростом ин­ тервала наблюдений t. Учет «собственного шума», вноси­ мого пробным сигналом, не приводит к существенным ус­ ложнениям. Снова можно использовать достаточно боль­ шое время наблюдений, выбирая R w достаточно малым, чтобы шум не влиял на нормальную работу системы.

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

Литература по идентификации содержит многочислен­ ные исследования корреляционных методов идентифика­ ции. Многие из них упомянуты в нашем библиографичес­ ком указателе. Среди наиболее содержательных — рабо­ ты Эйкхоффа [37, 38], Левина [90], Лихтенбергера [91], Линденлауба и Купера [92] и Турина [143].

2.4. ИДЕНТИФИКАЦИЯ НЕСТАЦИОНАРНЫХ ЛИНЕЙНЫХ ОБЪЕКТОВ ПО ОТКЛИКУ НА СИНУСОИДАЛЬНЫЙ СИГНАЛ

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

Н (s) возбуждается входным сигналом

вида A sin

at,

то установившаяся форма выходного

сигнала

есть

A R ( со) sin [at +cp (со)]. Здесьi? (а) — отношение амплитуды синусоидальной составляющей частоты со на выходе к амплитуде на входе, а ф (со) — сдвиг фаз между входом и

выходом. Легко показать, что R (со)

и ф (со) связаны с Н (s)

соотношениями

 

 

 

R (со) =

I Н (s) I

U * .

(2.4.1)

ф(«о) =

arg Г (s) U jc.

(2.4.2)

Поэтому, измеряя отклик на синусоидальный сигнал, а именно R (со) и ф (со) для ряда значений со, удается по­


30 КЛАССИЧЕСКИЕ МЕТОДЫ ИДЕНТИФИКАЦИИ и \ д . 2

лучить графики амплитуды и фазы передаточной функции (так называемые графики Боде). Наличия этих графиков достаточно для некоторых целей, например для исследо­ вания устойчивости и компенсации. При необходимости получить аналитическое выражение передаточной функ­ ции можно воспользоваться кусочно-линейной аппрокси­ мацией экспериментальной кривой (Мелса и Шульц [102]). Нередко форму передаточной функции удается опреде­ лить из общих соображений о свойствах объекта. При этом указанным методом можно легко найти ее параметры. Детали этого подхода содержатся в упомянутой работе Мелсы и Шульца [102].

Метод отклика на синусоидальный сигнал можно рас­ пространить на линейные нестационарные системы, хотя при этом он оказывается значительно сложнее простой процедуры, рассмотренной выше. Для построения соот­ ветствующего алгоритма необходимо рассмотреть «пре­ образовательный» метод для линейных нестационарных объектов. Двухстороннее преобразование Лапласа от переходной матрицы объекта, описываемого системой линейных дифференциальных уравнений с постоянными коэффициентами, имеет вид

ОО

Ф (s) =| § Ф (t — т) e~s(!-T)dt = (si — А)

— ОО

Фундаментальное свойство линейных стационарных объ­ ектов состоит в том, что их переходная матрица зависит только от «возраста системы» (2 — т). Для нестационар­ ных объектов эго неверно, так что переходная матрица должна быть записана в общей форме Ф (2, т). По анало­ гии с предыдущим равенством все же можно определить следующее преобразование:

(2.4.3)

— оо

Верхний предел интегрирования, можно заменить на t, поскольку

ф (2, т) = 0 при т

2.


2.4] ИДЕНТИФИКАЦИЯ НЕСТАЦ ИОН АРН Ы Х О БЪ ЕКТО В

31

Удобно определить вектор г (t) — В (t)u (^.представляю­ щий свободные члены рассматриваемой системы

х (t) = А (t) х (t) + В (<) u (t).

Можно показать, что для вектора состояния справедливо выражение

00

 

х (t) — Ц Ф (t, /со) R (/са) е;'“( da,

(2.4.4)

—оо

 

являющееся обобщением известного матричного соотно­ шения для стационарных систем.

Важным свойством матрицы характеристик реакции системы на показательное возмущение Ф (t, /со) является то, что она удовлетворяет линейному дифференциальному уравнению, решить которое проще, чем интегральное уравнение для передаточной функции системы. Кроме то­ го, она позволяет разработать перспективный подход к задаче идентификации нестационарных линейных объек­ тов. Можно показать, что эта матрица должна удовлетво­ рять линейному матричному дифференциальному урав­ нению

ф (*» Щ + I/®1 — A (t)) Ф (<, /со) = I, (2.4.5)

в котором /со рассматривается как фиксированный пара­ метр. Последнее уравнение представляет интерпретацию в терминах состояния уравнения Заде (Заде [149]) для зави­ сящих от времени частотных преобразований. Для стацио­ нарной системы

-|-ф (г,/со) = 0

(2.4.6)

и, как уже указывалось выше,

Ф(£, /со) = [/col — А]-1.

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

82 КЛАССИЧЕСКИЕ МЕТОДЫ ИДЕНТИФИКАЦИИ 1ГЛ. 2

ному с уравнением, описывающим динамику физической системы. Если рассматриваемое преобразование удается измерить, его можно подставить в это уравнение и опре­ делить его коэффициенты. С помощью алгебраических опе­ раций над этими коэффициентами можно получить выра­ жение характеристической матрицы дифференциального уравнения, описывающего неизвестную систему. Перио­ дическое повторение этой процедуры позволяет выявить изменения, происходящие в системе с течением времени (Сейдж и Чоат [119]).

Для математической формулировки задачи рассмотрим

систему с одним входом,

описываемую

уравнениями

х =

A(f)x -f- B(£)u,

(2.4.7)

z =

Сх +

Du.

(2.4.8)

Здесь х — /г-мерный вектор состояния, a z— скалярный выход, определяемый уравнением (2.4.8) через известные матрицы С и D. Предполагается, что по крайней мере пер­ вая компонента хг вектора х может быть определена одно­ временно с наблюдением *. m-мерный вектор входа и по­ лучается из скалярного входа и в соответствии с уравне­ нием

 

ит =

[и, ри, ... , рт_1,и],

 

(2.4.9)

в котором через р

обозначен

оператор

d/dt. Матрицы

A (t) и В (t) неизвестны полностью,

однако

предполага­

ется, что они имеют вид

 

 

 

 

 

Г

0

1

0

. .

0

-

A (t)

 

0

0

1

. .

0

, (2.4.10)

[Milt (91 —

0

0

0

. .

1

 

 

 

“пЗ Ю апз(г> • . .

a

(t)

 

~

0

0

0 .

 

О Н

в (*) =

 

0

0

0 . . .

0

, (2.4.11)

[М 0 1 =

0

0

0 . . .

0

 

LbmW

к ^ ) ЬпЗ<4> •

. .

Ь (t)

 

 

пт' '_|

или ’могут быть приведены к такому виду невырожденным линейным преобразованием. Таким образом, задача иден­ тификации, сформулированная в терминах уравнения


2.4]

ИДЕНТИФИКАЦИЯ

Н ЕСТАЦ ИОН АРН Ы Х ОБЪЕКТОВ

33

(2.4.7), заключается

в определении

функций времени

 

ani(t),

i =

1, . .

п,

(2.4.12)

 

К k(t),

к =

1 , . .

. , т .

(2.4.13)

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

Зависящее от времени частотное преобразование h (/со, t) определяется равенством

ь (/СО, г) =

Т (/со) X(/СО, t),

 

(2.4.14)

Т (/со) = [М /со)],

 

 

(2.4.15)

* « 0 ® ) - *!(£ -*)!

~ [ к ] (

;Ш)

’ 1 > к ’

(2.4.16)

tiK(/®) — 0,

i

/с,

 

(2.4.17)

1Т (/со) [ =

1,

 

 

(2.4.18)

г (/со, t) = 5

w(f, l)

 

dl.

(2.4.19)

—оо

Переходная функция w (t, £) представляет реакцию век­ тора состояния, когда на вход подается единичный ска­ чок в момент t = |. Нетрудно проверить, что из определе­ ния (2.4.14) следует такое свойство элементов h (/co,Z):

hi (/со, t) = phi-x (/со,t), i = 2, ..., n.

(2.4.20)

Определение h (/со, t), данное в терминах отклика на еди­ ничный импульс, можно сформулировать через реакцию системы (2.4.7) на синусоидальное возбуждение. В самом деле, равносильное определение h (/со, t) имеет вид

Ь (/со, t) = е~м Т (/со) I (/со, t),

(2.4.21)

где ^ (/со, t) — отклик системы на вход и = е3'й'. В рассмат­ риваемой схеме идентификации уравнение (2.4.21) исполь­ зуется как средство определения h (/со,f).

Элементы h (/со, t) принадлежат полю комплексных чи­ сел. Поскольку результатами измерений являются дей-2

2 Э, И, Сейдж, Дж. Л. Мелса


34 КЛАССИЧЕСКИЕ М ЕТОДЫ ИДЕНТИФИКАЦИИ [ГЛ . 2

ствительные числа, удобно разложить этот вектор на дей­

ствительную и мнимую. части.

 

Полагая

для

краткости

h =

h (/со, t), обозначая действительную

часть индексом

R и мнимую часть индексом I и рассматривая со как фик­

сированный параметр, можно

показать, что

 

Л .

 

E r , ( / со, i) --

Е х (/со, t) '

 

 

Г к к

(/со,

<)'

 

 

 

U J “

 

(2.4.22)

р

 

. E j (/со, f)

E r (/со, <)_

 

"

 

 

 

 

 

 

 

[>1(/со, i)

где и х

 

я-матрица Е (/со, t) имеет такую

же форму, как

и

A (if),

элементы

{епг (/со, £)}

связаны

с

элементами

{ani (£)}

матрицы А (£) формулами

 

 

 

 

 

 

 

п—1

 

^_г

 

 

 

 

 

еПг (М 0 = 2

1

'

1

 

<2-4-23)

 

 

 

 

н=г '

 

 

а Ек и Ei — соответственно действительная и мнимая ча­ сти матрицы Е. Добавочный элемент а„,„+1 (£) принима­ ется равным—1; я-вектор к (/со, t) связан с матрицей в (0 равенством

Г

1

к (/со, t) = В (£)

/со

(2.4.24)

L

(/ф)”1-1 J

Если известны h и ph, то, подставляя их в (2.4.22), с по­ мощью (2.4.23) и (2.4.24) можно получить два алгебраи­ ческих уравнения для функций ani (t) и hnk (t). Измеряя h

на q частотах со1( со2, ..., сод,

удается

получить 2q таких

уравнений. Допуская, что s

из п

т функций ani (t)

и hnlt (t) известны априори, приходим к выводу, что для

определения матриц' А (I) и В (£) нужно

взять q = (я +

+ т s)l2 или q = (я + т -J- 1 — s)l2,

в зависимости от

того, какое из этих чисел окажется целым.

Итак, если обозначить

 

(t) = [anl(t), an2(t),.. •) ®nn (*)• &nl(0, . . ., fcnm(<)], (2.4.25)

то задача идентификации может быть кратко сформули­ рована как задача определения Х(£). Чтобы получить вы­ ражение для X, удобно определить

f (/ с о ,

t) = ( р + /с о ) h ( /с о ,

£ ).

( 2 . 4 . 2 6 )