E. Asarin, O. Maler, A. Pnueli, On the Analysis of Dynamical Systems having Piecewise-Constant Derivatives. (Об анализе динамических систем с кусочно-постоянными производными).

В статье рассматривается класс гибридных систем, так называемые кусочно-постоянные системы (КПС). Чтобы задать такую систему, надо разбить Rⁿ на несколько многогранных множеств, в каждом из которых определено постоянное векторное поле. Траектории соответствующего дифференциального уравнения являются ломаными линиями, меняющими направление на границах многогранных областей.

Для таких систем изучается вопрос о достижимости: существует ли траектория из заданного многогранника P в другой заданный многогранник Q. Основной результат статьи — алгоритм проверки достижимости для КПС на плоскости и алгоритмическая неразрешимость задачи достижимости, начиная с размерности 3. [Postscript]