Разработка регулятора для управления формализованными объектами