Е.А. Асарин, О. Малер. Дискретно-непрерывные системы: алгоритмический аспект

Исследуются гибридные системы, описываемые обыкновенными дифференциальными уравнениями с кусочно-постоянной (разрывной) правой частью.

Устанавливается алгоритмическая неразрешимость задачи достижимости при размерности фазового пространства выше двух.[Postscript]