Полиэдральная формализация дискретных задач управления динамическими процессамидоклад на конференции