Регуляторы и устойчивость обратной связи

Машина, которая должна не просто реагировать

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

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

В 1868 году Максвелл опубликовал статью «On Governors». Она вышла в Proceedings Royal Society, том XVI, страницы 270–283, а также в Philosophical Magazine, том XXXV, страницы 385–398. Фонд Максвелла называет эту работу первым математическим рассмотрением обратной связи, ведущим к теории управления и кибернетике.

От рычагов к уравнению

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

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

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

Что видно на простом примере

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

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

Этот пример учебный, а не описание одного определённого механизма из статьи. Его задача — показать, почему критерий не сводится к лозунгу «делать наоборот». Отрицательная обратная связь указывает направление поправки, тогда как устойчивость требует правильного сочетания всех временных масштабов. В инженерной практике именно там обычно прячется причина, по которой аккуратная схема на бумаге начинает в железе жить отдельной жизнью.

Работа не об электромагнитном поле

Максвелл создавал статью о регуляторах в период, близкий к работам по электромагнетизму, но предмет «On Governors» — динамика регулирующих устройств, а не электромагнитное поле. Такое уточнение защищает от привычной энциклопедической склейки, где каждое уравнение автора автоматически оказывается частью одной и той же теории. Здесь исходной сценой служат паровая машина, скорость и механическая коррекция.

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

«On Governors» ценна тем, что делает устойчивость проверяемым свойством, а не комплиментом хорошему механизму. Регулятор может быть изящно устроен и правильно направлен, но проиграть из-за собственных времён реакции. Максвелл перевёл этот инженерный вопрос в форму, где ответ дают корни характеристического уравнения — сухая алгебра, за которой слышно, будет ли машина спокойно держать ход.