E.Asarin, O.Maler, Discrete-continuous systems: an algorithmic aspect (in Russian)

Hybrid systems described by ordinary differential equations with piecewise continuous right-hand side are considered. The main result is algorithmic undecidability of reachability for dimension 3 or more. [Postscript]