文章基本信息
- 标题：Deciding Reachability for 3-Dimensional Multi-Linear Systems
- 本地全文：下载
- 作者：Olga Tveretina ; Daniel Funke
- 期刊名称：Electronic Proceedings in Theoretical Computer Science
- 电子版ISSN：2075-2180
- 出版年度：2011
- 卷号：54
- 页码：250-262
- DOI：10.4204/EPTCS.54.18
- 出版社：Open Publishing Association
- 摘要：This paper deals with the problem of point-to-point reachability in multi-linear systems. These systems consist of a partition of the Euclidean space into a finite number of regions and a constant derivative assigned to each region in the partition, which governs the dynamical behavior of the system within it. The reachability problem for multi-linear systems has been proven to be decidable for the two-dimensional case and undecidable for the dimension three and higher.
Multi-linear systems however exhibit certain properties that make them very suitable for topological analysis. We prove that reachability can be decided exactly in the 3-dimensional case when systems satisfy certain conditions. We show with experiments that our approach can be orders of magnitude more efficient than simulation.
