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