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

Автоматика. Информатика. Управление. Приборы

УДК 681.514.015

ОБОБЩЕННАЯ МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СЕТЕВОЙ СИСТЕМЫ УПРАВЛЕНИЯ С КОНКУРИРУЮЩИМ МЕТОДОМ ДОСТУПА В.К. Битюков, А.Е. Емельянов

Кафедра «Информационные и управляющие системы», ФГБОУ ВПО «Воронежский государственный университет инженерных технологий»; emalexeg@yandex.ru

Представлена членом редколлегии профессором \В.И. Коноваловым

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

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

Современные системы управления для передачи данных используют сетевые каналы связи. Все более активно внедряются Ethemet-технологии [1] на нижнем уровне автоматизации, что вносит определенную специфику в процесс функционирования систем управления. Это объясняется тем, что стандарт Ethernet реализует конкурирующий метод доступа к среде передачи данных. На сегодняшний момент имеются математические модели, описывающие только некоторые отдельные режимы работы таких систем [2, 3]. Поэтому разработка математической модели с единых методологических позиций, охватывающей широкий спектр возможных режимов функционирования сетевых систем управления с конкурирующим методом доступа, является актуальной.

Рассмотрим общий случай функционирования сетевых систем управления (ССУ). Пусть цифровой регулятор (ЦР) выдает управляющие воздействия на

объект управления (ОУ) с тактом квантования Т^ = Tq = const. Цифровой датчик

(ЦД) квантует выход ОУ с тактом квантования Тд = Tq, но квантование имеет вероятностный характер, то есть считывание значения выходного сигнала ОУ происходит в случайные моменты времени tj, кратные Tq. Закон распределения вероятностей времени квантования ЦД выхода объекта - /д (&Tq ). Причем моменты квантования ЦД и моменты выдачи управляющих воздействий ЦР, в общем случае, не совпадают. Полученные данные от ОУ ЦД передает ЦР по каналу с конкурирующим методом доступа (ККМД). Время передачи носит случайный характер. Закон распределения вероятностей времени передачи данных по каналу с конкурирующим методом доступа - /k (Т).

Описываемая система управления является стохастической, непрерывнодискретной. Действительно, в промежутках между квантованиями ЦД, ЦР и передачей данных по ККМД система является непрерывной. В моменты квантования ЦД, ЦР или успешной передачей данных по ККМД система дискретна, скачком изменяет некоторые свои переменные состояния. Стохастичность системы обусловлена случайным режимом квантования выхода ОУ и последующей случайной передачей данных по ККМД.

В статистической теории динамических систем широкое распространение получили математические модели, построенные на базе марковских случайных процессов. Марковский характер процессов предполагает наличие в правых частях стохастических дифференциальных уравнений воздействий типа белых шумов и пуассоновских дискретных последовательностей дельта-импульсов. Уравнениями такого типа описывают, в частности, системы со случайной структурой [4]. Поэтому, чтобы остаться в рамках теории марковских процессов, будем предполагать, что на вход объекта управления подается белый шум ^(ґ).

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

3

X (ґ ) = АХ (ґ) + ви (ґ) + І вА г\] (ґ )+Ки (ґ-)з (ґ) + МУ (ґ); (1)

]=1

У (ґ ) = СХ (ґ),

где X(ґ) - вектор переменных состояния размерностью (п х1), компонентами которого являются переменные состояния системы п-го порядка; А - матрица коэффициентов системы (п х п), характеризующая непрерывную ее часть; В - матрица входа (п х г) непрерывной части системы; и(ґ) - вектор входа размерности (г х 1), компонентами которого являются входные переменные системы; В] - матрицы коэффициентов системы (п х п), характеризующие ее дискретную часть; Я - матрица входа (п х г) дискретной части системы; С - матрица выхода (р х п); У(ґ) - вектор выхода размерности (р х 1), компонентами которого являются выходные переменные системы; У (ґ) - п-мерный вектор белых шумов, поступающих на вход объекта управления, с симметричной матрицей (п х п) спектральных плотностей £(ґ); N - матрица входа (п х п) для белого шума; gl(ґ) -последовательность дельта-импульсов, соответствующая моментам квантования выхода объекта управления ЦД; g2 (ґ) - последовательность, соответствующая моментам передачи данных от ЦД на ЦР по ККМД; gз (ґ) - последовательность, соответствующая моментам выдачи управляющих воздействий ЦР. Знак «-» означает момент времени ґ при стремлении к нему слева.

Примем за начало отсчета момент времени, в который цифровой датчик с определенной вероятностью квантует выходной сигнал объекта управления. Эти моменты соответствуют ґ = кТ0, к = 0,1, 2,.... Будем считать, что моменты выдачи управляющих воздействий ЦР отстают от моментов квантования ЦД на т, и происходят в моменты времени ґ = кТо + т. Дискретные последовательности g] (ґ) дельта-импульсов в общем случае не являются пуассоновскими. Чтобы выполнить условия марковости уравнения (1) можно аппроксимировать закон распределения временных промежутков в последовательностях g] (ґ) обобщенным

законом Эрланга соответствующего порядка [4].

Пусть закон распределения вероятности времени передачи данных по ККМД /к () можно аппроксимировать обобщенным законом Эрланга п-го порядка.

Будем считать, что состояние ^ является источником, а 5р - поглощающим

состоянием. В состояние ^ система может попасть только при квантовании ЦД

выхода ОУ, и только в том случае, когда предыдущие данные от ЦД будут переданы по ККМД на ЦР. Иными словами, после успешной передачи данных по

ККМД система будет находиться в состоянии 5^. Только в момент получения

ЦД новых данных от ОУ, система переходит в состояние ^. Таким образом,

случайный процесс передачи данных по ККМД зависит от случайного процесса квантования ЦД выхода ОУ.

Уравнения Колмогорова для данного закона имеют вид:

в-1 _ р-1

Р$(() = -у]) + т]?т (Г), ] = 1, в; у; = ^у.. (2)

т=1Ф ] 1=\Ф ]

Закон распределения вероятностей времени квантования ЦД можно аппроксимировать дискретным аналогом обобщенного закона Эрланга п -го порядка.

Вероятности состояний 8а на интервале времени ] кТ0, (к + 1)Т0 [ определяются по формуле:

а __

Р*(к)=^ Ра(к - 1)Ра, к = 0,1,2, к; 1 = 1, а; (3)

]=1 а

при начальных условиях ^ р.“(0) = 1. Через Ра обозначены вероятности пере-

1=1

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

Для характеристики рассматриваемой системы введем вектор (., ]), где . -

характеризует состояние 5“, а ] - состояние 5в. В этом случае, система будет иметь (ар) возможных состояний. Причем, в каждый момент времени система может находиться только в одном из них, а случайный процесс перехода из одного состояния в другое является марковским.

Вероятность того, что в момент времени / е] кТо, (к + 1)То [ система будет находиться в состоянии (/, ]), равна

Р] () = ра(к)рв(), I = 1а; ] = 1р. (4)

Таким образом, рассматриваемая система управления имеет (а р) состояний, вероятность нахождения в каждом из которых в данный момент времени определяется системой уравнений (4), а изменение переменных состояния стохастическим уравнением

3 / \

X (,])(/ ) = АХ (,])(/ ) + ви (: )+^ ВкХ (,]^ ] \г) +

к=1

+ яи(]\() + N¥(1); I = 1а; ] = 1Р . (5)

Здесь дискретные последовательности gkг, ] )(?) соответствуют марковским процессам.

Статистическое исследование динамических систем, описываемых стохастическими дифференциальными уравнениями типа (5), сводится к нахождению закона распределения вероятностей переменных состояния. Однако уравнения для плотностей распределения вероятности переменных состояния удается решать лишь приближенным способом. Широкое применение в практике анализа систем со случайной структурой получил метод интегрирования уравнений вероятностных моментов. В основе этого метода лежит процедура составления уравнений для математических ожиданий и вторых корреляционных моментов переменных состояния системы. Для линейных систем управления уравнения вероятностных моментов удается записать в замкнутом виде, что говорит о принципиальной возможности получения точного решения в рамках корреляционной теории, не прибегая при этом к различным предположениям о виде плотности распределения вероятности.

На основании вышеизложенного, и методов нахождения вероятностных моментов, разработанных в [2-4], для непересекающихся временных промежутков были найдены соответствующие уравнения для математических ожиданий М () и корреляционных моментов ©().

Для временного промежутка / е ] кТо, кТо + т[:

Математические ожидания:

М(г,Р)(/) = АМ(|,р)(/) + Ре (Г)ви(Г) + £ у7р^М(.] );

j=1

M (l’1')(t ) = AM (l’1')(t ) + P1(t )BU (t ) - v1M (l’1')(t ) ;

(6)

p-1

M(lj\t) = AM(lj\t) + Pj (t)BU(t) - V jM(hj\t) + Y, YkjM(l,k\t);

k =2^ j

I = 1, а ; ] = 2, (р-1); / е]кТо, кТо +т[

Полученная система дифференциальных векторно-матричных уравнений должна решаться при начальных условиях:

М(1,]])(кТ(+), I = 1а; ] = ГТр;

и (I) - заданная функция времени.

Корреляционные моменты:

Р-1 ,

© (1^к ) = А©(’в)(г ) + ©(|,р)(/ )АТ + Р р(^№ (^Т +£у )Р2&(1,] +

]=1

F2

M(l’j)(t) M(l’p)(t)Y^ M(l’j)(t) M(l’p)(t)

F2

pj (t) pe(t)

pj (t ) p e(t )

Pj (t »;

©(l’1)(t) = A©(h1\t) + Ф%)АТ + p1(t)NS(t)NT - v1©(l’1'){t);

©(lj\t) = A©(l1 )(t) + ©{(’1 \t)AT + p,(t)NS(t)NT-vj\t)-

P-1

P-1

+ kj ©^l,k )(t )+ kj

k=2Ф j k=2Ф j

(

M(l’k)(t) M(l,j)(tŸ(r M(l’k)(t) M(l,j)(t) F

Pk (t) Pj(t)

Pk (t ) Pj(t )

Pk (t);

(7)

T

+

T

Полученная система дифференциальных уравнений должна решаться при начальных условиях:

I = 1, а; ] = 1,Р .

Для временного промежутка

I е ] кТо + т, (к + 1)То [,

уравнения математических ожиданий и корреляционных моментов совпадают с соответствующими уравнениями (6) и (7), полученными для

t е ]кТо,кТо + т[

но должны решаться с начальными условиями

M(1,1)[(к + 1T0+ ] =]P“F [(i,1)\(к + 1)To- ]+M(i,e)[(k + 1)To- ]+ P?iM(1,1)[(k + 1)T- ] ;

Момент времени t = (кТо + т)+. Математические ожидания:

M( j [ + т)+] = F^ J [ + t)-]+Rü[(kTo +т)-]р [(Щ +t)-]. (8)

Корреляционные моменты:

(9)

M(i,J \kT0 + т)+ и &(iJ \kT0 + t)+

Момент времени t = (к + 1)То+. Математические ожидания:

i=2

M(a,1)[(k + l)To+]=]-1p.aFiM(i,1)[(k + 1)T-] + M(i,P)[(k + 1)^] +Paa.M],1)[(k + 1)To-] ;

i=1

M(1,j)[(k + 1)To+]P^M(j)[(k + 1)To-]+ PiajM(1,J)[(k + 1)To-] ;

i=2

M(a, j )[(k + 1)To+ ] Pa M ( j )[(k + 1)To-]+ j (a, j )[(k + 1)To-] ;

i =1

M (i,m)[(k + 1)T0+]= ]“M (i,m)[(k + 1)T0- ];

(10)

i = 1, a ; j = 2, (p-1); m = 1, a.

Корреляционные моменты:

i=2

©(U)[(k +1)70+]= Z ^?{F1©(i,1)[(Æ +1)?0-] + F +)T)-(|

P1

M (11[ +1)7]+] ] ]1 M (i[(k +1)7] - M (1ДГ)[ +17]+] T^k +1)70-]+ Pn[(k +1)70+] ] Рц[(к +1)70-] Pn[(k +1)70+] ]

-F1©(i,P)[(k + 1)7f-]F17

F

M (i,e)[(k +1)70- ] - M (u)[(k +1)70+1 Рр[(к +1)70-] Рц[(к +1)70+]

M (i,e)[(k +1)70-] _ M k + 1)70+]

[ +1)7(- ] Pn[(k +1)70+]

1Л7

F1

v Pp

P p[(k +1)7(- ]}+ P1<ï©(1’1)[(k +1)70-];

©(a,1)[(k +1)70+] = ZP-a {F1©(i,1)[(k + 1)70-]F7 + f F M°[ г7 ] -i=1 V P-1 ( +1)70 J

- m <a•г>[(k+w] if m "г+1)7q] - m (a[k+ц7]7^+1)70-]-

Pa\(k +1)70+] JV P'1 [k +1)70-] Pa1 [k +1)70+] ]

-]7 , i F M^[(k +1)70-] -MÎO^^+1)70+]1

a1 + F1©

l©(г•P>[(k +1)70- ]'

P p[(k +1)70-] Px1 [k +1)70+]

(

M(i,e ) [(à~ +1)70- ] - M (a•1>[(k +1)70+1

[k +1)70 ] Pa1 [(k +1)70+]

\7

F1 P V PP

Pp[(k +1)70-]}+ Paaa©(aД>[(k +1)70-] :

©(1,j )[(k +1)70+]= Z Pi fa©0’ j ) [(k +1)70-]7

i=2

IV

F

M(i,j )[(k +1)70~ Pj [k +1)70-]

- M(1, j )[(k +1)70+ ]T ] M( j )[(k +1;)70~] - M(1,j )[(k +1)70+1

P1 j [(k +1)70+] ] 1 Pj [(k +1)70-] P1 y [(k +1)70+]

x Pj [(k +1)70-]}+ 7Pla ©(1 j )[(k +1)70-];

©(a•j )[(k + 1)70+]=Z1P-afF1©('’j )[(k +1)70-]7 + F

Y

M(i j )[(k +1)70~ Pj [(k +1)70-]

M(aj)[(k +1)70+]YF M(i,j)[(k +1)70-] - M(aj)[(k +1)70+]

Paj [(k +1)70+]JV 1 P [(k + 1)70-Г Paj [(k +1)70+]

xP

[(k +1)70-]}

+ P ©

aj

(a• j)

[k +1)70-];

©(i,m)[(k +1)7(0" ] = P■a©(г•m>[(k +1)70- ]

(11)

i = 1, a; j = 2, (P-1); m = 1, p.

x

X

Вероятностные моменты переменных состояния системы управления для любого момента времени t определяется по следующим формулам:

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

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

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

Работа выполнена в рамках ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 годы».

Список литературы

1. Кругляк, К. Локальные сети ЕШете1 в АСУТП: быстрее, дальше, надежнее / К. Кругляк // Соврем. технологии автоматизации. - 2оо3. - № 1. - С. 6-13.

2. Абрамов, Г.В. Математическое моделирование цифровых систем управления с передачей информации по каналам множественного доступа / Г.В. Абрамов, А.Е. Емельянов, М.Н. Ивлиев // Системы упр. и информ. технологии. - 2оо7. -№ 3. - С. 27-32.

3. Абрамов, Г.В. Функционирование цифровой системы управления в асинхронном режиме / Г.В. Абрамов, А.Е. Емельянов, А. Л. Ивашин // Вестн. ВГТА. -2оо9. - № 2 (4о). - С. 84-88.

4. Артемьев, В.М. Дискретные системы управления со случайным периодом квантования / В.М. Артемьев, А.В. Ивановский. - М. : Энергоатомиздат. 1986. -96 с.

a в

i=1 j=1

Generalized Mathematical Model of Network Control System with Competing Access Mode

V.K. Bityukov, A.E. Emelyanov

Voronezh State University of Engineering Technologies, Voronezh; emalexeg@yandex. ru

Key words and phrases: competing access; control system; stochastic quantization.

Abstract: The mathematical model of network control system with data transmission over the channel with a competing access mode is developed at stochastic quantization of the output of control object. It is shown that the produced mathematical model is common for the whole class of control systems.

Verallgemeinertes mathematisches Modell des Netzsystems der Steuerung mit der konkurierenden Zutrittsmethode

Zusammenfassung: Es ist das mathematische Modell des Netzsystems der Steuerung mit der Angabenübergabe nach dem Kanal mit der konkurierenden Zutrittsmethode bei der stochastischen Quantisierung des Hinausgehens des Steuerungsobjektes erarbeitet. Es ist gezeigt, dass das erhaltene mathematische Modell für die ganzen Klasse der Steuerungssysteme allgemein ist.

Modèle mathématique généralisé du système de réseau de la commande avec une méthode concurrente de l’accès

Résumé: Est élaboré le modèle mathématique généralisé du système de réseau de la commande avec une transmission des données par la chaîne avec une méthode concurrente de l’accès lors de la quantification stochastique de la sortie de l’objet de la commande. Est montré que le modèle obtenu est commun pour une classe des systèmes de la commande.

Авторы: Битюков Виталий Ксенофонтович - доктор технических наук, профессор, заслуженный деятель науки Российской Федерации, президент ФГБОУ ВПО «Воронежский государственный университет инженерных технологий», заведующий кафедрой «Информационные и управляющие системы»; Емельянов Александр Егорович - кандидат технических наук, доцент кафедры «Информационные и управляющие системы», ФГБОУ ВПО «Воронежский государственный университет инженерных технологий», г. Воронеж.

Рецензент: Дворецкий Станислав Иванович - доктор технических наук, профессор кафедры «Технологии продовольственных продуктов», проректор по научно-инновационной деятельности, ФГБОУ ВПО «ТГТУ».