Понятие и примеры формализованных моделей управления