@inproceedings{cecec5c73c324f91ae8cbb0a70f9da44,
title = "Deciding reachability for planar multi-polynomial systems",
abstract = "In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state space corresponds to the standard Euclidean plane, which is partitioned into a finite, number of (polyhedral) regions. To each of these regions is assigned some vector field which governs the dynamical behaviour of the system within this region. We prove the decidability of point to point and region to region reachability problems for planar hybrid systems for the case when trajectories within the regions can be described by polynomials of arbitrary degree.",
author = "Kārlis {\v C}erāns and Juris Vīksna",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 5th DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, 1995 ; Conference date: 22-10-1995 Through 25-10-1995",
year = "1996",
doi = "10.1007/BFb0020962",
language = "English",
isbn = "354061155X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "389--400",
editor = "Rajeev Alur and Henzinger, \{Thomas A.\} and Sontag, \{Eduardo D.\}",
booktitle = "Hybrid Systems III - Verification and Control",
address = "Germany",
}