Научная статья на тему 'ФИЛЬТРАЦИЯ И ДИАГНОСТИКА В ДИСКРЕТНЫХ СТОХАСТИЧЕСКИХ СИСТЕМАХ СО СКАЧКООБРАЗНЫМИ ПАРАМЕТРАМИ И МУЛЬТИПЛИКАТИВНЫМИ ВОЗМУЩЕНИЯМИ'

ФИЛЬТРАЦИЯ И ДИАГНОСТИКА В ДИСКРЕТНЫХ СТОХАСТИЧЕСКИХ СИСТЕМАХ СО СКАЧКООБРАЗНЫМИ ПАРАМЕТРАМИ И МУЛЬТИПЛИКАТИВНЫМИ ВОЗМУЩЕНИЯМИ Текст научной статьи по специальности «Физика»

CC BY
59
14
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ФИЛЬТРАЦИЯ КАЛМАНА / ДИАГНОСТИКА МАРКОВСКОЙ ЦЕПИ / МУЛЬТИПЛИКАТИВНЫЕ ВОЗМУЩЕНИЯ / НЕИЗВЕСТНЫЙ ВХОД / KALMAN FILTERING / DIAGNOSTICS OF THE MARKOV CHAIN / MULTIPLICATIVE DISTURBANCES / UNKNOWN INPUT

Аннотация научной статьи по физике, автор научной работы — Ким Константин Станиславович, Смагин Валерий Иванович

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

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

Похожие темы научных работ по физике , автор научной работы — Ким Константин Станиславович, Смагин Валерий Иванович

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

FILTRATION AND DIAGNOSTICS IN DISCRETE STOCHASTIC SYSTEMS WITH JUMP PARAMETERS AND MULTIPLICATIVE PERTURBATIONS

Let an model with multiplicative perturbations and jump parameters be described by the equation m x(k +1) = Ar(k)x(k) + Bl(l)u(k) + £ AsMl)x(k) QsMl) (k) + qY(k) (k), x(0) = x,, j=1 where x(k) e Rn is the state vector, y = y(k) is the Markov chain with r states (y1, y2,...,yr); x0 is a random vector (the variance N0i =M{(x0 - x0)(x0 - x0)T / у = Yi}, and the expectation x0 = M{x0} are assumed to be known) i = 1, r; Ay(k), By(k), Asy(k) are the known matrices; u(k) e Rm is the known vector; qy(lc)(k), 0sy(k) are the Gaussian random vector sequences with the following characteristics: M^k)} = 0, M^k)} = 0, M{ qj(l y(k) q^ j 1© = 1 (k), k j} = Q* A, M^ )(k) )(j)/ y© = = y(k),k j} = ®Y(k)8Ij. The probabilities of states of a jump process pj(k) = P{y(1) = j}, j = 1,r satisfy the equations pj(k +1) = £pt(k)p^j, pj(0) = pj,0, j = 1,r, i=1 where pi j is the probability of the transition from state i to state j. The observation vector is determined by the formula y(k ) = Sy(1 )x(k) + VY(1 )(k X where Vy^I ) is the Gaussian random sequence (M{vY№)(k)} = 0, M{vY№)(k) v^ }(j) / y© = y(k), k j} = У^Ь^ ). The solution to the synthesis problem for filtering the state vector x(k) and identifying the value of the jump parameter Y(k) included in the description of a linear discrete system with additive and multiplicative perturbations is obtained. The problem is solved by introducing into the model of the system an unknown input vector that appears when the identification error of a jump parameter and the use of Kalman filtering with an unknown input.

Текст научной работы на тему «ФИЛЬТРАЦИЯ И ДИАГНОСТИКА В ДИСКРЕТНЫХ СТОХАСТИЧЕСКИХ СИСТЕМАХ СО СКАЧКООБРАЗНЫМИ ПАРАМЕТРАМИ И МУЛЬТИПЛИКАТИВНЫМИ ВОЗМУЩЕНИЯМИ»

ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА 2020 Управление, вычислительная техника и информатика № 51

УДК 519.2

DOI: 10.17223/19988605/51/9

К.С. Ким, В.И. Смагин

ФИЛЬТРАЦИЯ И ДИАГНОСТИКА В ДИСКРЕТНЫХ СТОХАСТИЧЕСКИХ СИСТЕМАХ СО СКАЧКООБРАЗНЫМИ ПАРАМЕТРАМИ И МУЛЬТИПЛИКАТИВНЫМИ

ВОЗМУЩЕНИЯМИ

Работа выполнена при финансовой поддержке РФФИ, проект № 19-31-90080.

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

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

Задачи построения оценок и управлений для систем со случайными скачкообразными параметрами актуальны для различных реальных объектов. В качестве примера таких объектов можно рассмотреть, например, энергетические системы [1, 2], системы управления летательными аппаратами [3], системы связи [4, 5], задачи обнаружения неисправностей [6-8] и экономические системы [9, 10].

В работах [10-16] задачи фильтрации и управления рассматриваются для систем со случайными скачкообразными параметрами и аддитивными мультипликативными возмущениями. В настоящей работе рассмотрена задача фильтрации вектора состояния и идентификации состояния марковской цепи, которая входит в описание линейной стохастической системы с мультипликативными возмущениями. Решение получено с использованием принципа разделения, фильтрации Калмана и оценок неизвестного входного сигнала [17-22]. Предлагается выбрать матрицу коэффициентов передачи фильтра на основе минимизации суммы квадратичных форм ошибок оценивания. Приведен численный пример решения задачи фильтрации и идентификации для линейной стохастической системы с мультипликативными возмущениями и скачкообразными параметрами.

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

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

т

х(к + 1) = А (к)х(к) + Ву(к) и(к) + £ А,у (к) х(к) (к )(к) + ^ )(к X х(0) = Xo, (1)

¿=1

где х(к) е Rп - вектор состояние системы, х0 - случайный вектор с известным математическим ожиданием и ковариацией х> =М{х0), =М{(Х0 - х,)(Х0 - Х0)1 / у = у,.}, . = 1,г; Ау(кВу(к), Ах,у(к) - известные матрицы; и(к) е Rm - известный вектор; у = у(к) - марковская цепь с г состояниями (у1, у2,...,уг); Чу(к)(к), е,у(к) - гауссовские случайные векторы с характеристиками М{ ду(к)(к)} = 0, М{еу(к)(к)} = 0,

М{ я1(к )(к) ^)(]) / у© = у (к), к < \ < Л = Ql(k) 5^, М{еу(к )(к) еТ(к)(]) / у © = у (к), к < \ < Л = Н У(к )5к; (М{} - математическое ожидание, т - символ матричного транспонирования, - символ Кроне-кера).

Вероятность состояний скачкообразного процесса ру (к) = Р{у(к) = у}, j = 1, г, удовлетворяет уравнению

р} (к +1) = £р (к)р^, р} (0) = pJ, j = й (2)

¿=1

Здесь р1 - вероятность перехода из состояния ¿ в состояние у за один шаг, р] - начальная вероятность у-го состояния.

Вектор наблюдения:

у(к) = ^) х(к) + ^ )(к), (3)

где уу(к) (к) - гауссовская случайная последовательность, не зависящая от чу(к) (к), с характеристиками: М{ уу(к )(к)} = 0, М{ уу(к)(к) ^ )(у)/у (£) = у (к), к < £ < у} = ^ ^. Предполагается, что пара матриц Ау,5"у детектируема.

По наблюдениям (3) требуется найти оценку параметра скачкообразного параметра у(к) (проблема диагностики) и оценку вектора состояния Х(к), которую определим из условия минимума следующего критерия:

J(0,T,0 = М|£еТ(к)Не(к) /у(0) = у ,|, (4)

где Н > 0 - весовая матрица, е(к) = х(к) - Х(к), к е [0, Т].

2. Синтез оптимального фильтра

Нетрудно убедиться, что при ошибочном определении значения скачкообразного параметра у(к) модель (1) можно представить в эквивалентном виде, но с дополнительным вектором входа. Действительно, когда система (1) находится в у-м состоянии (у = уу) и это состояние ошибочно идентифицировано как г-е (у Ф ¿), уравнение (1) представляется как модель с дополнительным входом:

т

х(к + 1) = Ах(к)+Вии(к)+£ (к)+£АХк) (к) + Ч, (к), х(0) = Х0, (5)

¿=1

где вектор дополнительного входа определяется по формуле

т т

£ (к) = (Ау - А,)х(к) + (Ву - Б1 )и (к) + £ А х(к) 0^ (к) - £ А„х(к) 0„(к) + Чу (к) - (к). (6)

¿=1 ¿=1

Здесь и далее введены обозначения для матриц Ау(к), А^,У(к), ВУ(к), Sl(k^ ^ ^у(к), У„Кк) при у(к) = у,: А, А ,, В,, &, О , Е., V (, = 1,?).

г' г ' г ' г ' ¿^г ' г? г У ' /

Заметим также, так каку-е состояние нам неизвестно, то дополнительный вход £ (к) также будет неизвестным. Поэтому для построения оценки вектора состояния воспользуемся рекуррентным оценивателем, совпадающим по структуре с фильтром Калмана и вычисляющим оценку состояния х(к) при наличии в модели объекта неизвестного входа [17-22]:

х(к +1) = А,х(к) + 1(к) + К,(к)(у(к +1) -^(А,х(к) + 1(к)), х(0) = х0, (6)

где К (к) ( г = 1, г ) - матрица коэффициентов передачи фильтра. При этом мы воспользуемся принципом разделения, который означает, что сначала мы построим оценки вектора х(к) в предположении, что вектор fi (к) известен, затем строятся оценки вектора £(к) в предположении, что оценка вектора состояния х(к) известна.

Матрицы К1 (к) определяются на основе минимизации критерия (4). Запишем критерий (4) в виде суммы:

3 (0,Т,,) = £ й- N 1 (к) Н, (8)

к=0

где йг - след квадратичной матрицы, матрица N . (к) = М{е(к )е(к )т /у = у,.} определяется из уравнения

N (к +1) = (А - К (к ^гАг )(£. (к))( а - К (к ^гАг )Т + К (к )ГК (к)Т +

.=1

т г т /п\

+(Е - К (к )Si )[£ А,, (£ . (к)) АТ, + £ АДк) хт (к) АТ, + ](Е - К (к ^ )т, N.. (0) = Н0, (9)

¿=1 .=1 ¿=1

где Е - единичная матрица соответствующей размерности. Введем функцию Ляпунова следующего вида:

W (к, N , (к)) = йг N , (к) Н + йг . (г)Ц (t), (10)

г=к

где Т, (г) = (Е - Кг (k)Si )НЕ - Кг (к )Si )т + КДОуК, (г)Т + Т, (г) (Т. (г) - некоторые положительно опре-

деленные матрицы, Н, =£(£(к))Ат, + £Ах,х(к)ххт (к)Ахт , + ). Здесь предполагается, что

5,г / , . ¿=1 .=1 ¿=1

в (10) матрицы Ь1 (г) положительно определены и удовлетворяют уравнению

Ц (г) = (А - К (г ДА )т (£ .. (г +1))(А - К (гДА)+Н +

У=1

+(Е-Кг(к)т(£АТ ,(£риЦ}.(г +1))А,,,)(Е-Кг(к), Ц(Т) = Ц, (11)

¿=1 .=1

где ЬТ - некоторая положительно определенная матрица.

Суммируя по к = г,Т -1 конечные разности функции W(к,N.. (к)) и учитывая формулу (11), получим

Т-1 Т-1

£ А Ж (к, N. (к)) =£ [Ж (к +1, (к +1)) - Ж (к, (к))] =

к=г к=г

= £йг[N¡ (к + 1)Ц (к +1) - N¡ (к)Ц (к) - (к)(к)].

к=г

С другой стороны, это выражение может быть представлено следующим образом:

Т-1

£ АЖ (к, N¡ (к)) = Ж (г +1, N¡ (г +1)) - Ж (г, N¡ (г)) +... + Ж (Т, N¡ (Т)) -

к=г

- Ж(Т -1, N¡ (Т -1)) = йгN¡ (Т)Ц - йгN 1 (г)Ц (г) - 1г£ Ф. (к)Ц (к).

(12)

(13)

Добавим к формуле (8) разность правых частей (12) и (13). В результате критерий (8) примет вид:

3(0, Т,,) = £ йг N.. (к)Н - £ йг N. (к)Ц, (к) + £ йг [(а - К (кдА )(£ р.,. N.. (к))(А - К (кДА)'

к=0 к=1 к=0 .=1

Т +

+ (Е - К (кд )Н (Е - К (кд )т,. + К (к)УК (к)т ]Ц (к +1). (14)

Применяя правила матричного дифференцирования функции йг [23], вычислим производные

д(0,Т,0 = —{Т*N (к)н - УйгN (к)ьг (к) + дКг (к) еж,, (к) к=0 ' "

+£*[( А - К (кДА )(£. (к))( а - К (ОДА )Т + (Е - К (к д )Н , (Е - К )т +

к=0 .=1

к=г

+К(к)У1К1 (к)Т]Ц(к +1)} = £ 2[-Ц(к +1)А(£Рг,у.Му (к))АгТ^Т + Ц(к + 1)К{к^А X

г к=0 ^ (15)

х(£ риN (к))АТ8Т - ц (к+1) Sе1ST + Ц (к+1)К (к) Sе1sT + Ц (к+1)К (к)у ].

]=1

Приравнивая эту производную к нулю, получаем формулу для определения матриц К. (к) (1 = 1, г):

К г (к) = (А (££рг,у^у (к))АгТ SгT + Е, SгT А (££ Рг,у^у (к))А,Т SгT + Sг Е, SгT + У ]Л (16)

у=1 у=1

Учитывая (12) и (13), можно показать, что конечная разность функции Ляпунова (10) определяется по формуле

АЖ (к, Щк)) = Ж (к +1, N (к +1)) - Ж (к, N (к)) = = 1Г N (к +1) н - 1Г N (к) н - да - кг (к) Sг )Ег (Я - к, (ад )т+ к, (к)укг (к)т+^. (0]Ц (к). (17)

В силу того, что решения матричных разностных уравнений (9), (11) положительно определены, функция Ляпунова (10) будет положительной. Устойчивость по Ляпунову динамики фильтра гарантируется тем, что матрицу (^ всегда можно задать так, чтобы выражение (17) стало отрицательным.

В стационарном случае матрицы переноса К будут постоянными и определяются из следующих матричных алгебраических уравнений:

N = (А - Kls А )(£ р,Л )(А - к^,А, )Т +

3 =1

т

(18)

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

+(е - )[£ А,(£ р,) АТ, +£ ххт АТг + О ](Е - KiSi )т + куК

у у/ 5,1 ^^ 5, г 5,1

5=1 у=1 5=1

т

К = (А, (£ у )АгТ^Т + [£ А,, ,(£ р,^ ) А , +£ А,, А , + О ^ ) X

у=1 5=1 у=1 5=1

г т г т

XV, А,(£р^Ну)А £Т + Si [£д,(£р^Ну)ат +£а,ххтат + о]SгT + у.]-1.

у=1 5=1 у=1 5=1

(19)

Отметим, что если существуют положительно определенные решения N. (г = 1, г) матричного

т г т

уравнения (18), то из условия (Е - КД )[£ Д,(£р^)А^ +£ А,хктА, + О](Е - К^.)т + КУК,1 > 0

5=1 у=1 5=1

следует справедливость теоремы 1.6 [24], а это означает устойчивость стационарного фильтра:

х(к +1) = А,х(к) + /(к) + К- (у(к +1) - ^ (А,х(к) + / (к)), х(0) = х,. (20)

В качестве алгоритма оценки неизвестного входа мы будем использовать МНК-оценки; в этом случае оценка может быть построена на основе минимизации дополнительного критерия [17] в предположении, что значение скачкообразного параметра известно (здесь предполагается, что у = у,):

к+11 2 2 J<ЦMS> (£ (к)) = £ |||у(,) - ^ (А х« -1)+Вги(( -1)+£ « -1))||Ж 41 £ с -1) 11Ж}, (21)

где Ж, Ж - положительно определенные весовые матрицы.

Минимизируя (21), мы получаем оценки неизвестного входа:

£ .(к) = ^г1 Жsl + Ж)1 Sгт Ж [ у(к +1) - Si (А, х(к) + Вг и(к))]. (22)

3. Оценка скачкообразного параметра

Из (6) видно, что дополнительный вход в модели (5) будет отсутствовать, если состояние скачкообразного параметра идентифицировано правильно, т.е. у = 1. Поэтому предлагается алгоритм оценивания параметра у (к) строить на основе определения номера 1 по оценке (22), для которой

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

сглаживание значения нормы

f (k )

Значение параметра определяется по следующему алгоритму:

1) вычисляется норма оценки неизвестного вектора k) = || (к) || для всех у = у. (/' = 1,г);

2) выполняется экспоненциальное сглаживание для значений у(/', к)

у^ (/',к +1) = ау(.,к) + (1 -а)у^ (/', к), /' = 1, г, (23)

где а - коэффициент сглаживания;

3) для каждого момента времени к определяется значение /', для которого сглаженное значение нормы у (/', к) минимально (/' = а^тт{у (/', к)}).

В качестве оценки у(к) выбирается у., у которого значение индекса /' определено в п. 3 алгоритма.

4. Результаты моделирования

Рассмотрим задачу моделирования алгоритма фильтрации и диагностики для дискретной системы с мультипликативными возмущениями и тремя состояниями цепи у(к) (у1 = 1, у2 = 2, у3 = 3) со следующей матрицей вероятностей перехода:

(0,4 0,2 0,4 ^

[ Ри ] =

0,3 0,5 0,2 v0,3 0,3 0,4,

Моделирование выполнено на интервале времени к е [0, 400] для следующих исходных данных:

A =

' 0,85 0,1 Л v-0,05 0,94,

A =

( 0,6 0,051

v-0,02 0,45,

A3 =

( 0,7 0,121

v-0,04 0,62,

B1 = B2 = B3 =

(1 01 v0 1,

u(k) =

(0,31

v 0,3

Q =

(0,005 0 1

v 0 0,005,

Q2 =

(0,001 0 1 0 0,001

Q3 =

(0,001 0 1

0 0, 0005

W = 1, W2 =

(0,1 0 1

0 0,1,

Sj = S2 = S3 = (1 1), Fj = V2 = V3 = 0,01.

Оценки фильтрации рассчитываются по формулам (18)-(20), (22). Параметр у(к) оценивался с помощью алгоритма, описанного в разд. 3.

Результаты моделирования приведены на рис. 1-4, которые иллюстрируют качество оценивания и идентификации.

Рис. 1. Значения параметра y(k) и оценки y(k) Fig. 1. Parameter value y(k) and estimate y(k)

Рис. 2. Сглаженные величины норм k) (i = 1,3 ) Fig. 2. Smoothed values of norms k) (i = 1,3 )

На рис. 1 видно, что ошибки идентификации возникают в момент изменения значения параметра перехода. На рис. 2 показано, что минимальному значению нормы у(1, к) соответствует номер 1, который принимается за оценку скачкообразного параметра у(к).

Рис. 3. Графики компоненты вектора состояния x1(k) и ее оценки xl(k) Fig. 3. Graphs of the component of state vector x1(k) and its estimate XX1 (k)

Рис. 4. Графики компоненты вектора состояния x2(k) и ее оценки x2(k) Fig. 4. Graphs of the component of state vector x2(k) and its estimate x2 (k)

С помощью метода статистического моделирования (для 100 реализаций) получили, что процент ошибочных оценок значений параметров y(k) составляет 5,75%.

Заключение

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

ЛИТЕРАТУРА

1. Ugrinovskii V.A., Pota H.R. Decentralized control of power systems via robust control of uncertain Markov jump parameter

systems // Int. J. Control. 2005. V. 78. P. 662-677.

2. Sales-Setien E., Penarrocha-Alos I. Markovian jump system approach for the estimation and adaptive diagnosis of decreased

power generation in wind farms // let Control Theory and Applications, 2019. V. 13, is. 18. P. 3006-3018.

3. Zhang H., Gray W.S., Gonzalez O.R. Performance analysis of recoverable flight control systems using hybrid dynamical models //

Proc. American Control Conf. 2005 (ACC). Portland. Jun. 08-10. 2005. P. 2787-2792.

4. Zhu Y., Zhong Z., Zheng W.X. and etc. HMM-based H-infinity filtering for discrete-time Markov jump LPV systems over

unreliable communication channels // IEEE Transactions on Systems Man Cybernetics-Systems. 2018. V. 48, is. 12. P. 2035-2046.

5. Wang J., Yao F., Shen H. Dissipativity-based state estimation for Markov jump discrete-time neural networks with unreliable

communication links // Neurocomputing. 2014. V. 139/SI. P. 107-113.

6. Wang H., Wang C., Gao H., Wu L. An LMI approach to fault detection and isolation filter design for Markovian jump system with

mode-dependent time-delays // Proc. of the American Control Conf., Minneapolis, USA. 2006. P. 5686-5691.

7. Yao X., Wu L., Zheng W.X. Fault detection filter design for Markovian jump singular systems with intermittent measurements //

IEEE Transactions on Signal Processing. 2011. V. 59/7. P. 3099-3109.

8. Gagliardi G., Casavola A., Famularo D.A. Fault detection and isolation filter design method for Markov jump linear parameter-

varying systems // Int. Journal of Adaptive Control and Signal. Processing. 2012. V. 26, is. 3/SI. P. 241-257.

9. Домбровский В.В., Пашинская Т.Ю. Прогнозирующее управление системами с марковскими скачками и авторегрессион-

ным мультипликативным шумом с марковским переключением режимов // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2018. № 44. С. 4-9.

10. Dombrovskij V.V., Pashinskaya T.Y. Design of model predictive control for constrained Markov jump linear systems with multiplicative noises and online portfolio selection // Int. J. Robust Nonlinear Control. 2020. V. 30, No. 3. P. 1050-1070.

11. Costa O.L.V., Benites G.R.A.M. Linear minimum mean square filter for discrete-time linear systems with Markov jumps and multiplicative noises // Automatica. 2011. V. 47, No. 3. P. 466-476.

12. Liu W. On State Estimation of Discrete-Time Linear Systems with Multiplicative Noises and Markov Jumps // 32nd Chinese Control Conference. Xian, CHINA. JUL 26-28, 2013. P. 3744-3749.

13. Costa O.L.V., Benites G.R.A.M. Robust mode-independent filtering for discrete-time Markov jump linear systems with multiplicative noises // Int. J. of Control. 2013. V. 86, No. 5. P. 779-793.

14. Geng H., Wang Z., Liang Y. et al. State estimation for asynchronous sensor systems with Markov jumps and multiplicative noises // Information Sciences. 2017. V. 417. P. 1-19.

15. Смагин В.И., Поползухина Е.В. Синтез следящих систем управления для объектов со случайными скачкообразными параметрами и мультипликативными возмущениями // Вестник Томского государственного университета. 2000. № 271. С. 171-174.

16. Смагин В.И., Ломакина С.С. Робастные следящие регуляторы для непрерывных систем со случайными скачкообразными параметрами и мультипликативными возмущениями // Автоматика и вычислительная техника. 2004. № 4. С. 31-43.

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

17. Janczak D., Grishin Y. State estimation of linear dynamic system with unknown input and uncertain observation using dynamic programming // Control and Cybernetics. 2006. V. 35/4. P. 851-862.

18. Gillijns S., Moor B. Unbiased minimum-variance input and state estimation for linear discrete-time systems // Automatica. 2007. V. 43. P. 111-116.

19. Смагин В.И., Смагин С.В. Фильтрация в линейных дискретных нестационарных системах с неизвестными возмущениями // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 3(16). С. 43-51.

20. Smagin V., Koshkin G., Udod V. State estimation for linear discrete-time systems with unknown input using nonparametric technique // ACSR-Advances in Computer Science Research. 2015. V. 18. P. 675-677.

21. Смагин В.И. Прогнозирование состояний дискретных систем при неизвестных входах с использованием компенсаций // Известия вузов. Физика. 2016. Т. 59, № 9. С. 162-167.

22. Kim K.S., Smagin V.I. Robust filtering for discrete systems with unknown inputs and jump parameters // Automatic Control and Computer Sciences. 2020. V. 54, No. 1. Р. 1-9.

23. Athans M. The matrix minimum principle // Information and Control. 1968. V. 11. P. 592-606.

24. Li F., Shi P., Wu L. Control and filtering for semi-markovian jump systems. New York : Springer, 2016. 208 p.

Поступила в редакцию 8 ноября 2019 г.

Kim K.S., Smagin V.I. (2020) FILTRATION AND DIAGNOSTICS IN DISCRETE STOCHASTIC SYSTEMS WITH JUMP PARAMETERS AND MULTIPLICATIVE PERTURBATIONS. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie vychislitelnaja tehnika i informatika [Tomsk State University Journal of Control and Computer Science]. 51. pp. 79-86

DOI: 10.17223/19988605/51/9

Let an model with multiplicative perturbations and jump parameters be described by the equation

m

x(k +1) = A,^)x(k) + Bl(k)U(k) + £ AsMk)x(k) 9JT(k) (k) + qi№) (k), x(0) = x,,

s=1

where x(k) e Rn is the state vector, у = y(k) is the Markov chain with r states (y1, y2,...,yr); x0 is a random vector (the variance N0i =M{(x0 - x0)(x0 - x0)T / у = yi}, and the expectation x0 = M{x0} are assumed to be known) i = 1, r; Ay(k), By(k), Asy(k) are the known matrices; u(k) e Rm is the known vector; qy(lc)(k), 0sy(k) are the Gaussian random vector sequences with the following characteristics: M^k)} = 0, M^k)} = 0, M{ qj(l y(k) q^ j У© = y (k), k j} = Q^ ^, M^ y(k) y(j)/ y© = = y(k),k j} = ©y(k)S;j. The probabilities of states of a jump process pj(k) = P{y(k) = j}, j = 1,r satisfy the equations

Pj (k +1) = £ Pi (k) Pi, j, Pj (0) = Pj,0, j = 1, r, i=1

where pi j is the probability of the transition from state i to state j. The observation vector is determined by the formula

y(k ) = Sy(t)x(k) + vy(t )(k X

where v^k) is the Gaussian random sequence (M{ v^k)} = 0, M{ v^k)v^}(j) / y© = y(k),k < \ < j} = V^bj ).

The solution to the synthesis problem for filtering the state vector x(k) and identifying the value of the jump parameter y(k) included in the description of a linear discrete system with additive and multiplicative perturbations is obtained. The problem is solved by introducing into the model of the system an unknown input vector that appears when the identification error of a jump parameter and the use of Kalman filtering with an unknown input.

Keywords: Kalman filtering; diagnostics of the Markov chain; multiplicative disturbances; unknown input.

KIMKonstantin Stanislavovich (Post-graduate Student, National Research Tomsk State University, Tomsk, Russian Federation). E-mail: [email protected]

K.C. KUM, B.K Смагин

SMAGIN Valery Ivanovich (Doctor of Technical Science, Professor, National Research Tomsk State University, Tomsk, Russian Federation).

E-mail: [email protected]

REFERENCES

1. Ugrinovskii, V.A. & Pota, H.R. (2005) Decentralized control of power systems via robust control of uncertain Markov jump

parameter systems. International Journal of Control. 78. pp. 662-677. DOI: 10.1109/CDC.2004.1429255

2. Sales-Setien, E. & Penarrocha-Alos, I. (2019) Markovian jump system approach for the estimation and adaptive diagnosis of decreased

power generation in wind farms. Iet Control Theory and Applications. 13(18). pp. 3006-3018. DOI: 10.1049/iet-cta.2018.6199

3. Zhang, H., Gray, W.S. & Gonzalez, O.R. (2005) Performance analysis of recoverable flight control systems using hybrid

dynamical models. Proc. American Control Conference 2005 (ACC). Portland. June 08-10. pp. 2787-2792. DOI: 10.1109/ACC.2005.1470391

4. Zhu, Y., Zhong, Z., Zheng, W.X. & et al. (2018) HMM-based H-infinity filtering for discrete-time Markov jump LPV systems

over unreliable communication channels. IEEE Trans. on Systems Man Cybernetics-Systems. 48(12). pp. 2035-2046. DOI: 10.1109/TSMC.2017.2723038

5. Wang, J., Yao, F. & Shen, H. (2014) Dissipativity-based state estimation for Markov jump discrete-time neural networks with

unreliable communication links. Neurocomputing. 139/SI. pp. 107-113. DOI: 10.1016/j.neucom.2014.02.055

6. Wang, H., Wang, C., Gao, H. & Wu, L. (2006) An LMI approach to fault detection and isolation filter design for Markovian jump

system with mode-dependent time-delays. Proc. of the American Control Conf. Minneapolis, USA. pp. 5686-5691. DOI: 10.1109/ACC.2006.1657631

7. Yao, X., Wu, L. & Zheng, W.X. (2011) Fault detection filter design for Markovian jump singular systems with intermittent measure-

ments. IEEE Transactions on Signal Processing. 59/7. pp. 3099-3109. DOI: 10.1109/TSP.2011.2141666

8. Gagliardi, G., Casavola, A. & Famularo, D.A. (2012) A fault detection and isolation filter design method for Markov jump linear

parameter-varying systems. International Journal of Adaptive Control and Signal Processing. 26(3/ SI). pp. 241-257. DOI: 10.1002/acs.1261

9. Dombrovskii, V.V. & Pashinskaya, T.Yu. (2018) Predictive control for markov jump systems with markov switching autoregressive

multiplicative noise. Vestnik Tomskogo gosudarstvennogo univer-siteta. Upravlenie, vychislitel'naya tekhnika i informatika -Tomsk State University Journal of Control and Computer Science. 44. pp. 4-9. DOI: 10.17223/19988605/44/1

10. Dombrovskii, V.V. & Pashinskaya. T.Y. (2020) Design of model predictive control for constrained Markov jump linear systems with multiplicative noises and online portfolio selection. International Journal of Robust Nonlinear Control. 30(3). pp. 1050— 1070. DOI: 10.1002/rnc.4807

11. Costa, O.L.V. & Benites, G.R.A.M. (2011) Linear minimum mean square filter for discrete-time linear systems with Markov jumps and multiplicative noises. Automatica. 47(3). pp. 466^76. DOI: 10.1016/j.automatica.2011.01.015

12. Liu, W. (2013) On State Estimation of Discrete-Time Linear Systems with Multiplicative Noises and Markov Jumps. 32nd Chinese Control Conference. Xian, China. JUL 26-28. pp. 3744-3749.

13. Costa, O.L.V. & Benites, G.R.A.M. (2013) Robust mode-independent filtering for discrete-time Markov jump linear systems with multiplicative noises. International Journal of Control. 86(5). pp. 779-793. DOI: 10.1080/00207179.2012.760047

14. Geng, H., Wang, Z., Liang, Y. et al. (2017) State estimation for asynchronous sensor systems with Markov jumps and multiplicative noises. Information Sciences. 417. pp. 1-19. DOI: 10.1016/j.ins.2017.07.001

15. Smagin, V.I. & Popolzukhina, E.V. (2000) Synthesis of tracking control systems for objects with random jump parameters and multiplicative perturbations. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. 271. pp. 171-174.

16. Smagin, V.I. & Lomakina, S.S. (2004) Robastnye sledyashchie regulyatory dlya nepreryvnykh sistem so sluchaynymi skachkoobraznymi parametrami i mul'tiplikativnymi vozmushcheniyami [Robust tracking controllers for continuous systems with random jump parameters and multiplicative perturbations]. Automatic Control and Computer Sciences. 4. pp. 31^3.

17. Janczak, D. & Grishin, Y. (2006) State estimation of linear dynamic system with unknown input and uncertain observation using dynamic programming. Control and Cybernetics. 35/4 pp. 851-862.

18. Gillijns, S. & Moor, B. (2007) Unbiased minimum-variance input and state estimation for linear discrete-time systems. Automatica. 43. pp. 111-116. DOI: 10.1016/j.automatica.2006.11.016

19. Smagin, V.I. & Smagin, S.V. (2011) Filtering for linear not stationary discrete system with unknown disturbances. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 3(16). pp. 43-51.

20. Smagin, V., Koshkin, G. & Udod, V. (2015) State estimation for linear discrete-time systems with unknown input using nonparametric technique. ACSR-Advances in Computer Science Research. 18. pp. 675-677. DOI: 10.2991/cisia-15.2015

21. Smagin, V.I. (2017) Prediction of states of discrete systems with unknown input of the model using compensation. Russian Physics Journal. 59(9). pp. 1507-1514. DOI: 10.1007/s11182-017-0937-6

22. Kim, K.S. & Smagin, V.I. (2020) Robust filtering for discrete systems with unknown inputs and jump parameters. Automatic Control and Computer Sciences. 54(1). pp. 1-9. DOI: 10.3103/S014641162001006X

23. Athans, M. (1968) The matrix minimum principle. Information and Control. 11. pp. 592-606. DOI: 10.1016/S0019-9958(67)90803-0

24. Li, F., Shi, P. & Wu, L. (2016) Control and filtering for semi-markovian jump systems. New York: Springer.

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