О функциональной наблюдаемости нелинейных систем и проектировании функциональных наблюдателей с назначаемой динамикой ошибок

Основная информация

• ID статьи: 2501.00167
• Название: On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics
• Автор: Costas Kravaris (Texas A&M University)
• Классификация: eess.SY cs.SY
• Дата публикации: январь 2025
• Ссылка на статью: https://arxiv.org/abs/2501.00167

Аннотация

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

Исследовательский контекст и мотивация

Определение проблемы

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

Важность проблемы

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

1. Системах обнаружения и диагностики неисправностей
2. Системах управления, требующих обратной связи по определённым функциям состояния
3. Снижении порядка наблюдателя для повышения вычислительной эффективности
4. Мониторинге химических процессов в инженерии

Ограничения существующих методов

1. Методы для линейных систем: Пионерская работа Люенбергера в основном ориентирована на линейные системы и не может быть непосредственно применена к нелинейным системам
2. Методы точной линеаризации: Существующее проектирование нелинейных функциональных наблюдателей основано на точной линеаризации, требующей строгих условий
3. Форма пространства состояний: Большинство существующих методов исходят из требования линейной динамики ошибок в форме пространства состояний, что ограничивает гибкость проектирования

Исследовательская мотивация

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

Основные вклады

1. Предложены новое определение и достаточные условия функциональной наблюдаемости нелинейных систем, устанавливающие функциональные соотношения на основе производных Ли
2. Разработан метод проектирования функциональных наблюдателей в входо-выходной форме, избегающий ограничений формы пространства состояний
3. Введено понятие индекса функционального наблюдателя для характеристики минимально возможного порядка функционального наблюдателя
4. Предоставлено проектирование линейной динамики ошибок с назначаемыми полюсами, обеспечивающее устойчивость и сходимость наблюдателя
5. Установлены соответствия между условиями инвариантности пространства состояний и условиями инвариантности входо-выхода
6. Практичность метода подтверждена примерами химических реакторов

Подробное описание метода

Определение задачи

Рассмотрим нелинейную систему следующего вида:

dx/dt = F(x)
y = H(x)  
z = q(x)

где x ∈ ℝⁿ — вектор состояния системы, y ∈ ℝᵖ — вектор измеряемого выхода, z — функция выхода, подлежащая оценке. Цель состоит в построении функционального наблюдателя, который генерирует оценку z на основе только измерений выхода y.

Основная теоретическая база

1. Определение функциональной наблюдаемости

Определение 4: Система называется функционально наблюдаемой на множестве Χ, если для любых двух начальных состояний x₁, x₂ ∈ Χ выполняется:

H_F(t;x₁) = H_F(t;x₂) ⟹ q(x₁) = q(x₂)

Это эквивалентно условию производных Ли:

L_F^i H_j(x₁) = L_F^i H_j(x₂), ∀i=0,1,2,..., j=1,...,p ⟹ q(x₁) = q(x₂)

2. Достаточные условия функциональной наблюдаемости

Предложение 2: Если существует положительное целое число m такое, что q(x) может быть локально представлена как функция элементов множества наблюдаемости:

q(x) = ψ(L_F^i H_j(x), i=0,1,...,m-1, j=1,...,p)

то система локально функционально наблюдаема.

3. Функциональный наблюдатель в входо-выходной форме

Определение 6: Динамическая система в виде дифференциального уравнения порядка ν:

d^ν ẑ/dt^ν = Φ(ẑ, dẑ/dt, ..., d^(ν-1)ẑ/dt^(ν-1), y, dy/dt, ..., d^ν y/dt^ν)

называется функциональным наблюдателем системы, если она удовлетворяет условию инвариантности:

L_F^ν q(x) = Φ(q(x), L_F q(x), ..., L_F^(ν-1) q(x), H(x), L_F H(x), ..., L_F^ν H(x))

Проектирование линейного функционального наблюдателя

Шаблон проектирования

Предложена форма линейного функционального наблюдателя:

d^ν ẑ/dt^ν + α_(ν-1) d^(ν-1)ẑ/dt^(ν-1) + ... + α₁ dẑ/dt + α₀ ẑ = 
Γ(y, dy/dt, ..., d^(ν-1)y/dt^(ν-1))

Условие инвариантности

Условие инвариантности для линейного наблюдателя имеет вид:

L_F^ν q(x) + α_(ν-1) L_F^(ν-1) q(x) + ... + α₁ L_F q(x) + α₀ q(x) = 
Γ(H(x), L_F H(x), ..., L_F^(ν-1) H(x))

Анализ динамики ошибок

Определяя ошибку e = ẑ - q(x), получаем уравнение динамики ошибок:

d^ν e/dt^ν + α_(ν-1) d^(ν-1)e/dt^(ν-1) + ... + α₁ de/dt + α₀ e = 0

Выбирая корни полинома λⁿ + α_(ν-1)λ^(ν-1) + ... + α₁λ + α₀ с отрицательными вещественными частями, можно гарантировать асимптотическую сходимость ошибки к нулю.

Индекс функционального наблюдателя

Определение 7: Минимальное положительное целое число ν, удовлетворяющее условию:

L_F^k q(x) = ψₖ(H_j(x), L_F H_j(x), ..., L_F^ν H_j(x)), k=0,1,...,ν, j=1,...,p

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

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

Экспериментальная установка

Прикладной случай 1: Изотермический периодический химический реактор

Рассмотрим непрерывную необратимую химическую реакцию A → B → C → D:

• Первая и третья реакции имеют кинетику первого порядка
• Вторая реакция имеет кинетику второго порядка
• Измеряемая величина: c_B (концентрация B)
• Оцениваемая величина: c_A (концентрация A)

Прикладной случай 2: Неизотермический непрерывный химический реактор

Рассмотрим необратимую экзотермическую химическую реакцию A → B:

• Кинетика первого порядка, скорость реакции Аррениуса
• Охлаждение через охлаждающую рубашку
• Измеряемые величины: температура реакционной смеси θ и температура рубашки θ_J
• Оцениваемая величина: концентрация A, c_A

Процесс проектирования

Для каждого случая:

1. Построение уравнений динамики системы
2. Вычисление соотношений производных Ли
3. Определение индекса функционального наблюдателя
4. Проектирование линейного функционального наблюдателя
5. Проверка условия инвариантности

Результаты экспериментов

Результаты случая 1

• Индекс функционального наблюдателя: ν = 1
• Функциональные соотношения:

  ψ₀(y, dy/dt) = (1/k₁)y + (1/k₂)(dy/dt)
  ψ₁(y, dy/dt) = -k₂(dy/dt) + (dy/dt)
  

• Уравнение наблюдателя:

  dẑ/dt - λẑ = -λ(1/k₁ + 1/k₂)(dy/dt) - λ(1/k₁)y
  

Результаты случая 2

• Индекс функционального наблюдателя: ν = 1
• Успешно установлены соответствия между входо-выходной формой и формой пространства состояний наблюдателя
• Подтверждена эффективность теоретического проектирования

Ключевые выводы

1. Низкопорядковые наблюдатели: Оба случая реализуют наблюдатель первого порядка, значительно более низкого порядка, чем полный наблюдатель состояния
2. Назначение полюсов: Успешно реализовано назначение полюсов динамики ошибок, позволяющее произвольно задавать скорость сходимости
3. Практичность: Наблюдатель может быть непосредственно реализован в входо-выходной форме, удобной для инженерных приложений

Связанные работы

Функциональные наблюдатели для линейных систем

• Luenberger (1966, 1971): Пионерское определение концепции функционального наблюдателя для линейных систем
• Darouach (2000): Существование и проектирование линейных функциональных наблюдателей
• Fernando et al. (2010): Проектирование минимально-порядковых линейных функциональных наблюдателей

Наблюдатели для нелинейных систем

• Hermann & Krener (1977): Теоретические основы наблюдаемости нелинейных систем
• Krener & Isidori (1983): Линеаризованные наблюдатели на основе выходной инъекции
• Kazantzis & Kravaris (1998): Проектирование нелинейных наблюдателей с использованием вспомогательной теоремы Ляпунова

Преимущества данной работы

1. Прямое проектирование входо-выхода: Избегает ограничивающих условий точной линеаризации
2. Теория функциональной наблюдаемости: Предоставляет более общую теоретическую базу
3. Возможность назначения полюсов: Реализует назначение полюсов для функциональных наблюдателей нелинейных систем

Заключение и обсуждение

Основные выводы

1. Теоретический вклад: Установлена полная теоретическая база функциональной наблюдаемости нелинейных систем
2. Метод проектирования: Предоставлен прямой метод проектирования функциональных наблюдателей в входо-выходной форме
3. Практическая ценность: Метод применим к любой локально функционально наблюдаемой нелинейной системе
4. Гарантии производительности: Реализована линейная динамика ошибок и назначаемые полюсы

Ограничения

1. Локальность: Теоретические результаты локальны и должны выполняться в определённой области
2. Требования гладкости: Требуется достаточная гладкость функций системы
3. Вычислительная сложность: Вычисление производных Ли высокого порядка может быть сложным
4. Реализация в реальном времени: Требуется вычисление производных выхода, что может вносить чувствительность к шумам

Направления будущих исследований

1. Глобальные результаты: Расширение на глобальную функциональную наблюдаемость и проектирование наблюдателей
2. Робастность: Учёт неопределённостей модели и шумов измерений
3. Численные методы: Разработка эффективных методов вычисления производных Ли
4. Расширение приложений: Применение к более широкому спектру инженерных приложений

Глубокая оценка

Преимущества

1. Теоретическая инновация:
   • Предложена новая парадигма проектирования функциональных наблюдателей в входо-выходной форме
   • Установлена строгая теоретическая база связи функциональной наблюдаемости и производных Ли
   • Концепция индекса функционального наблюдателя имеет важное теоретическое значение
2. Методологические преимущества:
   • Избегает ограничивающих условий точной линеаризации
   • Реализует назначение полюсов, предоставляя степени свободы при проектировании
   • Входо-выходная форма удобна для инженерной реализации
3. Экспериментальная верификация:
   • Примеры химических реакторов имеют реальный инженерный контекст
   • Подробно показаны все этапы процесса проектирования
   • Подтверждена осуществимость теоретического метода

Недостатки

1. Теоретические ограничения:
   • Результаты ограничены локальной областью, отсутствует глобальный анализ
   • Высокие требования к гладкости системы ограничивают область применения
   • Не учитываются неопределённости модели и внешние возмущения
2. Недостатки экспериментов:
   • Отсутствуют результаты численного моделирования для верификации производительности наблюдателя
   • Нет количественного сравнения с другими методами
   • Примеры относительно простые, отсутствует верификация на сложных системах
3. Проблемы практичности:
   • Требуется точное вычисление производных выхода, что в реальности может вносить шумы
   • Вычисление производных Ли высокого порядка сложно и может влиять на реальную производительность
   • Отсутствует анализ робастности

Оценка влияния

1. Академическая ценность: Предоставляет новое направление исследований в теории функциональных наблюдателей нелинейных систем
2. Инженерная ценность: Предоставляет практический метод проектирования для реальных инженерных приложений
3. Воспроизводимость: Теоретические выводы ясны, этапы проектирования чётко определены, обладает хорошей воспроизводимостью

Применимые сценарии

1. Управление процессами: Мониторинг процессов в химической инженерии, биоинженерии и т.д.
2. Диагностика неисправностей: Системы обнаружения неисправностей, требующие оценки определённых функций состояния
3. Управление роботами: Приложения управления, требующие только частичной информации о состоянии
4. Аэрокосмическая техника: Оценка параметров ориентации и траектории летательных аппаратов

Библиография

1. Luenberger, D.G. (1966). Observers for multivariable systems. IEEE Trans. Automat. Contr.
2. Hermann, R. and Krener, A.J. (1977). Nonlinear Controllability and Observability. IEEE Trans. Automat. Contr.
3. Kravaris, C. and Venkateswaran, S. (2021). Systems & Control Letters.
4. Montanari, A.N. et al. (2022). Functional observability and subspace reconstruction in nonlinear systems. Physical Review Research.

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