CC BY
11
2017
ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА
Т. 4(62). Вып. 1
МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ
МАТЕМАТИКА
УДК 517.977 МЯО 34Л38, 93Б30
ЛОКАЛЬНАЯ ПАРАМЕТРИЧЕСКАЯ ИДЕНТИФИЦИРУЕМОСТЬ ОДНОГО КЛАССА ГИБРИДНЫХ СИСТЕМ
Н. А. Бодунов, С. А. Колбина
Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» Российская Федерация, 197376, Санкт-Петербург, ул. Профессора Попова, 5
Мы рассматриваем задачу о локальной параметрической идентифицируемости гибридной системы, включающей непрерывную и дискретную по времени системы. Множеством наблюдений служит зависящий от непрерывного по времени параметра вектор-решение дискретной компоненты системы. Достаточные условия локальной параметрической идентифицируемости сформулированы с использованием введенного ранее понятия нормированной отделенности множества параметров от ядра специального функционала.
Приведен пример, в котором условие нормированной отделенности сводится к некоторому ранговому критерию. Библиогр. 4 назв.
Ключевые слова: гибридная система, локальная параметрическая идентифицируемость, нормированная отделенность.
Гибридные системы представляют собой достаточно широкий класс динамических систем, включающих в себя одновременно непрерывные и дискретные по времени системы. Интерес к таким системам постоянно растет, и они находят все большее применение в различных приложениях [1, 2]. В известных работах по гибридным системам в основном изучались проблемы их анализа и синтеза, устойчивости и управления [2]. Что касается обратной задачи определения и уточнения модели по экспериментальным данным, т.е. проблемы идентификации, она привлекала меньшее внимание (см., например, [3]). В настоящей работе для одного класса гибридных систем изучается задача локальной параметрической идентифицируемости, т. е. возможности однозначного определения параметра системы по результатам наблюдений. Отметим работу [4], в которой использовался новый подход при изучении этой задачи для непрерывных динамических систем.
Рассмотрим модель, заданную на промежутке [0, Т] с разбиением 0 = ¿о < ¿1 < • • • = Т, описываемую гибридной системой
х = /{ь,х,ук,р(¿)), t е [¿и], Ук+1 = д(х(Ьи+1 ),ук),
(1)
(¡5 Санкт-Петербургский государственный университет, 2017
БОТ: 10.21638/11701/зрЬи01.2017.101
3
где x G Д", y G Rm, p(t) G Дг, вектор-функции f, g непрерывны по совокупности своих переменных и непрерывно дифференцируемы по переменным x,y,p и x, y соответственно. Через P обозначим множество допустимых непрерывных на [0, T] параметр- функций.
Фиксируем начальные данные x(0) = xo и yo и обозначаем через {x(t,p), yfc(p)}, k = 1, 2,..., N, решение системы (1). При этом считаем, что «стыковка» решения x(t,p) в точках разбиения временного промежутка обеспечивает его непрерывность на всем [0, T].
Для параметр-функции p G P множеством наблюдений в рассматриваемой гибридной системе (1) служит совокупность векторов
Y (p) = {yi(p),...,yN (p)}. (2)
Основное предположение: для любой функции p G P решение {x(t,p),yk(p)} единственно, и функция x(t,p) определена на всем промежутке [0, T].
Для любой функции q(t), t G [a, b], мы используем норму
|q| = sup ||q(t)H,
t€[a,b]
где ||.|| — евклидова норма.
Определение 1. Пусть p1,p2 G P. Будем говорить, что пара {p1,p2} 'различима по наблюдениям (2), если существует i G {1, 2,..., N}, такое что yi(p1) = y®(p2).
Определение 2. Система (1) называется локально параметрически идентифицируемой при p0 G P по наблюдениям Y(p), если существует такое е > 0, что для всех p G P, удовлетворяющих неравенству 0 < |p — p0| < е, пара {p,p0} различима.
Зафиксируем p0 G P и будем изучать задачу о локальной параметрической идентифицируемости системы (1) при p0 по наблюдениям Y (p).
Рассмотрим системы в вариациях
df
z = —(t,x(t,p0),yk(po),Po)z, te[tk,tk+1]. (3)
Обозначим через Ф^(t) фундаментальную матрицу системы (3), удовлетворяющую условию Фк (tk) = E, k = 0,1,..., N — 1.
Введем функционалы
Gfc+i(r) = $fc(tfc+i) ^Gfc(r) + £ Ф"Ук(Ро),Ро) ris)ds^j ,
k = 0,1,..., N — 1, G*0(r) = 0, определенные на множестве разностей функций семейства P, и обозначим через K ядро функционала
Н(г) = (х(Т,р0), yN-M) GN(r). (4)
Определение 3. Семейство P нормированно отделено в p0 от K, если любая последовательность p(m) g P, обладающая свойствами
|p(m) -Po| > 0 и |p(m) - 0, m ^то, (5)
(m) - Po| > 0 и |p(m)
Вестник СПбГУ. Математика. Механика. Астрономия. Т. 4(62). 2017. Вып. 1
имеет такую подпоследовательность p(mn), что последовательность
„(rn„) _ -Р0
|p(mn) — p0|
равномерно сходится при n ^ то на [0, T] к функции, не принадлежащей K.
Теорема. Если семейство P нормированно отделено в p0 от K, имеет место локальная параметрическая идентифицируемость системы (1) при p0 £ P по наблюдениям Y (p).
Доказательство. Если нет локальной параметрической идентифицируемости системы (1) при p = po, то существует такая последовательность p(m) £ P, что выполняются соотношения
Am(yfc) = yk(p(m)) — yk(po) = 0, k = 1, 2,... N, |p(m) — p0| > 0 и |p(m) — p0| ^ 0, m ^то.
(6)
Условие (5) выполнено. Поэтому выберем соответствующую подпоследовательность р(тп) (считаем для простоты ш„ = т) и пусть
p(m) ^ р £ K.
(7)
Для параметра p(m) = p0 + Am(p) рассмотрим приращение
Am(yk+i) = g(x(tk+1 ,p(m)), Ук ) — g(x(tk+1,p0), yk) = dg
= ^ (x(tfc+1,p0),yfc) Ax(ifc+i) + o(||Ax(tfc+1)||), /г = 0,1,..., N - 1,
где
Ax(tk+i) = x(tk+i ,p(m)) — x(tk+i ,p0).
С учетом (6) имеем dg
^(x(tfc+1,p0),yfc)Ax(tfc+1) + o(||Ax(tfc+1)||) = 0, Л = 0,1,...,ЛГ- 1. (8)
В работе [4] показана справедливость равенства
Ax(ti) = Gi(Am(p)) + Ui(Am (p)),
(9)
где
||Ui(Am(p))||
^ 0 при |Am(p)| ^ 0.
|Am(p)|
Далее, по аналогии с (9) (см. [4]), будем иметь
Ax(t2) = x(t2,p(m)) — x(t2,p0) =
Г t2
Лт)
x(ti,p(m))+ / f (s,x(s,pm),yi ,pm)ds — x(ti ,p0) — / f (s,x(s,p0),yi,p0)ds
Л, -/ti
= G2(Am(p))+ U2(Am (p)),
где
|Лт(р)| ПРИ
Продолжая этот процесс, на Ж-м шаге получим
Дх(Т) = х(Т,р(т)) - х(Т,ро) = (Дт(р)) + ии(Дт(Р)), (10)
где
||£/дГ(Ат(р))||
|Лт(р)| ПРИ
С учетом (8) и (10) будем иметь
^ (х(Т,Ро),уК-1(ро)) С„(Ат(р)) = о(\Ат(р)\). (И)
Разделим (11) на |Дт(р)|, в результате получим
дд , /гг ч , и Ом{Ат{р)) о(Ат(р)) - ыт^у^ы) |ДтЫ| =
или, с учетом (4),
(т)) = ^М. (12)
|Дт(р)|
Так как функционал Н непрерывен, из (7) следует
Н(р(т)) ^ Н(р) = 0, т ^то,
что противоречит (12). Теорема доказана.
Отметим один случай, в котором использованное условие нормированной отде-ленности сводится к некоторому ранговому критерию (см. формулу (13) ниже). Пусть для простоты параметры р(£) — скалярные функции.
Предположим, что в окрестности ро(^) семейство Р допускает представление
р(*) = ро(*)+ С1П1(*) + ••• + С;П; (*), г е [0,Т ],
где п1 (¿),..., (¿) — фиксированные функции, а с1,..., с; — числа. Положим
— 1Ы1 — . [л
|p - Pol = Усу := ^ с2 + ••• + c2.
Тогда в определении функционалов Gk ({r}) величина r — скаляр, df/dp — n-вектор, а Фк(ifc+i) и Ф-1(в) — n х n-матрицы. Следовательно, Gk({r}) — n-векторы.
Предположение. Векторы GN({п1}),..., GN({п;}) линейно независимы. Рассмотрим теперь последовательность
(m) | (m) (m)
Pl ; = P0 + C1 +-----+ с; П;
с условием ||c(m)|| > 0 и ||c(m)|| ^ 0, m ^ то.
6 Вестник СПбГУ. Математика. Механика. Астрономия. Т. 4 (62). 2017. Вып. 1
Векторы
> • • Ч Ч
(c(m),...,c(m))
||е(т)||
принадлежат единичной сфере пространства К1, поэтому последовательность ат имеет сходящуюся подпоследовательность.
Пусть ат ^ а = (ах,..., а;), ||а|| = 1. Тогда будем иметь
(т) (т)
(т) С1 П1 +-----+ е\ 'п;
Ру ' = -п и—1-->-К := а1тг1-\-----Ь сггтгг, то ->• оо,
11с(т)11
и сходимость равномерная.
Так как а = 0, вектор ({п}) = ({пх}) + • • • + а;ОN({п;}) ненулевой.
Следовательно, если выполняется неравенство
дд
гапк— (ж(Т,р0),Улг-1(ро)) > (13)
получаем п £ К, что и требовалось.
Литература
1. Morse A. S., Pantelides C. C., Sastry S. S., Schumacher J. M. Introduction to the special issue on hybrid systems // Automatica. 1999. Vol.35, issue 3. P.347—348.
2. Goebel R., Sanfelice R.G., Teel A. R. Hybrid dynamical systems: Modeling, Stability and Robustness. Princeton University Press, 2012. 232 p.
3. Roll J., Bemporad A., Ljung L. Identification of piecewise affine systems via mixed-integer programming // Automatica. 2004. Vol.40, issue 1. P.37—50.
4. Бодунов Н.А., Вольфсон Г. И. Локальная идентифицируемость систем с переменным параметром // Электронный журнал «Дифференциальные уравнения и процессы управления». 2009. №2. URL: http://www.math.spbu.ru/diffjournal/pdf/volfson.pdf (дата обращения: 23.11.2016).
Статья поступила в редакцию 26 июня 2016 г.; рекомендована в печать 6 октября 2016 г.
Сведения об авторах
Бодунов Николай Александрович —доктор физико-математических наук, заведующий кафедрой; [email protected]
Колбина Светлана Анатольевна — кандидат физико-математических наук, доцент; [email protected]
LOCALLY PARAMETER IDENTIFIABILITY FOR ONE CLASS OF HYBRID SYSTEMS
Nikolay A. Bodunov, Svetlana A. Kolbina
Saint Petersburg Electrotechnical University "LETI", ul. Professora Popova, 5, St. Petersburg, 197376, Russian Federation; [email protected], [email protected]
We consider the problem of local parameter identifiability for a hybrid system containing continuous and descrete in time systems. The set of observations is the vector-solution of the discrete component of the system. Sufficient conditions of local parameter identifiability are obtained in terms of the previously introduced condition of normed separability of the set of parameters from the kernel of a special functional.
We consider an example in which the condition of normed separability is reduced to a rank criterion. Refs 4.
Keywords: hybrid system, locally parameter identifiability, normed separability.
References
1. Morse A. S., Pantelides C. C., Sastry S. S., Schumacher J. M., "Introduction to the special issue on hybrid systems", Automatica 35(3), 347-348 (1999).
2. Goebel R., Sanfelice R. G., Teel A.R., Hybrid dynamical systems: Modeling, ¡Stability and Robustness (Princeton University Press, 2012, 232 p.).
3. Roll J., Bemporad A., Ljung L., Identification of piecewise affine systems via mixed-integer programming, Automatica 40(1), 37-50 (2004).
4. Bodunov N. A., Volfson G.I., "Conditions for local identifiability of systems with variable parameter", Differential Equations and Control Processes (2) (2009). Available at: http://www.math.spbu.ru/diffjournal/pdf/volfson.pdf (accessed 23.11.2016) [in Russian].
Для цитирования: Бодунов Н. А., Колбина С. А. Локальная параметрическая идентифицируемость одного класса гибридных систем // Вестник СПбГУ. Математика. Механика. Астрономия. 2017. Т. 4 (62). Вып. 1. С. 3-8. DOI: 10.21638/11701/spbu01.2017.101
For citation: Bodunov N. A., Kolbina S. A. Locally parameter identifiability for one class of hybrid systems. Vestnik SPbSU. Mathematics. Mechanics. Astronomy, 2017, vol. 4(62), issue 1, pp. 3-8. DOI: 10.21638/11701/spbu01.2017.101
8 Вестник СПбГУ. Математика. Механика. Астрономия. Т. 4 (62). 2017. Вып. 1
