Динамическое свойство системы
Управляемость является важным свойством системы управления и играет решающую роль во многих задачах управления, таких как стабилизация нестабильных систем с помощью обратной связи или оптимальное управление.
Управляемость и наблюдаемость — это два аспекта одной и той же проблемы.
Грубо говоря, понятие управляемости означает способность перемещать систему во всем ее конфигурационном пространстве, используя только определенные допустимые манипуляции. Точное определение немного варьируется в зависимости от структуры или типа применяемых моделей.
Ниже приведены примеры вариаций понятий управляемости, которые были введены в литературе по системам и управлению:
- Управляемость государства
- Управляемость выходного сигнала
- Управляемость в поведенческой структуре
Управляемость государства
Состояние детерминированной системы , которое является набором значений всех переменных состояния системы (переменных , характеризуемых динамическими уравнениями), полностью описывает систему в любой момент времени. В частности, для прогнозирования будущего не требуется никакой информации о прошлом системы, если известны состояния в настоящее время и известны все текущие и будущие значения управляющих переменных (те, значения которых можно выбрать).
Полная управляемость состояния (или просто управляемость, если не указан другой контекст) описывает способность внешнего входа (вектора управляющих переменных) перемещать внутреннее состояние системы из любого начального состояния в любое конечное состояние за конечный интервал времени. [1] : 737
То есть, мы можем неформально определить управляемость следующим образом: если для любого начального состояния и любого конечного состояния существует входная последовательность для перевода состояния системы из в за конечный интервал времени, то система, моделируемая представлением пространства состояний, является управляемой. Для простейшего примера непрерывной системы LTI размерность строки выражения пространства состояний определяет интервал; каждая строка вносит вектор в пространство состояний системы. Если таких векторов недостаточно, чтобы охватить пространство состояний , то система не может достичь управляемости. Может потребоваться изменить и лучше аппроксимировать базовые дифференциальные соотношения, которые она оценивает, чтобы достичь управляемости.
Управляемость не означает, что достигнутое состояние может быть сохранено, а лишь то, что любое состояние может быть достигнуто.
Управляемость не означает, что в пространстве состояний можно прокладывать произвольные пути, а лишь то, что существует путь в пределах заданного конечного интервала времени.
Непрерывные линейные системы
Рассмотрим непрерывную линейную систему [примечание 1]
Существует управление из состояния в момент времени в состояние в момент времени тогда и только тогда, когда находится в пространстве столбцов
где — матрица переходов состояний , а — грамиан управляемости .
Фактически, если является решением, то заданное управление осуществит желаемый переход.
Обратите внимание, что матрица, определенная выше, имеет следующие свойства:
- симметричен
- положительно полуопределен для
- удовлетворяет линейному матричному дифференциальному уравнению
- удовлетворяет уравнению
- [2]
Ранговое условие управляемости
Управляемость Gramian включает интеграцию матрицы перехода состояний системы. Более простое условие управляемости — это ранговое условие, аналогичное ранговому условию Калмана для систем, инвариантных во времени.
Рассмотрим линейную систему с непрерывным временем, плавно изменяющуюся в интервале :
Матрица перехода состояний также гладкая. Введем функцию матрицы nxm и определим
- = .
Рассмотрим матрицу матричнозначных функций, полученную перечислением всех столбцов , :
.
Если существует a и неотрицательное целое число k, такое что , то является управляемым. [3]
Если также аналитически изменяется в интервале , то является управляемой на каждом нетривиальном подинтервале тогда и только тогда, когда существуют и неотрицательное целое число k такие, что . [3]
Вышеуказанные методы все еще могут быть сложными для проверки, поскольку они включают вычисление матрицы перехода состояний . Другое эквивалентное условие определяется следующим образом. Пусть , и для каждого , определяют
- =
В этом случае каждый из них получается непосредственно из данных Система управляема, если существует и неотрицательное целое число, такое что . [3]
Пример
Рассмотрим систему, аналитически изменяющуюся по матрицам и
,
Тогда и поскольку эта матрица имеет ранг 3, система управляема на каждом нетривиальном интервале .
Непрерывные линейные системы, инвариантные во времени (LTI)
Рассмотрим непрерывную линейную стационарную систему
где
- это «вектор состояния»,
- это «выходной вектор»,
- это «входной (или управляющий) вектор»,
- это «матрица состояний»,
- это «входная матрица»,
- это «выходная матрица»,
- это «матрица прямой связи».
Матрица управляемости определяется как
Система управляема, если матрица управляемости имеет полный ранг строки (т.е. ).
Дискретные линейные стационарные системы (LTI)
Для дискретной по времени линейной системы состояний в пространстве (т.е. переменной времени ) уравнение состояния имеет вид
где — матрица, а — матрица (т.е. входные данные собраны в вектор). Тест на управляемость заключается в том, что матрица
имеет полный ранг строки (т.е. ). То есть, если система управляема, будет иметь столбцы, которые линейно независимы ; если столбцы линейно независимы , каждое из состояний достижимо путем подачи в систему соответствующих входных данных через переменную .
Вывод
При заданном состоянии в начальный момент времени, произвольно обозначенном как k = 0, уравнение состояния дает и так далее с повторными обратными подстановками переменной состояния, в конечном итоге получая
или эквивалентно
Применяя любое желаемое значение вектора состояния с левой стороны, эту задачу всегда можно решить для сложенного вектора векторов управления тогда и только тогда, когда матрица матриц в начале правой стороны имеет полный ранг строки.
Пример
Например, рассмотрим случай, когда и (т.е. только один управляющий вход). Таким образом, и являются векторами. Если имеет ранг 2 (полный ранг), и поэтому и линейно независимы и охватывают всю плоскость. Если ранг равен 1, то и коллинеарны и не охватывают плоскость.
Предположим, что начальное состояние равно нулю.
В то время :
В то время :
В момент времени все достижимые состояния находятся на линии, образованной вектором . В момент времени все достижимые состояния являются линейными комбинациями и . Если система управляема, то эти два вектора могут охватывать всю плоскость и это можно сделать за время . Предположение, что начальное состояние равно нулю, сделано просто для удобства. Очевидно, что если все состояния могут быть достигнуты из начала координат, то любое состояние может быть достигнуто из другого состояния (просто сдвиг в координатах).
Этот пример справедлив для всех положительных чисел , но случай проще представить.
Аналогия, например,н= 2
Рассмотрим аналогию с предыдущей системой-примером. Вы сидите в машине на бесконечной плоской плоскости и смотрите на север. Цель состоит в том, чтобы достичь любой точки плоскости, проехав расстояние по прямой, полностью остановиться, повернуть и проехать еще одно расстояние, снова по прямой. Если у вашей машины нет рулевого управления, то вы можете ехать только прямо, что означает, что вы можете ехать только по прямой (в данном случае по линии север-юг, поскольку вы начали движение лицом на север). Случай отсутствия рулевого управления будет аналогичен случаю, когда ранг равен 1 (два пройденных вами расстояния находятся на одной прямой).
Теперь, если бы у вашего автомобиля было рулевое управление, вы могли бы легко доехать до любой точки плоскости, и это было бы аналогично случаю, когда ранг равен 2.
Если изменить этот пример на то аналогия будет полетом в космосе для достижения любой точки в трехмерном пространстве (игнорируя ориентацию самолета ) . Вам разрешено:
- лететь по прямой
- повернуть влево или вправо на любую величину ( рыскание )
- направить самолет вверх или вниз на любую величину ( тангаж )
Хотя трехмерный случай сложнее визуализировать, концепция управляемости по-прежнему аналогична.
Нелинейные системы
Нелинейные системы в форме аффинного управления
локально доступны, если распределение доступности охватывает пространство, когда равно рангу и R определяется как: [4]
Здесь — это повторная операция скобок Ли, определяемая формулой
Матрица управляемости для линейных систем в предыдущем разделе фактически может быть выведена из этого уравнения.
Нулевая управляемость
Если дискретная система управления является нуль-управляемой, это означает, что существует управляемая система такая, что для некоторого начального состояния . Другими словами, это эквивалентно условию, что существует матрица такая, что является нильпотентной.
Это можно легко показать с помощью контролируемо-неконтролируемой декомпозиции.
Управляемость выходного сигнала
Выходная управляемость — это связанное понятие для выхода системы (обозначенное y в предыдущих уравнениях); выходная управляемость описывает способность внешнего входа перемещать выход из любого начального состояния в любое конечное состояние за конечный промежуток времени. Не обязательно, чтобы была какая-либо связь между управляемостью состояния и выходной управляемостью. В частности:
- Управляемая система не обязательно является управляемой по выходу. Например, если матрица D = 0, а матрица C не имеет полного ранга строки, то некоторые позиции выхода замаскированы ограничивающей структурой выходной матрицы и, следовательно, недостижимы. Более того, даже если система может быть переведена в любое состояние за конечное время, могут быть некоторые выходы, которые недоступны для всех состояний. Тривиальный числовой пример использует D = 0 и матрицу C с по крайней мере одной строкой нулей; таким образом, система не способна производить ненулевой выход по этому измерению.
- Система, контролируемая выходом, не обязательно контролируема состоянием. Например, если размерность пространства состояний больше размерности выхода, то будет набор возможных конфигураций состояний для каждого отдельного выхода. То есть, система может иметь существенную нулевую динамику , которая является траекториями системы, которые не наблюдаются из выхода. Следовательно, возможность приводить выход в определенное положение за конечное время ничего не говорит о конфигурации состояния системы.
Для линейной непрерывной системы, подобной приведенному выше примеру, описываемой матрицами , , , и , матрица управляемости выходного сигнала
имеет полный ранг строки (т.е. ранг ) тогда и только тогда, когда система управляема по выходу. [1] : 742
Управляемость при входных ограничениях
В системах с ограниченными полномочиями управления часто больше невозможно переместить любое начальное состояние в любое конечное состояние внутри контролируемого подпространства. Это явление вызвано ограничениями на вход, которые могут быть присущи системе (например, из-за насыщения исполнительного механизма) или наложены на систему по другим причинам (например, из-за проблем, связанных с безопасностью). Управляемость систем с ограничениями на вход и состояние изучается в контексте достижимости [5] и теории жизнеспособности . [6]
Управляемость в поведенческой структуре
В так называемом поведенческом системном теоретическом подходе Виллемса (см. люди в системах и управление ), рассматриваемые модели не определяют напрямую структуру ввода-вывода. В этой структуре системы описываются допустимыми траекториями набора переменных, некоторые из которых могут быть интерпретированы как вводы или выводы.
Система затем определяется как управляемая в этой обстановке, если любая прошлая часть поведения (траектория внешних переменных) может быть связана с любой будущей траекторией поведения таким образом, что связь содержится в поведении, т.е. является частью допустимого поведения системы. [7] : 151
Стабилизируемость
Немного более слабым понятием, чем управляемость, является понятие стабилизируемости . Система считается стабилизируемой , когда все неконтролируемые переменные состояния могут быть сделаны имеющими стабильную динамику . Таким образом, даже если некоторые переменные состояния не могут контролироваться (как определено тестом управляемости выше), все переменные состояния все равно останутся ограниченными во время поведения системы. [8]
Достижимый набор
Пусть T ∈ Т и x ∈ X (где X — множество всех возможных состояний, а Т — интервал времени). Достижимое множество из x за время T определяется как: [3]
, где хТ→z обозначает, что существует переход состояния из x в z за время T.
Для автономных систем достижимое множество определяется по формуле:
- ,
где R — матрица управляемости.
С точки зрения достижимого множества система управляема тогда и только тогда, когда .
Доказательство
Имеем следующие равенства:
Учитывая, что система управляема, столбцы R должны быть линейно независимы . Итак:
Связанным с достижимым множеством является управляемое множество, определяемое следующим образом:
- .
Связь между достижимостью и управляемостью представлена Зонтаг: [3]
(а) n-мерная дискретная линейная система управляема тогда и только тогда, когда:
- (Где X — набор всех возможных значений или состояний x, а k — временной шаг).
(б) Непрерывная линейная система управляема тогда и только тогда, когда:
- для всех е>0.
тогда и только тогда, когда для всех e>0.
Пример
Пусть система представляет собой n-мерную дискретно-инвариантную во времени систему из формулы:
- (Где (конечное время, начальное время, переменная состояния, ограничения) определяется как матрица перехода переменной состояния x от начального времени 0 до конечного времени n с некоторыми ограничениями w).
Отсюда следует, что будущее состояние находится в тогда и только тогда, когда оно находится в , образе линейного отображения , определяемом как:
- ,
какие карты,
Когда и мы отождествляем себя с матрицей, столбцы которой расположены в этом порядке. Если система управляема, то ранг равен . Если это так, то изображение линейной карты — это все . Исходя из этого, мы имеем:
- с .
Смотрите также
Примечания
Ссылки
- ^ ab Кацухико Огата (1997). Современная техника управления (3-е изд.). Верхняя Сэддл-Ривер, Нью-Джерси: Prentice-Hall. ISBN 978-0-13-227307-7.
- ^ Брокетт, Роджер В. (1970). Конечномерные линейные системы . John Wiley & Sons. ISBN 978-0-471-10585-5.
- ^ abcde Эдуардо Д. Зонтаг, Математическая теория управления: детерминированные конечномерные системы.
- ^ Исидори, Альберто (1989). Нелинейные системы управления , с. 92–3. Спрингер-Верлаг, Лондон. ISBN 3-540-19916-0 .
- ^ Клэр Дж. Томлин; Иэн Митчелл; Александр М. Байен; Мико Оиши (2003). «Вычислительные методы проверки гибридных систем» (PDF) . Труды IEEE . 91 (7): 986–1001. CiteSeerX 10.1.1.70.4296 . doi :10.1109/jproc.2003.814621 . Получено 04.03.2012 .
- ^ Жан-Пьер Обен (1991). Теория жизнеспособности . Биркхаузер. ISBN 978-0-8176-3571-8.
- ^ Ян Полдерман; Ян Виллемс (1998). Введение в теорию математических систем: поведенческий подход (1-е изд.). Нью-Йорк: Springer Verlag. ISBN 978-0-387-98266-3.
- ^ Брайан ДО Андерсон; Джон Б. Мур (1990). Оптимальное управление: линейно-квадратичные методы . Энглвуд Клиффс, Нью-Джерси: Prentice Hall. ISBN 978-0-13-638560-8.
Внешние ссылки
- Функция MATLAB для проверки управляемости системы Архивировано 10.02.2012 на Wayback Machine
- Функция Mathematica для проверки управляемости системы