Abstract. A generally applicable, automatic method for the efficient computation of a database of global dynamics of a multiparameter dynamical system is introduced. An outer approximation of the dynamics for each subset of the parameter range is computed using rigorous numerical methods and is represented by means of a directed graph. The dynamics is then decomposed into the recurrent and gradient-like parts by fast combinatorial algorithms and is classified via Morse decompositions. These Morse decompositions are compared at adjacent parameter sets via continuation to detect possible changes in the dynamics. The Conley index is used to study the structure of isolated invariant sets associated with the computed Morse decompositions and to detect the existence of certain types of dynamics. The power of the developed method is illustrated with an application to the two-dimensional, density-dependent, Leslie population model. An interactive visualization of the results of computations discussed in the paper can be accessed at the website http://chomp.rutgers.edu/database/, and the source code of the software used to obtain these results has also been made freely available.

We introduce an efficient algorithm to compute the homomorphism induced in (relative) homology by a continous map. The algorithm is based on a cubical approximation of the map and the theory of multivalued maps. A software implementation of the algorithms introduced in this paper is available at [27].

We discuss an algorithmic framework based on efficient graph algorithms and algebraic-topological computational tools. The framework is aimed at automatic computation of a database of global dynamics of a given m-parameter semidynamical system with discrete time on a bounded subset of the n-dimensional phase space. We introduce the mathematical background, which is based upon Conley's topological approach to dynamics, describe the algorithms for the analysis of the dynamics using rectangular grids both in phase space and parameter space, and show two sample applications.