Научная статья на тему 'Относительный порядок дискретных моделей линейных стационарных систем'

Относительный порядок дискретных моделей линейных стационарных систем Текст научной статьи по специальности «Математика»

CC BY
126
13
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ДИСКРЕТИЗАЦИЯ / ЛИНЕЙНЫЕ СИСТЕМЫ / НЕВЫРОЖДЕННОСТЬ / АСИМПТОТИКА / SAMPLING / LINEAR TIME-INVARIANT SYSTEMS / NONSINGULARITY / ASYMPTOTICS

Аннотация научной статьи по математике, автор научной работы — Бондарко В. А.

Рассматривается вопрос об изменении ранга матричного старшего числителя передаточной функции дискретной модели многомерной линейной стационарной системы при стремлении к нулю шага дискретизации. Модель строится в предположении, что входное воздействие кусочно-постоянно. Показано, что при всех достаточно малых значениях шага ранг рассматриваемого коэффициента максимален, если выполнено естественное условие невырожденности исходной непрерывной системы-прототипа. В частности, если размерности входа и выхода системы совпадают, то в результате дискретизации с достаточно малым шагом получается дискретная модель с невырожденным старшим коэффициентом. Это свойство играет важную роль при решении многих задач теории управления. Например, классический критерий расщепляемости (decouplability) линейных систем требует невырожденности интерактора системы, а для систем с невырожденным старшим коэффициентом это условие выполняется автоматически. Другие примеры приведены в работах по построению минимаксных регуляторов. Одним из первых шагов синтеза оптимального регулятора дискретных систем общего вида служит искусственное приведение системы к такой форме, что ранг старшего коэффициента максимален. Показано, что этот шаг лишний, если дискретный объект управления получен в результате дискретизации невырожденной системы. Приведен пример дискретной модели асинхронного электродвигателя.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Relative order of sampled linear time-invariant systems

The paper considers the rank behavior of the matrix leading coefficient of transfer function numerator of a sampled multidimensional linear time-invariant system when the sampling period tends to zero. Zero order hold sampling method is used. It is shown that the rank of the coefficient under consideration for all sufficiently small values of the sampling period is maximal if the natural condition of nonsingularity of the initial continuous prototype system is satisfied. In particular, if the dimensions of the system input and output coincide, then sampled system with a nonsingular leading coefficient is generated with any sufficiently small sampling period. This feature plays an important role in solving many problems of control theory. For example, the classical criterion of decouplability of linear systems requires the nonsingularity of the system interactor, and for systems with a nonsingular leading coefficient, this condition is satisfied automatically. The other examples are given in the works dedicated to the synthesis of minimax regulators. The artificial reduction of the system to the form with the maximal rank of the leading coefficient is one of the first steps in an optimal regulator design. The results of this work have proved that this step is superfluous if a discrete system under control is a result of sampling of a nonsingular system. The example of an induction motor discrete model is given.

Текст научной работы на тему «Относительный порядок дискретных моделей линейных стационарных систем»

НАУЧНО-ТЕХНИЧЕСКИИ ВЕСТНИК ИНФОРМАЦИОННЫХ ТЕХНОЛОГИИ, МЕХАНИКИ И ОПТИКИ март-апрель 2019 Том 19 № 2 ISSN 2226-1494 http://ntv.i1mo.ru/

SCIENTIFIC AND TECHNICAL JOURNAL OF INFORMATION TECHNOLOGIES, MECHANICS AND OPTICS

March-April 2019

Vol. 19 No 2 ISSN 2226-1494

http://ntv.ifmo.ru/en

УДК 28.15.15

ОТНОСИТЕЛЬНЫЙ ПОРЯДОК ДИСКРЕТНЫХ МОДЕЛЕЙ ЛИНЕЙНЫХ СТАЦИОНАРНЫХ СИСТЕМ В.А. Бондарко

Санкт-Петербургский государственный университет, Санкт-Петербург, 199034, Российская Федерация Адрес для переписки: [email protected] Информация о статье

Поступила в редакцию 17.01.19, принята к печати 25.02.19 doi: 10.17586/2226-1494-2019-19-2-339-346 Язык статьи - русский

Ссылка для цитирования: Бондарко В.А. Относительный порядок дискретных моделей линейных стационарных систем // Научно-технический вестник информационных технологий, механики и оптики. 2019. Т. 19. № 2. С. 339-346. doi: 10.17586/22261494-2019-19-2-339-346

Аннотация

Рассматривается вопрос об изменении ранга матричного старшего числителя передаточной функции дискретной модели многомерной линейной стационарной системы при стремлении к нулю шага дискретизации. Модель строится в предположении, что входное воздействие кусочно-постоянно. Показано, что при всех достаточно малых значениях шага ранг рассматриваемого коэффициента максимален, если выполнено естественное условие невырожденности исходной непрерывной системы-прототипа. В частности, если размерности входа и выхода системы совпадают, то в результате дискретизации с достаточно малым шагом получается дискретная модель с невырожденным старшим коэффициентом. Это свойство играет важную роль при решении многих задач теории управления. Например, классический критерий расщепляемости (decouplability) линейных систем требует невырожденности интерактора системы, а для систем с невырожденным старшим коэффициентом это условие выполняется автоматически. Другие примеры приведены в работах по построению минимаксных регуляторов. Одним из первых шагов синтеза оптимального регулятора дискретных систем общего вида служит искусственное приведение системы к такой форме, что ранг старшего коэффициента максимален. Показано, что этот шаг лишний, если дискретный объект управления получен в результате дискретизации невырожденной системы. Приведен пример дискретной модели асинхронного электродвигателя. Ключевые слова

дискретизация, линейные системы, невырожденность, асимптотика Благодарности

Работа поддержана грантом РФФИ 19-08-00865.

RELATIVE ORDER OF SAMPLED LINEAR TIME-INVARIANT SYSTEMS

V.A. Bondarko

Saint Petersburg State University, Saint Petersburg, 199034, Russian Federation Corresponding author: [email protected] Article info

Received 17.01.19, accepted 25.02.19 doi: 10.17586/2226-1494-2019-19-2-339-346 Article in Russian

For citation: Bondarko V.A. Relative order of sampled linear time-invariant systems. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2019, vol. 19, no. 2, pp. 339-346 (in Russian). doi: 10.17586/2226-1494-2019-19-2-339-346 Abstract

The paper considers the rank behavior of the matrix leading coefficient of transfer function numerator of a sampled multidimensional linear time-invariant system when the sampling period tends to zero. Zero order hold sampling method is used. It is shown that the rank of the coefficient under consideration for all sufficiently small values of the sampling period is maximal if the natural condition of nonsingularity of the initial continuous prototype system is satisfied. In particular, if the dimensions of the system input and output coincide, then sampled system with a nonsingular leading coefficient is generated with any sufficiently small sampling period. This feature plays an important role in solving many problems of control theory. For example, the classical criterion of decouplability of linear systems requires the nonsingularity of the system interactor, and for systems with a nonsingular leading coefficient, this condition is satisfied automatically. The other examples are given in the works dedicated to the synthesis of minimax regulators. The artificial reduction of the system to the form with the maximal rank of the leading coefficient is one of the first steps in an optimal regulator design. The results of this work have

proved that this step is superfluous if a discrete system under control is a result of sampling of a nonsingular system. The

example of an induction motor discrete model is given.

Keywords

sampling, linear time-invariant systems, nonsingularity, asymptotics Acknowledgements

This work is supported by the grant No. 19-08-00865 of the Russian Foundation for Basic Research.

Введение

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

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

Для линейных стационарных систем было предложено множество различных методов дискретизации. В [2] они используются для расчета цифровых фильтров с бесконечной импульсной характеристикой. Наиболее распространен метод, основанный на формуле Коши для решения линейных стационарных уравнений. При фиксированном временном шаге дискретизации h>0 он обеспечивает точное совпадение выхода модели с отсчетами выходного сигнала непрерывного прототипа, если при £=0,1,... входной сигнал на каждом временном интервале \kh,{k+\)h) принимает постоянное значение. В англоязычной литературе этот способ дискретизации назван методом нулевого порядка (zero order hold, ZOH), поскольку для аппроксимации входа используются константы, т.е. многочлены нулевой степени.

Если прототипом служит линейная стационарная система, то дискретизацию можно рассматривать как отображение, которое дробно-рациональной передаточной функции прототипа ставит в соответствие также дробно-рациональную передаточную функцию модели. Размерность этих передаточных функций определяется размерностями входа и выхода, т.е. в общем случае они матричные. Если речь идет о вычислительном аспекте дискретизации, как, например, в [3], то многомерность сигналов проблем не создает, поскольку передаточные матрицы можно вычислять поэлементно. Если речь идет об анализе качественных свойств дискретной модели, то ситуация усложняется. В большинстве работ [4-8] рассматриваются скалярные системы, и полученные результаты автоматически на многомерный случай не переносятся. Если речь идет о многомерных системах [9, 10], то для решения задачи на прототип накладываются дополнительные условия типа расщепляемости (decouplability) системы. В настоящей работе вместо этого требуется невырожденность системы: должны рассматриваться только «существенные» компоненты входа и выхода, которые невозможно заменить на линейную комбинацию других компонент.

В простейшем случае, когда вход и выход рассматриваемых систем скалярны, числители и знаменатели передаточных функций суть скалярные многочлены, и относительным порядком системы называют разность их степеней. Для дискретной системы относительный порядок определяет запаздывание, с которым входной сигнал оказывает свое воздействие на выход системы. Таким образом, его значение играет ключевую роль при построении любой обратной связи, в том числе и оптимальной [11, 12]. В общем случае знаменатели скалярны, коэффициенты числителей - это матрицы соответствующей размерности, а векторный относительный порядок (по Исидори [13]) имеет ту же размерность, что и выход системы. Исследованию асимптотики относительного порядка и посвящена настоящая работа.

Постановка задачи

Рассмотрим функционирующую в непрерывном времени линейную стационарную систему с передаточной функцией W(X) = C(XI - A)-1 B, где I - единичная матрица, а A, B и C - матричные коэффициенты описывающего систему дифференциального уравнения в пространстве состояний:

dx(t)/dt = Ax(t) + Bu(t), y(t) = Cx(t). (1)

Здесь t - непрерывное время, t e [0, x) , x(t) - и-мерный вектор состояния системы, значения входного

сигнала u(t) и выходного сигнала y(t) имеют размерность m и l соответственно. Будем предполагать поначалу, что m=l.

Если управляющее воздействие (входной сигнал) постоянно на каждом из последовательных временных интервалов длиной h>0, то по формуле Коши равноотстоящие (на h) отсчеты состояния xk=x(hk), входного uk=u(hk) и выходного yk=y(hk) сигналов связаны между собой разностным уравнением в пространстве состояний

xk+1 = Pxk + Quk, y k = Cxk, k = 0,1,... (2)

с коэффициентами P = ehA, Q = A-1 (P - I)B, C. Это уравнение описывает дискретную систему -результат дискретизации исходной системы (1) по так называемому методу нулевого порядка, h называют шагом (или периодом) дискретизации.

Уравнения (1) и (2) можно переписать в форме «вход-выход», исключив из них состояние с помощью тождества Кэли:

a (d/d t )y (t) = b(d/ d t)u(t), (3)

a(V)y k = ß(V)Uk, (4)

где V - оператор сдвига вперед на один шаг дискретного времени, т.е. Vyk = yk+1, V2yk = yk+2 и т.д. Многочлены a(X), b(X), a(X), ß(X) - это числители и знаменатели соответствующих передаточных функций:

n

a(X) = det (XI - A) = П (X - Xj), b(X) = a(X)W(X), W(X) = C(XI - A)-1 B,

j=1

a(X) = det (XI - P) = П (X - ehh'), ß(X) = a(X)x(X), x(X) = C(XI - P)-1 Q.

j=1

Коэффициенты многочленов a(X) и a(X) скалярны, а у b(X^ ß(X) они имеют размерность m х l. В некоторых случаях, когда характеристический многочлен a(X) не является минимальным аннулятором матрицы A, вместо a(X) и a(X) в уравнениях (3), (4) можно использовать многочлены меньшей степени, но эти уравнения верны и в неизменном виде, так что на окончательный результат это не влияет. Под аннулятором матрицы здесь понимается многочлен со скалярными коэффициентами, старший из которых (единица) становится равным нулю, когда его аргументом служит данная матрица. Минимальный аннулятор - это аннулятор наименьшей степени. По теореме Гамильтона-Кэли, характеристический многочлен матрицы всегда служит ее аннулятором.

Выразим матричный многочлен ß(X) через его коэффициенты: ß(X) = ßjXn-1 + ß2Xn-2 + ... + ßn, где, очевидно, ß1 = CQ . Действительно, прямым умножением можно проверить, что

X(XI - P )-1 -1 = (XI - P)-1P, (5)

поэтому lim XC (XI - P) Q - CQ = lim C(XI - P)-1PQ = 0, что и требовалось. Таким образом, предметом исследования служит асимптотика

def

r (h) = rank(CQ) при всех достаточно малых h.

Теорема. Пусть l=m и det W(X) не равен нулю тождественно. Тогда r(h)=l при всех достаточно малых h>0.

Следствие. Для произвольных l и m при всех достаточно малых h значение r(h) равно максимальной размерности минора W(X), не равного нулю тождественно.

Обозначим i-ю строку произвольной матрицы T через T[i]. Определим R - векторный относительный порядок по Исидори [13] для линейной стационарной системы с матричными коэффициентами A, B, C, и ее интерактор q:

R

где R[/] - первое из натуральных чисел к, для которого к ^ Ф 0. Эти понятия широко

используются в теории управления системами с векторным входом и выходом; нам они потребуются для доказательства теоремы.

" R[1]" " C[1] AR[1]-1B

R[2] C[2]AR[2]-1B

, q =

_ R[l ] _ C[l ]AR[l ]-1B

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

Лемма 1. Пусть для некоторой (т х I )-матрицы c справедливы равенства сB=cAB=... ^^ B=0.

Тогда

c (XI - A )-1 A *+ Б = X"(XI - A )-1 B. (6)

Доказательство. Применяя аналогичное (5) равенство X (XI - A) 1 -1 = (XI - A)-1 A, получаем (XI - A)-1A2 = X(XI - A )-1 A - A = X[X(XI - A )-1 -1 ]-A = X2 (XI - A )-1 -XI - A,

(XI - A)-1 A3 = X2 (XI - A)-1 A -XA - A2 = X3 (XI - A)-1 - X21-XA - A2,

и т.д. Домножив (*+1)-е такое тождество на c слева и на Б справа, в силу условий леммы получаем искомое равенство (6). Лемма доказана.

Лемма 2. Пусть т = I и det С (XI - А) Б Ф 0 для некоторого X. Тогда найдется такая невырожденная (т х т )-матрица 8, что интерактор тройки (А, Б, 8С) невырожден.

Доказательство. Предположим, что, вопреки утверждению леммы, интерактор тройки (А, Б, 8С) вырожден для любой (т х т )-матрицы 8. Тогда и det q = 0. Положим v = 0 и С„ = С0 = С . Значение V будет использоваться для нумерации нескольких однотипных повторяющихся шагов в последующих рассуждениях.

Рассмотрим матрицу Ссо строками Су [/'] = С [/]АК"[']-1, где « [/'] - относительный порядок тройки (А,Б,С [/']) (при V = 0 он совпадает с Щ/]). Относительный порядок тройки (А,Б,С„) состоит из одних единиц, но интерактор qv у нее - тот же, что и у (А, Б, С„). По лемме 1 передаточные функции

этих троек связаны равенством

^ [1]-1

СV (XI - А)-1 Б =

X «[2]-

« [т]-1

С (XI - А)-1 Б.

Следовательно,

det Сv (XI - А)-1 Б = X2' «[']-т det Cv (XI - А)-1 Б.

(7)

Поскольку интерактор qv - вырожденная матрица, одна из ее строк - линейная комбинация остальных: С[ у ]Б = 2 ¿¡С [/ ]Б. Положим

8 =

у-1

1 -5

У+1

Очевидно, det 8 = 1. Обозначим С^ = 8 Си определим для тройки (А, Б, С^) ее векторный относительный порядок и интерактор qv+1. Интерактор останется вырожденным, поскольку

detqv+1 = det8detqv = 0 . Очевидно, далее, что Яv+1[у] > 1, поскольку С^у]Б = Сv[у]Б -2¿'¡СV['']Б = 0.

' Ф у

Остальные компоненты векторного порядка тройки (А, Б, С^) равны единице, поскольку /-е строки матриц Cv и С^ совпадают при / Ф у . Наконец,

det Cv+1 (XI - А)-1 Б = det 8 det С v (XI - А)-1 Б = X

-1» _ 12' «V[']-т

det Cv (XI - А)-1 Б

в силу (7).

Увеличим значение V на единицу и повторим рассуждения. После пт таких итераций получим

det Сит+1 (XI - A)-1 B = XK det C(XI - A)-1 B , где K>nm.

Обозначим a(X) = det(XI - A). По детерминантной лемме Шура

(8)

det C(XI - A)-1 B =

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

1

a(X)

det

XI - A -C

Таким образом, тождество (8) эквивалентно многочленному равенству

"XI - A B" "XI - A B"

det = XK det

-C _ nm+1 0 _ -C 0 _

Оно может быть верно только если нулю равны оба определителя в его левой и правой частях, а иначе степени левой и правой части будут различны. Следовательно, det С(Х1 - А)-1 В = 0 VI.

Итак, предположение о том, что для любой (т х т )-матрицы 8 интерактор тройки (А, В, 8С)

вырожден, противоречит условию леммы. Значит, это предположение ложно, т.е. лемма доказана. Доказательство теоремы. Требуется доказать невырожденность матрицы

Р1 = CA-1 (ehA -1) B = hC I I + - A + — A2

+ ... + -

hk

-Ak + ... IB.

(9)

2 6 (к +1)!

Лемма 2 гарантирует существование такой невырожденной матрицы 8, что интерактор тройки (А, В, 8С) невырожден. Не уменьшая общности, будем считать 8=1, поскольку det (80) = det S det в . Итак,

С[1] АК[1]-1В"

q

C[2]A

R[2]-1

B

С[/]АК[' ]-1В

- это невырожденный интерактор тройки (А, В, С), Щ/] - первое из натуральных чисел к, для которого С[/]Ак-1В ф 0 . Из (9)

Ьт-Т, ^[/] detp 1 = det [q + О(к)] ^0 > det q ф 0, где О(h) ^ 0 при к ^ 0. Теорема доказана.

Численный пример: исследование дискретной модели асинхронного электродвигателя

Рассмотрим задачу управления асинхронным электродвигателем с целью обеспечить заданные значения создаваемого двигателем электромагнитного момента Те и абсолютной величины двумерного вектора потокосцепления ротора у. Рассматриваемая электрическая машина с короткозамкнутыми обмотками ротора описывается уравнениями

dю /dt = -аю + цТе + Т,

^ / dt = -у1 + Р(п/-ю./)у + 5и, (10)

dу /dt = -(п1 -юЮ

Здесь ю - скорость вращения ротора, 1 - двумерный вектор токов статора, и - двумерный вектор напряжений на обмотках статора, Т - внешняя нагрузка на вал электродвигателя, I - единичная матрица,

"0 -11

T = i' Jv, J =

1 0

штрих обозначает транспонирование вектора; конструктивные параметры двигателя: а - коэффициент трения, M - взаимная индуктивность ротора и статора, m - момент инерции ротора, Lr = M+Lir -индуктивность ротора, Lir - индуктивность рассеяния ротора, в = bM/Lr, у = b(Rs + MR/Lr2), 5 = 1/oLs , n = Rr /Lr, о = 1 - M2/(Lr Ls) - параметр рассеяния, Ls = M + Lis - индуктивность статора, L& - индуктивность рассеяния статора, Rr и Rs - сопротивления ротора и статора. Для численных расчетов здесь будут использованы параметры реального электродвигателя [14], входящего в электроусилитель рулевого управления легкового автомобиля: а = 0,1, р = 6675,6, у = 173,5 = 7610, п = 21,05, ц = 0,0005,

М = 0,0005 .

Напряжение на обмотках статора u имеет смысл управляющего воздействия. Применяя подход векторного управления (field-oriented control), входными сигналами помимо внешнего воздействия T

удобно считать компоненты вектора напряжения в системе координат, связанной с вектором потокосцепления:

v =

,Vj = у'u, v2 = у' Ju,

(11)

а выходными сигналами - регулируемые переменные Te и |у| . Уравнения электродвигателя (10) преобразуются к виду

d и = -аи + u,T + T, dt e

d\у2 =-2п| у2 + 2цМ iy,

d i2 — T =-(y + n)Te -Рю|У -иi ' У + Sv2 , dt

d I dt

Пусть внешняя нагрузка T мало отличается от постоянной: T и Tc = const. В реальности нагрузка меняется на несколько порядков медленнее остальных переменных, поэтому такое предположение не приводит к существенным погрешностям. При этом условии, приравняв левые части уравнений нулю, легко определить точку равновесия системы (11), которая соответствует поставленной цели управления

I |2

Te = Tr, у = Tr. Линеаризуя систему относительно этой точки, для вектора отклонений

d (i У) = -(Y+n)(i'y)+Pn| У2 +ю Te +nM (t2 +| i' У2) I У-2 +Sv,.

x = [и-ие, |У2-Tr, Te-Tr, iy-(iy)c ]'

получаем уравнение

— x = Ax + Bv + D(T - Tc) + o(x), dt

1У -Tr

T - T

где o(x)/ x ^ 0 при x ^ 0

-а 0

-рт r - аУ)с T

A =

B

0 0 0 0 0 S S 0

C =

0

-2n

-Рис

Pn-nM (Tr2 +аУ)2 )т-1]

0 10 0

= Cx,

H 0

-Y-n

(12)

0

2nM

-и.

ю +2nMTr т-1 -Y-n+2nM аУх т-1

0 0 10

D

C[1] AB ] 2 SnM 0]

[ C[2]B _ [ 0 S_

Если пренебречь слагаемым о^) в правой части дифференциального уравнения системы (12), то получим ее передаточную функцию W(Я) = ^Я! - A)-1 B с интерактором

q

Поскольку значения всех конструктивных параметров рассматриваемого электродвигателя строго положительны, интерактор q невырожден и, следовательно, det W(Я) не может быть тождественно равен нулю. Таким образом, условие теоремы выполнено независимо от значения внешней нагрузки.

Применив к линеаризованной системе (12) метод дискретизации нулевого порядка с шагом дискретизации h>0, получим дискретную модель системы с передаточной функцией

X(Я) = СА-1 (ehA -1)(Я1 - ehA) В. Старший коэффициент ее числителя - (2*2)-матрица

Р1 = СА-1 (ehA -1) В. Согласно доказанной теореме, det Р1 ф 0 при всех достаточно малых значениях шага

дискретизации. Это подтверждается расчетами (см. рисунок).

Рисунок. Значения определителя старшего коэффициента дискретной линейной модели асинхронного электродвигателя

Представлены значения det в1, рассчитанные для внешней нагрузки Т в диапазоне от -10 до 10 Н-м и шага дискретизации к от 0,001 до 0,1 с. Как и ожидалось, det Р; стремится к нулю при малых значениях шага, но никогда в точности ему не равен.

Заключение

В этом простейшем случае, когда вход и выход системы-прототипа скалярны, доказанная теорема гарантирует, что дискретизация методом нулевого порядка не вносит дополнительного запаздывания, что весьма существенно при построении любых регуляторов типа обратной связи. Полная формулировка доказанной теоремы (с учетом следствия к ней) может быть применена к системам с произвольными размерностями входа и выхода. Отсутствие дополнительного запаздывания гарантируется и в этом случае. Кроме того, доказано, что дискретная модель имеет удобную для построения обратной связи структуру - новые значения входного сигнала входят в разностное уравнение модели с матричным коэффициентом, ранг которого максимален. Это свойство играет важную роль при решении многих задач теории управления. Например, классический критерий [15] расщепляемости ^есоир1аЫИ1у) линейных систем требует невырожденности интерактора системы, а для систем с невырожденным старшим коэффициентом это условие выполняется автоматически. Другие примеры возможного применения полученных результатов приведены в работах [11, 12].

Результаты работы легко и полностью могут быть перенесены на случай систем с транспортным запаздыванием (одинаковым для всех компонентов входа или выхода). Более сложным представляется случай бесконечномерных систем, дискретизация которых описана в [16]. Для таких систем решение поставленной задачи пока что отсутствует.

Литература

1. Крылов В.И., Бобков В.В., Монастырный П.И. Вычислительные методы. Том II. М.: Наука, 1977. 400 с.

2. Рабинер Л., Гоулд Б. Теория и применение цифровой обработки сигналов. М.: Мир, 1978. 835 с.

3. Stotent D.P., Harrison A.J.L. Generation of discrete and continuous time transfer function coefficients // International Journal of Control. 1994. V. 59. N 5. P. 1159-1172. doi: 10.1080/00207179408923125

4. Astrom K.J., Hagander P., Sternby J. Zeros of sampled systems // Automatica. 1984. V. 20. N 1. P. 21-38. doi: 10.1016/0005-1098(84)90062-1

5. Bondarko V.A. Discretization of continuous linear dynamic systems - analysis of the methods // Systems and Control Letters. 1984. V. 5. P. 97-101. doi: 10.1016/0167-6911(84)90016-1

6. Weller S.R., Moran W., Ninness B., Pollington A.D. Sampling zeros and the Euler-Frobenius polynomials // IEEE Transactions on Automatic Control. 2001. V. 46. N 2. P. 340-343. doi: 10.1109/cdc.1997.657672

7. Hagiwara T., Yuasa T., Araki M. Stability of the limiting zeros of sampled-data systems with zero- and first-order holds // International Journal of Control. 1993. V. 58. N 6. P. 1325-1346. doi: 10.1080/00207179308923057

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

8. Blachuta M.J. On zeros of pulse transfer functions // IEEE Transactions on Automatic Control. 1999. V. 44. N 6. P. 1229-1234. doi: 10.1109/9.769380

References

1. Krylov V.I., Bobkov V.V., Monastyrnyi P.I. Computational Methods. Vol. 2. Moscow, Nauka Publ., 1977, 400 p. (in Russian)

2. Rabiner, L.R., Gold B. Theory and Application of Digital Signal Processing. Englewood Cliffs, Prentice Hall, 1975, 762 p.

3. Stotent D.P., Harrison A.J.L. Generation of discrete and continuous time transfer function coefficients. International Journal of Control, 1994, vol. 59, no. 5, pp. 1159-1172. doi: 10.1080/00207179408923125

4. Astrom K.J., Hagander P., Sternby J. Zeros of sampled systems. Automatica, 1984, vol. 20, no. 1, pp. 21-38. doi: 10.1016/0005-1098(84)90062-1

5. Bondarko V.A. Discretization of continuous linear dynamic systems - analysis of the methods. Systems and Control Letters, 1984, vol. 5, pp. 97-101. doi: 10.1016/0167-6911(84)90016-1

6. Weller S.R., Moran W., Ninness B., Pollington A.D. Sampling zeros and the Euler-Frobenius polynomials. IEEE Transactions on Automatic Control, 2001, vol. 46, no. 2, pp. 340-343. doi: 10.1109/cdc.1997.657672

7. Hagiwara T., Yuasa T., Araki M. Stability of the limiting zeros of sampled-data systems with zero- and first-order holds. International Journal of Control, 1993, vol. 58, no. 6, pp. 1325-1346. doi: 10.1080/00207179308923057

8. Blachuta M.J. On zeros of pulse transfer functions. IEEE Transactions on Automatic Control, 1999, vol. 44, no. 6,

9. Weller S.R. Limiting zeros of decouplable MIMO systems // IEEE Transactions on Automatic Control. 1999. V. 44. N 1. P. 129-134. doi: 10.1109/9.739097

10. Бондарко В.А. Асимптотика нулей дискретной модели линейной непрерывной системы с запаздыванием // Автоматика и телемеханика. 2015. № 8. С. 3-26.

11. Барабанов А.Е., Граничин О.Н. Оптимальный регулятор линейного объекта с ограниченной помехой // Автоматика и телемеханика. 1984. N° 5. С. 39-46.

12. Барабанов А.Е. Синтез минимаксных регуляторов. СПб.: СПбГУ, 1996. 222 с.

13. Isidori A. Nonlinear Control Systems. 2nd ed. Berlin, Heidelberg: Springer-Verlag, 1995. 549 p. doi: 10.1007/978-1-84628-615-5

14. Бондарко В.А. Адаптивное векторное управление асинхронным электродвигателем на основе метода рекуррентных целевых неравенств // Автоматика и телемеханика. 2010. № 9. С. 120-135.

15. Falb P.L., Wolovich W.A. Decoupling in the design and synthesis of multivariable control systems // IEEE Transactions on Automatic Control. 1967. V. AC-12. N 6. P. 651-659. doi: 10.1109/tac.1967.1098737

16. Бондарко В.А. Дискретизация бесконечномерных линейных динамических систем // Дифференциальные уравнения. 1996. Т. 32. № 10. С. 1312-1321.

Автор

Бондарко Владимир Александрович - кандидат физико-

математических наук, доцент, Санкт-Петербургский

государственный университет, Санкт-Петербург, 199034,

Российская Федерация, Scopus ID: 7004163779, ORCID ID:

0000-0002-2327-5520, [email protected]

pp. 1229-1234. doi: 10.1109/9.769380

9. Weller S.R. Limiting zeros of decouplable MIMO systems. IEEE Transactions on Automatic Control, 1999, vol. 44, no. 1, pp. 129-134. doi: 10.1109/9.739097

10. Bondarko V.A. Limiting zeros of sampled systems with time delay. Automation and Remote Control, 2015, vol. 76, no. 8, pp. 1327-1346.

11. Barabanov A.E., Granichin O.N. Optimal controller for linear plant with bounded noise. Automation and Remote Control, 1984, no. 5, pp. 39-46. (in Russian)

12. Barabanov A.E. Synthesis of Minimax Regulators. St. Petersburg, SPbSU Publ., 1996, 222 p. (in Russian)

13. Isidori A. Nonlinear Control Systems. 2nd ed. Berlin, Heidelberg: Springer-Verlag, 1995, 549 p. doi: 10.1007/978-1-84628-615-5

14. Bondarko V.A. Adaptive vector control of an induction motor on the basis of the method of recurrent objective inequalities. Automation and Remote Control, 2010, vol. 71, no. 9, pp. 1849-1863. doi: 10.1134/S0005117910090080

15. Falb P.L., Wolovich W.A. Decoupling in the design and synthesis of multivariable control systems. IEEE Transactions on Automatic Control, 1967, vol. AC-12, no. 6, pp. 651-659. doi: 10.1109/tac.1967.1098737

16. Bondarko V.A. Discretization of infinite-dimensional linear dynamical systems. Differential Equations, 1996, vol. 32, no. 10, pp. 1309-1318.

Author

Vladimir A. Bondarko - PhD, Associate Professor, Saint Petersburg

State University, Saint Petersburg, 199034, Russian Federation,

Scopus ID: 7004163779, ORCID ID: 0000-0002-2327-5520,

[email protected]

i Надоели баннеры? Вы всегда можете отключить рекламу.