Алгоритм построения множества разрешимости в линейной дифференциальной игре высокой размерности

В статье рассматривается алгоритм построения множества разрешимости для линейной дифференциальной игры с фиксированным моментом окончания и выпуклым целевым множеством, связывающим $m$ координат фазового вектора ($m=4,5,6,7\dots$). Основу алгоритма составляют операции над выпуклыми многогранниками в пространстве размерности $m$. Для выполнения этих операций используются методы работы с системами линейных неравенств, развитые С. Н. Черниковым.