Аксиомы теории управления

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

1. Есть цель

Цель задаёт требуемое состояние или допустимую область состояний. «Сделать систему лучше» не задаёт управление; нужны наблюдаемые признаки результата и срок.

2. Объект наблюдаем

Состояние $x$ может быть скрыто, но его важную часть надо восстанавливать по известным входам $u$ и измеряемым выходам $y$:

$y(t)=g(x(t),u(t))$

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

3. Объект управляем

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

4. Есть выбор воздействия

Регулятору нужны альтернативы: масштабировать, ограничить поток, изменить приоритет, перейти в деградированный режим. Единственная команда — не выбор, а жёстко заданная реакция.

5. Есть ресурсы

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

6. Есть критерий эффективности

После воздействия нужно сравнить результат с целью:

$J=J(x(t),u(t),T)$

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

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

цель -> измерение -> решение -> воздействие -> новое измерение

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

Связано: Оценка качества управления, Положительная и отрицательная обратная связь.

Самопроверка

• Чем наблюдаемость отличается от наличия логов?
• Может ли объект быть управляемым в модели, но неуправляемым на практике?
• Почему один KPI способен ухудшить качество управления?