An algorithmic approach to chain recurrence

DOI10.1007/s10208-004-0163-9zbMath1099.37010OpenAlexW2028617788MaRDI QIDQ2505649

William D. Kalies, Robert C. A. M. VanderVorst, Konstantin Mischaikow

Publication date: 28 September 2006

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10208-004-0163-9

zbMATH Keywords

discrete approximations isolating blocks chain recurrent set Conley's Lyapunov function

Mathematics Subject Classification ID

Stability of topological dynamical systems (37B25) Attractors and repellers of smooth dynamical systems and their topological structure (37C70) Gradient-like behavior; isolated (locally maximal) invariant sets; attractors, repellers for topological dynamical systems (37B35) Index theory for dynamical systems, Morse-Conley indices (37B30) Approximation methods and numerical treatment of dynamical systems (37M99) Notions of recurrence and recurrent behavior in topological dynamical systems (37B20)

Related Items

Computation and Verification of Lyapunov Functions ⋮ An Algorithmic Approach to Lattices and Order in Dynamics ⋮ Chain recurrence rates and topological entropy ⋮ Simplification of Morse Decompositions Using Morse Set Mergers ⋮ Computing continuous and piecewise affine Lyapunov functions for nonlinear systems ⋮ Recent development in rigorous computational methods in dynamical systems ⋮ Persistence of Morse decompositions over grid resolution for maps and time series ⋮ Discretization strategies for computing Conley indices and Morse decompositions of flows ⋮ Polygonal approximation of flows ⋮ Rigorous computational dynamics in the context of unknown nonlinearities ⋮ Lattice structures for attractors. III ⋮ Čech type approach to computing homology of maps ⋮ Computation of Lyapunov functions for nonlinear discrete time systems by linear programming ⋮ Combinatorial-topological framework for the analysis of global dynamics ⋮ Global dynamics for steep nonlinearities in two dimensions ⋮ Conditioned Wiener processes as nonlinearities: a rigorous probabilistic analysis of dynamics ⋮ The Morse equation in the Conley index theory for discrete multivalued dynamical systems ⋮ Continuation sheaves in dynamics: sheaf cohomology and bifurcation ⋮ Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index ⋮ Computational Approach for Complete Lyapunov Functions ⋮ Topological horseshoes of traveling waves for a fast-slow predator-prey system ⋮ A computational framework for connection matrix theory ⋮ Lattice structures for attractors. II ⋮ Rigorous bounds for polynomial Julia sets ⋮ Chaos near a resonant inclination-flip ⋮ Finite resolution dynamics ⋮ Revised CPA method to compute Lyapunov functions for nonlinear systems ⋮ Parallelization method for a continuous property ⋮ Computing complete Lyapunov functions for discrete-time dynamical systems ⋮ Lattice structures for attractors. I ⋮ Conley Index Approach to Sampled Dynamics ⋮ Conley--Morse Databases for the Angular Dynamics of Newton's Method on the Plane ⋮ Topological Computation Analysis of Meteorological Time-Series Data ⋮ Existence of complete Lyapunov functions with prescribed orbital derivative ⋮ Improved generalized cell mapping for global analysis of dynamical systems ⋮ Minimization with differential inequality constraints applied to complete Lyapunov functions ⋮ Computing Linear Extensions for Polynomial Posets Subject to Algebraic Constraints ⋮ Conley's Fundamental Theorem for a Class of Hybrid Systems ⋮ Computation of continuous and piecewise affine Lyapunov functions for discrete-time systems ⋮ Simplicial Multivalued Maps and the Witness Complex for Dynamical Analysis of Time Series ⋮ Computation of Lyapunov functions for systems with multiple local attractors ⋮ Review on computational methods for Lyapunov functions ⋮ Efficient computation of Lyapunov functions for Morse decompositions

Uses Software

GAIO