Научная статья на тему 'Синтез интервального наблюдателя для линейной системы с переменными параметрами'

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

CC BY
99
37
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ИНТЕРВАЛЬНЫЙ НАБЛЮДАТЕЛЬ / INTERVAL OBSERVER / МЕЦЛЕРОВОСТЬ / ПАРАМЕТРИЧЕСКАЯ НЕОПРЕДЕЛЕННОСТЬ / PARAMETRIC UNCERTAINTY / METZLER MATRIX

Аннотация научной статьи по математике, автор научной работы — Чеботарев Станислав Геннадьевич, Кремлев Артем Сергеевич

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

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

Похожие темы научных работ по математике , автор научной работы — Чеботарев Станислав Геннадьевич, Кремлев Артем Сергеевич

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

Synthesis of interval observer for linear system with variable parameters

The conditions which allows for construction of an interval observer are analyzed. The observer is supposed to be able to estimate the range of system variable values which certainly includes the actual value of the state at a given time.

Текст научной работы на тему «Синтез интервального наблюдателя для линейной системы с переменными параметрами»

УДК 681.51

С. Г. Чеботарев, А. С. Кремлев

СИНТЕЗ ИНТЕРВАЛЬНОГО НАБЛЮДАТЕЛЯ ДЛЯ ЛИНЕЙНОЙ СИСТЕМЫ С ПЕРЕМЕННЫМИ ПАРАМЕТРАМИ*

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

Ключевые слова: интервальный наблюдатель, мецлеровость, параметрическая неопределенность.

Введение. В теории автоматического управления важную роль играет идентификация параметров системы. Поэтому задача оценки неизмеряемого вектора состояния очень актуальна, и ее решение требуется во многих случаях [1—3].

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

Задача оценки неизмеряемого вектора состояний может быть решена различными способами. Говоря об интервальных методах оценки, можно отметить различные подходы к построению подобных наблюдателей [4—7]. В настоящей статье рассматривается подход к построению интервального наблюдателя, основанный на теории монотонных систем [4, 7]. Для нелинейных систем данный подход был расширен в работе [8] на случай использования LPV-представления (Linear Parameter Varying) с известными минорной и мажорной матрицами, а в [9] — на случай наблюдаемых нелинейных систем.

Рассмотрим случай, когда неопределенности в описании системы являются детерминированными неизвестным функциями, зависящими от времени. Тогда, при определенных условиях, возможно оценить границы ненаблюдаемых переменных, используя „робастный" метод оценки параметров. На выходе интервального наблюдателя получаются два вектора оценок: минимальных и максимальных значений для каждого элемента вектора состояний объекта.

Решение задачи возможно при соблюдении некоторых допущений. Одним из самых сложных при построении интервального наблюдателя является требование мецлеровости матрицы [9, 10].

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

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

Исследование выполнено при поддержке министерства образования и науки Российской Федерации, соглашение 14.В37.21.0421 „Разработка автономной бортовой системы навигации и управления многофункциональными мультиротационными летательными аппаратами".

Постановка задачи. При выполнении условия мецлеровости [11—13] для матриц, описывающих рассматриваемую систему, полученный интервал оценок переменных состояния системы содержит в себе реальные значения переменных состояния. Однако это не гарантирует ограниченности решений уравнений, описывающих наблюдатели.

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

Основной результат. Рассмотрим устойчивую систему общего вида:

х = А (р (ф + йу, и ),| ^

У = Сх, I

где х е М , у е М^, и е М — это векторы переменного состояния, выход системы и управляющее воздействие соответственно; А (р (I)) — матрица динамики системы, зависящая от неизвестного параметра р ():

й (, у, и)< й (t, у, и)< й(t, у, и). (1)

Граничные значения параметра р известны:

А < А (р (t))< А. (2)

В рассматриваемом случае существует вектор коэффициентов усиления наблюдателя Ь такой, что:

Ь : А (р (ЬС е М, (3)

эта система обладает свойством гурвицевости. Отсюда следует, что системы

А - ЬС, А - ЬС е М (4)

также обладают свойством гурвицевости.

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

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

х = Ах + йу, и) + Ь (Сх - у) ,1 (5)

х = Ах + й(t, у, и) + Ь (у - Сх), I где х, х — переменные состояния верхнего и нижнего наблюдателей соответственно.

Проверка условий мецлеровости. Как уже отмечалось, для построения интервального наблюдателя необходима мецлерова матрица. Проверим это условие, проанализировав уравнения ошибки для наблюдателей (5):

е = х - х,1

, \ (6)

е = х - х, \

где е, е — векторы ошибки для верхнего и нижнего наблюдателя соответственно.

Используя системы (5) и (6), найдем уравнения, описывающие динамку ошибки для рассматриваемых наблюдателей:

(7)

(8)

£ = х - х, I £ = х - Х.]

Производные ошибок для системы (7) будут иметь следующий вид: £ = Ах + ё (, у, и) + Ь (у - Сх )- А (р (1)) х - ё (1, у, и) =

= [А (р ())- ЬС] £ + [А - А (р ())]х + [ё (, у, и)- ё (, у, и)

£ = А (р ()) х + ё (, у, и)- Ах - ё(1, у, и)- Ь (у - Сх) =

= [А(р(Г))-ЬС]£ + [А(р(Г))-А]х + [ё(,у,и)-ё(,у,и)] . (9)

Проанализируем полученные выражения. Слагаемое А (р (1))- ЬС положительно, с учетом исходных данных (3); слагаемые А - А (р (1)) и А (р (1))-А в (8) и (9) также обладают данным свойством (см. (2)); слагаемые ё(1,у,и)-ё(1,у,и) и ё(1,у,и)-ё(,у,и) положительны исходя из соотношения (1). Учитывая, что над слагаемыми производится операция сложения, можно сделать вывод о том, что производные ошибки как для верхнего, так и для нижнего наблюдателя положительны. Тогда, если дополнительно указать, что начальное значение ошибок неотрицательно

£(0)> 0; £(0)> 0,

можно заключить, что для любого 1

£ () > 0 и £ (I) > 0.

Проверка устойчивости границ интервала оценки. Представим систему наблюдателей (5) в матричном виде:

X =

X =

А-ьс 0 "

0 А - ЬС

X +

у +

ё (1, у, и)

ё (, у,и )

(10)

Введем обозначения:

[ А - ЬС

А =

; б (, у, и ) =

ё (1, у, и)

ё (, у, и )

0 Ь

- ; л =

0 А - ЬС Ь

тогда выражение (10) с учетом (11) будет иметь вид

X = А X + Лу + Б (, у, и).

Задача построения сводится к анализу (12) устойчивости и ограниченности решений. Выходной сигнал у неявно зависит от значения х :

|у| £ С(Iх+1 х).

Проанализируем следующую систему:

X = АX + Лу, где |у| < |С|(|х| + |х|), для доказательства ее устойчивости рассмотрим функцию Ляпунова вида

V = XTPX,

т

где матрица Р = Р > 0 , тогда ее производная будет вида:

V = Xт (А*ТР + РА*) X + 2XTPЛy <

(11) (12)

< XT ((TP + PA* + P2 ) X + yT AT Ay <

< XT ( A*TP + PA* + P2 + 4 |c|2 Л21) X.

Используя решение уравнения Риккати, можно найти такие значения Л, C, AA, что для рассматриваемой системы будут выполняться условия устойчивости.

Пример. Построим интервальный наблюдатель на примере линейной системы второго порядка с неизвестным неизмеряемым параметром, изменяющимся по нелинейному закону: x = A (p, t )x + Bu(t),]

y = Cx,

A (p, t ) =

" -4 1 " "1"

, B =

_p(t) -4_ 0

, C = [0 !] , pmin = 3, pmax = 5 •

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

p (t) = pmin + О,5 ( pmax - pmin )( 0,5 sin 2t + 0,5 sin 0,38t + l) . "-0,05]

. Решением уравнения Риккати для заданных значений является

Выберем L =

0,1

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

о^) = [0,0037; 0,0042; 0,0122; 0,0191].

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

Графики границ оценок интервального наблюдателя и переменных состояния системы представлены на рисунке.

x

2

1

0 5 10 t, с

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

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

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

1. Meurer T., Graichen K., Gilles E.-D. Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems // Lecture Notes in Control and Information Sciences. Springer, 2005. Vol. 322. P. 422.

2. Fossen T. I., Nijmeijer H. New Directions in Nonlinear Observer Design. Springer, 1999. 525 p. ИЗВ. ВУЗОВ. ПРИБОРОСТРОЕНИЕ. 2013. Т. 56, № 4

3. Nonlinear Observers and Applications. Lecture Notes in Control and Information Sciences / Ed. by G. Besançon Springer, 2007. Vol. 363. 224 p.

4. Bernard O., Gouzé J. L. Closed loop observers bundle for uncertain biotechnological models // J. Process Control. 2004. Vol. 14. P. 765—774.

5. Jaulin L. Nonlinear bounded-error state estimation of continuous time systems // Automatica. 2002. Vol. 38, N 2. P. 1079—1082.

6. Kieffer M., Walter E. Guaranteed nonlinear state estimator for cooperative systems // Numerical Algorithms. 2004. Vol. 37. P. 187—198.

7. Moisan M., Bernard O., Gouzé J. L. Near optimal interval observers bundle for uncertain bio-reactors // Automatica. 2009. Vol. 45, N 1. P. 291—295.

8. Raïssi T., Videau G., Zolghadri A. Interval observers design for consistency checks of nonlinear continuous-time systems // Automatica. 2010. Vol. 46, N 3. P. 518—527.

9. Raïssi T., Efmov D., Zolghadri A. Interval state estimation for a class of nonlinear systems // IEEE Trans. on Automatic Control. 2012. Vol. 57, N 1. P. 260—265.

10. Mazenc F., Bernard O. Interval observers for linear time-invariant systems with disturbances // Automatica. 2011. Vol. 47, N 1. P. 140—147.

11. Smith H. L. Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems of Surveys and Monographs // AMS. Providence, 1995. Vol. 41. P. 174.

12. Efimov D., Raïssi T., Chebotarev S., Zolghadri A. Interval State Observer for Nonlinear Time Varying Systems // Automatica. 2013. Vol. 49(1). P. 200—205.

13. Чеботарев С. Г., Кремлев А. С. Анализ линейных систем с переменными параметрами для синтеза интервальных наблюдателей // Науч.-техн. вестн. информационных технологий, механики и оптики. 2012. № 06(82). С. 50—53.

Сведения об авторах

Станислав Геннадьевич Чеботарев — аспирант; Санкт-Петербургский национальный исследовательский

университет информационных технологий, механики и оптики, кафедра систем управления и информатики; E-mail: freest5@gmail.com

Артем Сергеевич Кремлев — канд. техн. наук; Санкт-Петербургский национальный исследова-

тельский университет информационных технологий, механики и оптики, кафедра систем управления и информатики; доцент; E-mail: kremlev_artem@mail.ru

Рекомендована кафедрой Поступила в редакцию

систем управления и информатики 13.12.12 г.

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