Deciding reachability for planar multi-polynomial systems
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.
Unable to display preview. Download preview PDF.
- 2.R. Alur and D. Dill. Automata for modeling real time systems. In Proceedings of ICALP'90, volume 443 of Lecture Notes in Computer Science, pages 322–335, 1990.Google Scholar
- 4.E. Asarin and O. Maler. On some relations between dynamical systems and transition systems. In Proceedings of the 21st International Colloquium ICALP94, volume 820 of Lecture Notes in Computer Science, pages 59–72, 1994.Google Scholar
- 5.K. Čerāns. Algorithmic problems in analysis of real time system specifications. PhD thesis, University of Latvia, 1992.Google Scholar
- 6.K. Čerāns. Decidability of bisimulation equivalences for parallel timer processes. In Proceedings of CAV'92, volume 663 of Lecture Notes in Computer Science, pages 302–315, 1992.Google Scholar
- 7.P.A. Henzinger and P.H. Ho. Algorithmic analysis of nonlinear hybrid systems. In Proceedings of CAV'95, Lecture Notes in Computer Science, 1995.Google Scholar
- 8.T.A. Henzinger. Hybrid automata with finite bisimulations. In Proceedings of ICALP'95, volume 944 of Lecture Notes in Computer Science, pages 324–335, 1995.Google Scholar
- 9.T.A. Henzinger, P. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In Proceedings of the 27th ACM Symposium on Theory of Computing, 1995.Google Scholar
- 10.O. Maler and A. Pnueli. Reachability analysis of planar multi-linear systems. In Proceedings of the 5th International Conference of Computer Aided Verification, volume 697 of Lecture Notes in Computer Science, pages 194–209, 1993.Google Scholar
- 11.R. Zippel. Effective polynomial computation. Kluwer Academic Publishers, 1993.Google Scholar