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

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

CC BY
38
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НЕПРЕРЫВНО-ДИСКРЕТНАЯ СИСТЕМА / ДИСКРЕТНАЯ СИСТЕМА / ШУМ ИЗМЕРЕНИЯ / НЕИЗВЕСТНЫЕ ПАРАМЕТРЫ / ИНФОРМАЦИОННАЯ МАТРИЦА ФИШЕРА / ПЛАНИРОВАНИЕ ЭКСПЕРИМЕНТА / ФИЛЬТР КАЛМАНА

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

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

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

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

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

PECULIARITIES OF THE EXPERIMENT DESIGN PROBLEM FOR GAUSSIAN LINEAR SYSTEMS

Procedures for active parametric identification are a combination of traditional methods of parametric estimation and experiment design methods. Given a certain structure of the mathematical model active parametric identification involves the following stages: the calculation of the unknown parameter estimates based on measurement data corresponding to an experiment plan based on the estimates of an optimal experiment and conversion of parameter estimates based on measurement data corresponding to an optimal plan. The application of ideas and methods of the modern theory of experiment design in the construction of mathematical models of stochastic dynamical systems enhances the efficiency and quality of the research conducted. The calculation of the Fisher information matrix takes a central place in the procedures of active parametric identification. The Fisher information matrix appears in the relevant optimality criteria of the plan. This work provides a theoretical analysis of the Fisher information matrix expression for Gaussian models of linear discrete and continuous-discrete systems. It is stated that with certain parameterizations of model structures the Fisher information matrix remains constant and the unknown parameters in various combinations are included in the covariance matrix of a system noise, noise measurements and the vector of initial conditions. Thus, being constant the Fisher information matrix does not depend on the input signal and the mathematical expectation of the vector of initial conditions. The authors come to a practical conclusion about parameterizations of discrete models and continuous-discrete systems in which the scheduling of input signals and initial conditions does not allow improving the quality of parametric estimation. In this case, the use of active parametric identification procedure does not provide a positive effect compared to the conventional estimation of the unknown parameters.

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

ISSN 1814-1196 Научный вестник НГТУ том 60, № 3, 2015, с. 178-191

http://journals. nstu. ru/vestnik Science Bulletin of the NSTU Vol. 60, No. 3, 2015, pp. 178-191

СОВРЕМЕННЫЕ ИНФОРМАЦИОННЫЕ MODERN INFORMATION

ТЕХНОЛОГИИ TECHNOLOGIES

УДК 618.5.015

Особенности задачи планирования эксперимента

л

для гауссовских линейных систем

В.М. ЧУБИЧ1, ОС. ЧЕРНИКОВА2

1 630073, РФ, г. Новосибирск, пр. Карла Маркса, 20, Новосибирский государственный технический университет, доктор технических наук, заведующий кафедрой теоретической и прикладной информатики. Е-таИ: [email protected].

2 630073, РФ, г. Новосибирск, пр. Карла Маркса, 20, Новосибирский государственный технический университет, кандидат технических наук, доцент кафедры теоретической и прикладной информатики. Е-mai: I [email protected].

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

Ключевые слова: дискретная система, непрерывно-дискретная система, шум системы, шум измерения, неизвестные параметры, информационная матрица Фишера, планирование эксперимента, фильтр Калмана

БО!: 10.17212/1814-1196-2015-3-178-191

Статья получена 01 июня 2015 г. Работа выполнена при финансовой поддержке Министерства образования и науки РФ (№ 2014/138, проект № 1689).

ВВЕДЕНИЕ

В настоящий момент эффективность и целесообразность планирования эксперимента при построении моделей динамических систем в пространстве состояний продемонстрирована во многих работах (см., например, [1-12]).

Одно из центральных мест в теории планирования эксперимента занимает информационная матрица Фишера (ИМФ), использующаяся при построении информационной матрицы всего плана и фигурирующая в алгоритмах численного построения оптимальных планов.

В данной статье авторы проводят теоретический анализ формальных соотношений для ИМФ и приходят к важному для практики выводу о параметризациях моделей дискретных и непрерывно-дискретных систем, при которых планирование эксперимента не позволяет повысить качество параметрического оценивания.

1. СТРУКТУРНО-ВЕРОЯТНОСТНОЕ ОПИСАНИЕ МОДЕЛЕЙ

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

А. Гауссовская линейная дискретная модель

x(tk+1) = F(tk ) x(tk ) + W(tk ) u(tk ) + T(tk ) w(tk ) ,

y(tk+i) = H(tk+i) x(tk+1) + v(tk+1), k = 0, 1,..., N-1,

(1) (2)

где x(tk) - вектор состояния; и(tk) - вектор управления (входа); w(tk) -вектор шума системы; +1) - вектор измерения (выхода); у( +1) - вектор шума измерения.

Предположим следующее:

• случайные векторы w(tfr) и у(^+1) образуют стационарные белые гауссовские последовательности, для которых

Е )] = 0, Е [ w(tk )м>Т (^ )] = 05 м (Е [•] оператор математического ожидания, 5^ - символ Кронекера),

= Яд

ki ■

v(tk ) WT (t,- )

= 0,

Е[у(^)] = 0,

к, г = 0, 1,..., N-1;

• начальное состояние х(^) имеет нормальное распределение с параметрами

Е[х(^)] = х(tо) , Е{[x(tо) - X(tо)][х(^) - х(tо)]T} = Р(^)

и не коррелирует с w(tk) и у(tk+1) при любых значениях переменной k

Б. Гауссовская линейная непрерывно-дискретная модель

x(t) = Fit)х(1) + 4J(/)u(t) + Г(/)wit), 1 е |/0, 1Х\.

y(tk+l) = H(tk+l) x(tk+1) + v(tk+1), k = 0, 1.....N-1,

(3)

(4)

где x(t) - вектор состояния; u(t) - вектор управления (входа); w(t) - вектор шума системы; y ilk+1) - вектор измерения (выхода); v(lk+1) - вектор шума измерения.

Предположим следующее:

• случайные векторы w(t) и v(lk+1) являются стационарными белыми гауссовскими шумами, для которых

T,

E[w(t)] = 0, E w(t)wT (т) = Q5(t -т)

(5(t - т) - дельта-функция Дирака),

E[v(tk+1)] = 0, E v(tk+1)vT(ti+l)

= R5

ki ■

v(tk+1) w (т)

= 0,

• начальное состояние х(/0) имеет нормальное распределение с параметрами

Е[х(^)] = х) , Е{[х«0) - х(?о)][х%) - х(^}= Р(^)

и не коррелирует с ) и +1) при любых значениях переменной t и к.

В моделях (1), (2) и (3), (4) матрицы <2, .К и Р(/о) могут зависеть от неизвестных параметров 0 = (0 |, 9 2, • • •, 9Л ) £ . Проанализируем выражения для ИМФ при указанных параметризациях моделей.

2. ТЕОРЕТИЧЕСКИЙ АНАЛИЗ ВЫРАЖЕНИЙ ДЛЯ ИМФ

Если планировать входные сигналы и начальные условия, то в соответствии с [13-15] элементы ИМФ, зависящие в данном случае от неизвестных параметров ©, определяются равенством

My (U, x(t0); ©) = -E

a2 InL (U, x(t0); ©)

a®, a© j

i, j = 1, 2,..., 5,

в котором усреднение берется по выборочному пространству и L{и, х(?о); ©) - функция правдоподобия.

Как показано в работе [10], при наиболее общем характере вхождения неизвестных параметров для математической модели (1) и (2) при высказанных априорных предположениях элементы ИМФ могут быть представлены в виде

Му (и, х(*о); ©) = Жу (и, X(?о); ©) + Уу (0),

(5)

где (см. дополнительно работу [16])

Жу (и, X(*о); 0) =

N-1 к=0

Бр

—Т

Со ХА (к+1) ХЛ (к +1)Со

Т дИТ (Гк +1)„лдИ(Гк +1)

50,

В +1)-

60,-

+Бр +Бр

Со хА +1) хТА +1 )СуИТ ((к+1)В +1)дИ (к+1)

30;

Сгхл ((к+1)хТА ((к +1)СоТ дИ(к+1) В~\(к +1)И((к +1)

д0,

+

+

+Бр

С хл ((к+1) хТА ((к+1 )САИА ((к+1 )В 1 ((к+1 )И ((к+1)

(6)

N-1

Уу (0) = 1

к=о

Бр

Со2 А ((к + 1)Со

Т дИА (Гк+1^-ь, ч дИ(^ +1)

д0,

В -1('к+1)"

д0,-

+Бр

Со2 А ((к+1)СУИТ ((к+1)В 1((к+1)

.дИ ((к+1) д0;

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

+Бр

С1^А ((к +1)СоТ-В 1((к +1)И ((к +1)

д0,-

+Бр

С1^А ((к +1)С(Т-В 1((к +1)И ((к +1)

д0,-

+Бр [С ^а Ск+1)С]ИТ ((к+1)В ~\(к+1)И ((к+1)]

1 N-1

+1 I Бр

2 к=о

+1) В- 1(,к+,) ^ В - 1((к+,)

д0;

д0,

(7)

Здесь

С -

0^^0,1, о,..., о

г

к ((к)

5 К (гк)

Кл ((к) =

59 , _

" У ((к) " 5У((к)

У Л ((к) =

Р Ск)

59,

О

РЛ ((к ) =

59

1

59

1

о

59

59

(8)

(9)

О О

РЦк)-КЦк)НЦк) (10)

х ((к+1) дх ((к+1)

хЛ ((к +1) -

к(1к)=Р(1кшк)-Рл ((к)Хл((к) + Ул ((к)"('к), к -1, 2,..., ^ -1,

" Р((о)х((о)- НУ (<оМ<о)

5Р ('о) Х (,о) - НР ((о)® ('о)

591 591

5Р('о)Х(,о)- ^ ((о) * ('о)

59 5 59 5

к - 0.

(11)

2 А ((к+1) =

Рл Ск А ((к )РТА ((к) + Кл ((к )В((к)КТл ((к),

к = 1, 2,..., N -1.

О, k = о.

Матрицы К ((к+1) и В((к+1) определяются по следующим рекуррентным уравнениям дискретного фильтра Калмана:

К((к+1) = Р ((к+11 (к )И ((к+1)[Ж(к+1)]- ; В((к+1)=И ((к+1)Р ((к+11 (к) ИТ ((к+1)+*; Р ((к+11 (к ) = Р ((к )Р (гк\гк) РТ ((к) + Г& )<2ГТ ((к);

р ((к+1 \(к+1 ) = [1-К ((к+1)И ((к+1)]Р ((к+1 \(к).

Поскольку в нашем случае неизвестные параметры в матрицу И((к+1) не входят, то выражение (6) существенно упрощается и приобретает вид

N -1 = 1 Бр к=о

Жу (и, х((о); 0) = СГхл ((к+1)хА ((к+1) СТИТ ((к+1)В_1 ((к +1 )И((к+1)]}. (12)

Покажем теперь, что Жу (и, х((о); 0) = О.

В силу того, что параметры не входят также в матрицы Р(¿к), ^(¿к): выражения (9)-(11) можно переписать так:

((к) ]

^ А ((к ) =

О О

(13)

Рл ((к) =

>('*) о

О ^)-адЯ(^)

О О

О

О

(14)

хЛ ((к+1) =

Рл ((к) хл ((к) + ^ А ((к )"('к), к = 1, 2,..., N -1;

Р ((о) х ((о) + ^((о)" ((о)" о

к = о.

(15)

Воспользовавшись методом математической индукции, установим, что вектор хл ((к+1) имеет следующую структуру:

хА ((к+1) =

х ((к +1)_ о

Действительно, для к = о

" Р ((о) х ((о) + ^ СоМ'о)" " х ((1) ]

о о

хл ((1) = =

о о

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

хА ((п ) =

х ((п )

О О

Тогда для к = п из (9)-(11) следует, что

хА ((п+1) = РА ((п )хА ((п ) + ^А ((п )и((п ) =

Р ((п ) х((п ) ((п М*п )] х ((п+1)

0 = 0

0 0

(16)

Принимая во внимание соотношение (16) и особенность структуры матриц Сг , получаем

СгхА ((к+1) =

0^.^0,1,0,...,О 1

х ((к+1)_ о

= 0,

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

что в соответствии с выражением (12) влечет за собой Жу (и, х((о); 0) = О и, следовательно, Му (и, х((о); 0) = Уу (0), Vг, у = 1, 2,..., 5 .

Таким образом, показано, что ИМФ не зависит от входного сигнала и вектора начальных условий в случае, если неизвестные параметры содержатся в матрицах Q, R и P{/q ) .

Перейдем к анализу выражения ИМФ для гауссовских линейных непрерывно-дискретных моделей. Как установлено в [17], для математической модели (3) и (4) при наиболее общем характере вхождения неизвестных параметров с учетом сделанных априорных предположений элементы ИМФ могут быть также представлены в виде выражения (5). Такими же остаются выражения для Wjj (ü, x(t0); 0) и Vj (0) (см., соответственно, формулы (6) и

(7)), но Xa (tfr+i) и £ a (tk+l) в этом случае вычисляются иначе [18]:

XA (fk+1) =

фА (tk+1, tk)Xa (tk) + ^A (tk+1, tk) u(tk), если k = 1, 2,..., N -1;

ti

0(t1, t0 ) x (t0 ) +|®(t1, x)¥(x) u(x)dx to

^^ X(to) + Ф(ц, to) ^ + ] 301 991 to

^^*(x)u(x) + Ф(t1, x) u(x)

991 o91

^^ xx(to)+ф(,, to) +] 99, 99, to

*(x)u(x) + Ф(tl, x) u(x0

99, 99,

dx

dx

если k = 0.

(17)

— <

£ A (tk+1) =

ФA (tk +1, tk )£A (tk )ФА (tk+1, tk ) + KA (tk+1, tk )B(tk )KA (tk+1, tk)

k = 1, 2,..., N -1;

О, k = o;

Фа (tk+ь tk) =

Ф ('*+!,'*) O ... O

,A{tk+btk) ... 0

501 501

o ... <p,((M,,t)

cOs cOs

; (18)

= <

аА ((к+1, (к ) =

(к+1

I

(к+1

I Ф((к+1, Т)^(т)ы(т)йX

дФ((к+" х) Т(Х)„(Х) + Ф((к+1, X) „(X)

д01

д01

й X

(к+1

I

дФ('к+>• Х) Т(т)„(х) + Ф((к +1, X) ^ „(X)

д0<

д0<

й X

(19)

КА ((к +Ъ (к ) =

К(*к+ Ь {к)

тк+ъ (к) щ

тк+1, (к)

ае.

Ф.1 (^+1 = Ф(//1+|, к) -, (к )Ник).

Здесь матрицы

{Ф((к+1, X), xе[(k, (к+1]} и \{(к+1, Т), г = 1, 2,..., 5, , (к+1]

I Ъ

находятся из решения следующих систем уравнений:

йФ((к+1, Т) =-Ф((к+1, X) Р (X), те [(к, (к+1];

й X

ф ((к+1, (к+1)=1,

' (т(к+1, дФ((к+1, X)Р(,)-Ф((к +1, X),е[(к, (к+|];

/

й X

дФ((к+1, (к+1)

д0;

д0,-

= О.

д0;

Матрицы К ((к+1) и В((к+1) определяются по следующим рекуррентным уравнениям непрерывно-дискретного фильтра Калмана:

к((к+1)=Р ((к+1 \ (к) ИТ ((к+1)В-1((к+1);

В^ш) = н(1к+1)Р{гк+11 гк)НТ(1к+1) + Я;

Л

Р (Фк ) = Р(*)Р (г\гк )+ Р (*\*к ) (*) + Г(06ГТ (*), *к < Г < ;

-Т,

Р(*к+1 \ *к+1) = [1 - К (*к+1)н (*к+1)]Р (*к+1 \ *к )•

В силу того, что неизвестные параметры в матрицу Н(^+1) не входят, то выражение для Wij (и, х(г0); ®) также приводится к виду (12).

Далее покажем, что Wij (и, х(¿0); ®) = О.

Поскольку параметры не входят также в матрицы Р (*) (и, как следствие, в Ф(^к+1, *к) ), ) и вектор х (^0) , то, в соответствии с (17)—( 19) можем записать

хА ( *к+1) =<

Фа(*к+l, *к)хА(*к)+аА (*к+l, *к)и(*к), к =1 2,•••, я -1;

Ф(*1, *о)х(*о) + | Ф(*1, х)¥(х)и(х)Лх *0

0

к = 0;

(20)

Ф А (*к+1, *к ) =

ф(*к+l, *к) О

0 ФА^к+Ъ *к)

О

О

О О

(21)

аА (*к +1, *к ) =

гк+1

| Ф(*к+1, х)^(х)и(х)Лх

О О

(22)

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

Воспользовавшись методом математической индукции, установим справедливость представления (16).

Пусть в выражении (20) к = 0, тогда

xa (ti) =

0(tl5 to)x(to) + jO(ti, x)¥(x)u(x)dx 0

x (ti)" 0

Далее будем считать, что для к = n — i верно

xA (tn ) =

x (tn ) 0

0

Тогда для к = n из выражений (20)-(22) имеем

xA(tn+i) = ФА(tn+b tn)xA(tn) + aA(tn+h tn)u(tn) =

rn+i

Ф(Ъ+1, tn)x(tn) + J Ф(tn+l, x)^(x)u(x)dx

x (tn+1)

o

Повторяя вышеприведенные рассуждения для моделей дискретных систем, приходим к тому, что и в непрерывно-дискретном случае W (U, x(t0); 0) = O и Му (U, x(t0); 0) = V¡¡ (0), Vi, j = 1, 2,..., т. е. ИМФ

не зависит от входного сигнала и вектора начальных условий при вхождении неизвестных параметров в матрицы Q, R и PQ0) .

ЗАКЛЮЧЕНИЕ

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

СПИСОК ЛИТЕРАТУРЫ

1. Mehra R.K. Optimal input signals for parameter estimation in dynamic systems: survey and new results // IEEE Transaction on Automatic Control. - 1974. - Vol. 19, iss. 6. - P. 753-768. -doi: 10.1109/TAC.1974.1100701.

2. Morelli E.A. Flight test of optimal inputs and comparison with conventional inputs // Journal of Aircraft. - 1999. - Vol. 36, N 2. - P. 389-397. - doi: 10.2514/2.2469.

3. Овчаренко В.Н. Планирование гармонических входных сигналов в задаче идентификации динамических систем // Известия Российской академии наук. Теория и системы управления. - 2001. - № 5. - С. 39-45.

4. Jansson H. Experiment design with application in identification for control. - Stockholm: KTH, 2004. - 207 p.

5. Денисов В.И., Чубич В.М., Черникова О.С. Активная параметрическая идентификация стохастических линейных дискретных систем в частотной области // Сибирский журнал индустриальной математики. - 2007. - Т. 10, № 1 (29). - С. 71-89.

6. Optimal input design for aircraft parameter estimation / C. Jauberthie, F. Bournonville, P. Cotton, F. Rendell // Aerospace Science and Technology. - 2006. - Vol. 10, iss. 4. - P. 331-337. -doi: 10.1016/j.ast.2005.08.002.

7. Чубич В.М., Филиппова Е.В. Применение методов теории планирования экспериментов при параметрической идентификации стохастических нелинейных непрерывно-дискретных систем // Материалы X Международной конференции «Актуальные проблемы электронного приборостроения»: АПЭП-2010, 22-24 сентября 2010 г.: в 7 т. - Новосибирск: Изд-во НГТУ, 2010. - Т. 6. - С. 85-93.

8. Pronzato L. Optimal experimental design and some related control problems // Automatica. -2008. - Vol. 44, iss. 2. - P. 303-325. - doi: 10.1016/j.automatica.2007.05.016.

9. Childers A.F. Parameter identification and the design of experiments for continuous nonlinear dynamic systems: dissertation submitted to the Faculty of the Virginia Polytechnic Institute and State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics. - Blacksburg, Virginia, 2009. - 106 p.

10. Чубич В.М. Информационная технология активной параметрической идентификации стохастических квазилинейных дискретных систем // Информатика и ее применения. - 2011.Т. 5, вып. 1. - С. 46-57.

11. Lu L., Yao B. Experimental design for identification of nonlinear systems with bounded uncertainties // 2010 American Control Conference, 30 June 2010 - 2 July 2010. - Baltimore, Maryland: IEEE, 2010. - P. 4504-4509. - doi: 10.1109/ACC.2010.5530951.

12. Воевода А.А., Трошина Г.В. Активная идентификация линейных стационарных динамических объектов на основе информационной матрицы Фишера: установившийся режим // Актуальные проблемы электронного приборостроения (АПЭП-2014): материалы XII международной конференции, 2-4 октября 2014 г.: в 7 т. - Новосибирск: Изд-во НГТУ, 2014. - Т. 7. -C. 13-16.

13. Рао С.Р. Линейные статистические методы и их применения / пер. с англ. А.М. Кагана [и др.]. - М.: Наука, 1968. - 548 с.

14. Боровков А.А. Математическая статистика. - Новосибирск: Наука, 1997. - 772 с.

15. Ивченко Г.И., Медведев Ю.И. Введение в математическую статистику. - М.: ЛКИ, 2010. - 600 с.

16. Чубич В.М. Вычисление информационной матрицы Фишера в задаче активной параметрической идентификации стохастических нелинейных дискретных систем // Научный вестник НГТУ. - 2009. - № 1 (34). - С. 23-40.

17. Чубич В.М., Филиппова Е.В. Вычисление производных информационной матрицы Фишера по компонентам входного сигнала в задаче активной параметрической идентификации стохастических нелинейных непрерывно-дискретных систем // Научный вестник НГТУ. -2010. - № 2 (39). - С. 53-63.

18. Чубич В.М. Особенности вычисление информационной матрицы Фишера в задаче активной параметрической идентификации стохастических нелинейных непрерывно-дискретных систем // Научный вестник НГТУ. - 2009. - № 1 (34). - С. 41-54.

Чубич Владимир Михайлович, доктор технических наук, заведующий кафедрой теоретической и прикладной информатики Новосибирского государственного технического университета. Основное направление научных исследований - анализ и планирование экспериментов для стохастических динамических систем. Является автором и соавтором более 50 публикаций, в том числе пяти учебных пособий и одной монографии. E-mail: [email protected].

Черникова Оксана Сергеевна, кандидат технических наук, доцент кафедры теоретической и прикладной информатики Новосибирского государственного технического университета. Основное направление научных исследований - планирование экспериментов для стохастических динамических систем. Является автором и соавтором более 25 публикаций, в том числе одной монографии. E-mail: [email protected] .

Peculiarities of the experiment design problem for Gaussian linear systems

V.M. CHUBICH1, O.S. CHERNIKOVA2

1 Novosibirsk State Technical University, 20, K. Marx Prospekt, Novosibirsk, 630073, Russian Federation, D. Sc, head, department of theoretical and applied informatics. E-mail: [email protected]. ru

2 Novosibirsk State Technical University, 20, K. Marx Prospekt, Novosibirsk, 630073, Russian Federation, PhD (Eng.), associate professor. E-mail: [email protected]

Procedures for active parametric identification are a combination of traditional methods of parametric estimation and experiment design methods. Given a certain structure of the mathematical model active parametric identification involves the following stages: the calculation of the unknown parameter estimates based on measurement data corresponding to an experiment plan based on the estimates of an optimal experiment and conversion of parameter estimates based on measurement data corresponding to an optimal plan. The application of ideas and methods of the modern theory of experiment design in the construction of mathematical models of stochastic dynamical systems enhances the efficiency and quality of the research conducted. The calculation of the Fisher information matrix takes a central place in the procedures of active parametric identification. The Fisher information matrix appears in the relevant optimality criteria of the plan. This work provides a theoretical analysis of the Fisher information matrix expression for Gaussian models of linear discrete and continuous-discrete systems. It is stated that with certain parameterizations of model structures the Fisher information matrix remains constant and the unknown parameters in various combinations are included in the covariance matrix of a system noise, noise measurements and the vector of initial conditions. Thus, being constant the Fisher information matrix does not depend on the input signal and the mathematical expectation of the vector of initial conditions. The authors come to a practical conclusion about parameterizations of discrete models and continuous-discrete systems in which the scheduling of input signals and initial conditions does not allow improving the quality of parametric estimation. In this case, the use of active parametric identification procedure does not provide a positive effect compared to the conventional estimation of the unknown parameters.

Keywords: discrete system, continuous-discrete system, process noise, measurement noise, unknown parameters, Fisher information matrix, experiment design, Kalman filter

DOI: 10.17212/1814-1196-2015-3-178-191

REFERENCES

1. Mehra R.K. Optimal input signals for parameter estimation in dynamic systems:survey and new results. IEEE Transaction on Automatic Control, 1974, vol. 19, iss. 6, pp. 753-768. doi: 10.1109/TAC.1974.1100701

2. Morelli E.A. Flight test of optimal inputs and comparison with conventional inputs. Journal of Aircraft, 1999, vol. 36, no. 2, pp. 389-397. doi: 10.2514/2.2469

3. Ovcharenko V.N. Planirovanie garmonicheskih vhodnyh signalov v zadache identifikacii dinamicheskih sistem [Planning of harmonie input signals in the problem of dynamic system identification]. Izvestiya Rossiiskoi akademii nauk. Teoriya i sistemy upravleniya - Journal of Computer and Systems Sciences International, 2001, no. 5, pp. 39-45. (In Russian)

Received 1 June 2015.

The work was supported by the Ministry of education and science of the Russian Federation (№2014/138, project № 1689).

4. Jansson H. Experiment design with application in identification for control. Stockholm, KTH, 2004. 207 p.

5. Denisov V.I., Chubich V.M., Chernikova O.S. Aktivnaya parametricheskaya identifikatsiya stokhasticheskikh lineinykh diskretnykh sistem v chastotnoi oblasti [Active parametric identification of stochastic linear discrete systems in a frequency domain]. Sibirskij zhurnal industrial'noj ma-tematiki - Journal of Applied and Industrial Mathematics, 2007, vol. 10, no. 1 (29), pp. 71-89. (In Russian)

6. Jauberthie C., Bournonville F., Cotton P., Rendell F. Optimal input design for aircraft parameter estimation. Aerospace Science and Technology, 2006, vol. 10, iss. 4, pp. 331-337. doi: 10.1016/j.ast.2005.08.002

7. Chubich V.M., Filippova E.V. [Application of the theory of design of experiments with parametric identification of stochastic nonlinear continuous-discrete systems]. Materialy X Mezhdu-narodnoi konferentsii Aktual'nye problemy elektronnogo priborostroeniya, APEP-2010. V 7 t. [Proceedings of 10th International Scientific-Technical Conference on Actual Problems of Electronic Instrument Engineering (APEIE-2010). In 7 vol.], Novosibirsk, 22-24 September 2010, vol. 6, pp. 85-93. (In Russian)

8. Pronzato L. Optimal experimental design and some related control problems. Automatica, 2008, vol. 44, iss. 2, pp. 303-325. doi: 10.1016/j.automatica.2007.05.016

9. Childers A.F. Parameter identification and the design of experiments for continuous nonlinear dynamic systems. Dissertation submitted to the Faculty of the Virginia Polytechnic Institute and State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics. Blacksburg, Virginia, 2009. 106 p.

10. Chubich V.M. Informatsionnaya tekhnologiya aktivnoi parametricheskoi identifikatsii stokhasticheskikh kvazilineinykh diskretnykh sistem [Information technology of active parametric identification of stochastic quasi-linear discrete systems]. Informatika i ee primeneniya - Informatics and Applications, 2011, vol. 5, iss. 1, pp. 46-57.

11. Lu L., Yao B. Experimental design for identification of nonlinear systems with bounded uncertainties. 2010 American Control Conference, Baltimore, Maryland, 30 June 2010 - 2 July 2010, 2010, pp. 4504-4509. doi: 10.1109/ACC.2010.5530951

12. Voevoda A.A., Troshina G.V. [Active identification of liner stationary dy-namic objects on base of the Fisher information matrix: the steady state] Trudy XII mezhdunarodnoi konferentsii "Aktual'nye problemy elektronnogo priborostroeniya ", APEP-2014: v 7 t. [12th International Conference on Actual Problems of Electronic Instrument Engineering, APEIE-2014: Proceedings: in 7 vol.], Novosibirsk, Russia, 2-4 October 2014, vol. 1, pp. 745-748. doi: 10.1109/APEIE.2014.7040785

13. Rao C.R. Linear statistical inference and its applications. New York, John Wiley and Sons, 1965. xviii, 522 p. (Russ. ed.: Rao S.R. Lineinye statisticheskie metody i ikhprimeneniya. Translated from English A.M. Kagan et al. Moscow, Nauka Publ., 1968. 548 p.).

14. Borovkov A.A. Matematicheskaya statistika [Mathematical statistics]. Novosibirsk, Nauka Publ., Siberian Branch, 1997. 772 p.

15. Ivchenko G.I., Medvedev Yu.I. Vvedenie v matematicheskuyu statistiku [Introduction to mathematical statistics]. Moscow, LKI Publ., 2010. 600 p.

16. Chubich V.M. Vychislenie informatsionnoi matritsy Fishera v zadache aktivnoi para-metricheskoi identifikatsii stokhasticheskikh nelineinykh diskretnykh sistem [The calculation of the Fisher information matrix in the problem of active parametric identification for stochastic nonlinear discrete systems]. Nauchnyi vestnik NGTU - Science Bulletin of the Novosibirsk state technical university, 2009, no. 1 (34), pp. 23-40.

17. Chubich V.M., Filippova E.V. Vychislenie proizvodnykh informatsionnoi matritsy Fishera po komponentam vkhodnogo signala v zadache aktivnoi parametricheskoi identifikatsii stokhastich-eskikh nelineinykh nepreryvno-diskretnykh sistem [The computation of the derivatives of the Fisherinformation matrix with respect to the components of input signal in the problem of active parametric identification of stochastic nonlinear continuous-discrete systems]. Nauchnyi vestnik NGTU - Science Bulletin of the Novosibirsk state technical university, 2010, no. 2 (39), pp. 53-63.

18. Chubich V.M. Osobennosti vychislenie informatsionnoi matritsy Fishera v zadache aktivnoi parametricheskoi identifikatsii stokhasticheskikh nelineinykh nepreryvno-diskretnykh sistem [Particulars of the calculation of the Fisher information matrix in the problem of active parametric identification for stochastic nonlinear continues-discrete systems]. Nauchnyi vestnik NGTU - Science Bulletin of the Novosibirsk state technical university, 2009, no. 1 (34), pp. 41-54.

ISSN 1814-1196, http://journals.nstu.ru/vestnik Science Bulletin of the NSTU Vol. 60, No.3, 2015, pp. 178-191

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