Управляемость - Controllability - Wikipedia

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

Управляемость и наблюдаемость находятся двойной аспекты той же проблемы.

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

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

  • Государственная управляемость
  • Управляемость выхода
  • Управляемость в поведенческой структуре

Государственная управляемость

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

Полная государственная управляемость (или просто управляемость если не указан другой контекст) описывает способность внешнего входа (вектора управляющих переменных) перемещать внутреннее состояние системы из любого начального состояния в любое другое конечное состояние за конечный интервал времени.[1]:737

Управляемость не означает, что можно поддерживать достигнутое состояние, просто можно достичь любого состояния.

Непрерывные линейные системы

Рассмотрим непрерывный линейный система [примечание 1]

Есть контроль от государства вовремя заявить вовремя если и только если находится в пространство столбца из

куда это матрица переходов между состояниями, и это Грамиан управляемости.

Фактически, если это решение тогда управление, данное сделаю желаемый перевод.

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

  • удовлетворяет уравнению
[2]

Условие ранга управляемости

Грамиан управляемости включает интеграцию матрицы переходов между состояниями системы. Более простым условием управляемости является условие ранга, аналогичное условию ранга Калмана для инвариантных во времени систем.

Рассмотрим линейную систему с непрерывным временем плавно меняющийся в интервале из :

Матрица перехода состояний тоже гладкий. Введем матричнозначную функцию n x m и определить

= .

Рассмотрим матрицу матричнозначных функций, полученную перечислением всех столбцов , :

.

Если существует и целое неотрицательное число k такое, что , тогда управляем.[3]

Если также аналитически изменяется в интервале , тогда управляема на любом нетривиальном подынтервале тогда и только тогда, когда существует и целое неотрицательное число k такое, что .[3]

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

=

В этом случае каждый получается непосредственно из данных Система управляема, если существует и неотрицательное целое число такой, что .[3]

Пример

Рассмотрим систему, аналитически изменяющуюся в и матрицы

, потом а так как эта матрица имеет ранг 3, система управляема на любом нетривиальном интервале .

Непрерывные линейные инвариантные во времени (LTI) системы

Рассмотрим непрерывную линейную инвариантная во времени система

куда

это "вектор состояния",
это "выходной вектор",
это "входной (или управляющий) вектор",
это "матрица состояний",
это "входная матрица",
это "выходная матрица",
это «матрица сквозного (или прямого) распространения».

В матрица управляемости имеет вид

Система управляема, если матрица управляемости имеет полную строку классифицировать (т.е. ).

Дискретные линейные инвариантные во времени (LTI) системы

Для дискретное время линейная система в пространстве состояний (т.е. временная переменная ) уравнение состояния имеет вид

куда является матрица и это матрица (т.е. является материалы, собранные в вектор). Проверкой управляемости является то, что матрица

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

Вывод

Учитывая состояние в начальный момент, условно обозначенный как k= 0, уравнение состояния дает тогда и так далее с повторяющимися обратными заменами переменной состояния, что в конечном итоге приводит к

или эквивалентно

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

Пример

Например, рассмотрим случай, когда и (т.е. только один управляющий вход). Таким образом, и находятся векторов. Если имеет ранг 2 (полный ранг), поэтому и находятся линейно независимый и охватить всю плоскость. Если ранг равен 1, то и находятся коллинеарен и не перекрывают самолет.

Предположим, что начальное состояние равно нулю.

Вовремя :

Вовремя :

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

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

Аналогия, например, п = 2

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

Теперь, если бы у вашей машины было рулевое управление, вы могли бы легко добраться до любой точки в самолете, и это был бы случай, когда ранг равно 2.

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

  • лететь по прямой
  • повернуть налево или направо на любую величину (Рыскание )
  • направить самолет вверх или вниз на любую величину (Подача )

Хотя трехмерный случай сложнее представить, концепция управляемости остается аналогичной.

Нелинейные системы

Нелинейные системы в аффинной по управлению форме

доступны локально около если распределение доступности пролеты пространство, когда равняется рангу и R определяется как:[4]

Здесь, повторяется Кронштейн лжи операция определяется

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

Нулевая управляемость

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

Это легко показать с помощью контролируемой-неконтролируемой декомпозиции.

Управляемость выхода

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

  • Управляемая система не обязательно является управляемой по выходу. Например, если матрица D = 0 и матрица C не имеет полного ранга строки, то некоторые позиции вывода маскируются ограничивающей структурой матрицы вывода. Более того, даже если система может быть перемещена в любое состояние за конечное время, могут быть некоторые выходы, недоступные для всех состояний. Тривиальный числовой пример использует D= 0 и a C матрица как минимум с одной строкой нулей; таким образом, система не способна производить ненулевой результат по этому измерению.
  • Система с управляемым выходом не обязательно является управляемой по состоянию. Например, если размерность пространства состояний больше, чем размерность вывода, то для каждого отдельного вывода будет набор возможных конфигураций состояния. То есть система может иметь значительные нулевая динамика, которые являются траекториями системы, которые не наблюдаются на выходе. Следовательно, возможность управлять выходом в определенное положение за конечное время ничего не говорит о конфигурации состояния системы.

Для линейной системы с непрерывным временем, как в примере выше, описываемой матрицами , , , и , то матрица управляемости по выходу

имеет полный ранг строки (т.е. ранг ) тогда и только тогда, когда система управляема по выходу.[1]:742

Управляемость при входных ограничениях

В системах с ограниченными полномочиями управления часто больше невозможно переместить любое начальное состояние в какое-либо конечное состояние внутри контролируемого подпространства. Это явление вызвано ограничениями на входе, которые могут быть присущи системе (например, из-за насыщения привода) или наложены на систему по другим причинам (например, из-за соображений безопасности). Управляемость систем с ограничениями на вход и состояние исследуется в контексте достижимость[5] и теория жизнеспособности.[6]

Управляемость в поведенческой структуре

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

Система затем определяется как управляемая в этой настройке, если какая-либо прошлая часть поведения (траектория внешних переменных) может быть объединена с любой будущей траекторией поведения таким образом, чтобы эта конкатенация содержалась в поведении, т. Е. является частью допустимого поведения системы.[7]:151

Стабильность

Немного более слабое понятие, чем управляемость, - это понятие стабилизируемость. Система называется стабилизируемый когда все неуправляемые переменные состояния могут иметь стабильная динамика. Таким образом, даже несмотря на то, что некоторые из переменных состояния не могут контролироваться (как определено вышеупомянутым тестом на управляемость), все переменные состояния все равно останутся ограниченными во время поведения системы.[8]

Доступный набор

Пусть T ∈ Т и x ∈ Икс (где X - множество всех возможных состояний и Т интервал времени). Набор достижимости от x за время T определяется как:[9]

, где xТz означает, что существует переход состояния от x к z за время T.

Для автономных систем набор достижимости определяется выражением:

,

где R - матрица управляемости.

С точки зрения множества достижимости система управляема тогда и только тогда, когда .

Доказательство Имеем следующие равенства:

Учитывая, что система управляема, столбцы R должны быть линейно независимый. Так:

Связанный набор с набором достижимости - это управляемый набор, определяемый:

.

Связь между достижимостью и управляемостью представлена ​​Зонтаг:[9]

(а) n-мерная дискретная линейная система управляема тогда и только тогда, когда:

(Где X - это набор всех возможных значений или состояний x, а k - временной шаг).

(b) Линейная система с непрерывным временем является управляемой тогда и только тогда, когда:

для всех e> 0.

если и только если для всех e> 0.

ПримерПусть система представляет собой n-мерную дискретно-инвариантную систему из формулы:

Φ (n, 0,0, w) = (Где Φ (конечное время, начальное время, переменная состояния, ограничения) определено, это матрица перехода переменной состояния x от начального момента времени 0 до конечного момента времени n с некоторыми ограничениями w).

Отсюда следует, что будущее состояние находится в ⇔ это на изображении линейной карты:

Im (R) = R (A, B) ≜ Im (),

который отображает,

→ X

Когда и мы отождествляем R (A, B) с матрицей n на nm, столбцы которой являются столбцами в этой последовательности. Если система управляема, ранг это п. Если это правда, образ линейной карты R - это все X. Исходя из этого, мы имеем:

с XЄ.

Смотрите также

Примечания

  1. ^ А линейная инвариантная во времени система ведет себя так же, но с постоянными во времени коэффициентами.

Рекомендации

  1. ^ а б Кацухико Огата (1997). Современная техника управления (3-е изд.). Река Аппер Сэдл, штат Нью-Джерси: Прентис-Холл. ISBN  978-0-13-227307-7.
  2. ^ Брокетт, Роджер В. (1970). Конечномерные линейные системы. Джон Вили и сыновья. ISBN  978-0-471-10585-5.
  3. ^ а б c Эдуардо Д. Зонтаг, Математическая теория управления: детерминированные конечномерные системы.
  4. ^ Исидори, Альберто (1989). Нелинейные системы управления, п. 92–3. Спрингер-Верлаг, Лондон. ISBN  3-540-19916-0.
  5. ^ Клэр Дж. Томлин; Ян Митчелл; Александр М. Байен; Мико Оиси (2003). «Вычислительные методы проверки гибридных систем» (PDF). Труды IEEE. 91 (7): 986–1001. CiteSeerX  10.1.1.70.4296. Дои:10.1109 / jproc.2003.814621. Получено 2012-03-04.
  6. ^ Жан-Пьер Обен (1991). Теория жизнеспособности. Бирхаузер. ISBN  978-0-8176-3571-8.
  7. ^ Ян Полдерман; Ян Виллемс (1998). Введение в теорию математических систем: поведенческий подход (1-е изд.). Нью-Йорк: Springer Verlag. ISBN  978-0-387-98266-3.
  8. ^ Брайан Д.О. Андерсон; Джон Б. Мур (1990). Оптимальное управление: линейно-квадратичные методы. Энглвуд Клиффс, Нью-Джерси: Prentice Hall. ISBN  978-0-13-638560-8.
  9. ^ а б Эдуардо Д. Зонтаг (2013). Математическая теория управления: детерминированные конечномерные системы. Springer Science & Business Media.

внешняя ссылка