ByNobleID
    Линейные управляемые объекты с фазовыми ограничениями. Приближенное вычисление множеств достижимости | NobleID