作者: Lorenzo Sella , Pieter Collins
DOI: 10.1016/J.CAM.2009.12.034
关键词:
摘要: In this paper we design and implement rigorous algorithms for computing symbolic dynamics piecewise-monotone-continuous maps of the interval. The are based on forwards backwards approximations boundary, discontinuity critical points. We explain how to handle discontinuities in which occur when computed partition element boundaries not disjoint. method is applied compute entropy bounds return map singular limit a switching system with hysteresis forced Van der Pol equation.