Widening the Boundary Between Decidable and Undecidable Hybrid Systems Eugene Asarin and Gerardo Schneider
We revisited decidability of the reachability problem for low
dimensional hybrid systems. Even though many attempts have been done
to draw the boundary between decidable and undecidable hybrid systems
there are still many open problems in between. In this paper we show
that the reachability question for some two dimensional hybrid systems
are undecidable and that for other 2-dim systems this question remains
unanswered, showing that it is as hard as the reachability problem for
Piecewise Affine Maps, that is a well known open problem.
|
concur02@fi.muni.cz |