Topological techniques for efficient rigorous computation in dynamics

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Acta Numerica

• Publication date

  2002-01-01

• Fields of study

  Mathematics, Physics, Computer Science

• Identifiers
  DOI 10.1017/S0962492902000065
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems

  2004cited by this paper
• Regularity, determining modes and Galerkin methods

  2003cited by this paper
• Chapter 5 - Set Oriented Numerical Methods for Dynamical Systems

  2002cited by this paper
• Computing Homology

  2001cited by this paper
• The Algorithms Behind GAIO — Set Oriented Numerical Methods for Dynamical Systems

  2001cited by this paper
• The numerical analysis of bifurcation problems with application to fluid mechanics

  2000cited by this paper
• Rigorous Numerics for Partial Differential Equations: The Kuramoto—Sivashinsky Equation

  2000cited by this paper
• COMPUTER ASSISTED METHOD FOR PROVING EXISTENCE OF PERIODIC ORBITS

  1999cited by this paper
• Shift Equivalence and the Conley Index

  1999cited by this paper
• Horseshoes and the conley index spectrum-II: the theorem is sharp

  1999cited by this paper
• Horseshoes and the Conley Index Spectrum

  1999cited by this paper
• An Algorithmic Approach to the Conley Index Theory

  1999cited by this paper
• Algebraic transition matrices in the Conley index theory

  1998cited by this paper
• Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

  1998cited by this paper
• Geometric methods for discrete dynamical systems

  1998influential reference
• DYNAMICAL SYSTEMS: STABILITY, SYMBOLIC DYNAMICS AND CHAOS

  1998influential reference
• AUTO 2000 : CONTINUATION AND BIFURCATION SOFTWARE FOR ORDINARY DIFFERENTIAL EQUATIONS (with HomCont)

  1997cited by this paper
• Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof

  1997cited by this paper
• Dynamical Systems And Numerical Analysis

  1997cited by this paper
• A combinatorial procedure for finding isolating neighbourhoods and index pairs

  1997influential reference
• Stable Index Pairs for Discrete Dynamical Systems

  1997cited by this paper
• A subdivision algorithm for the computation of unstable manifolds and global attractors

  1997cited by this paper
• Topological invariants, mulitvalued maps and computer assisted proofs in dynamics

  1996cited by this paper
• The Conley index and symbolic dynamics

  1996cited by this paper
• On the global dynamics of attractors for scalar delay equations

  1996cited by this paper
• Introduction to algorithms

  1996influential reference
• Conley index for discrete multi-valued dynamical systems

  1995cited by this paper
• Zeta functions, periodic trajectories, and the conley index

  1995cited by this paper
• The Conley index for decompositions of isolated invariant sets

  1995influential reference
• Isolating neighborhoods and chaos

  1995influential reference
• Chaos in the Lorenz equations: a computer-assisted proof

  1995influential reference
• Global asymptotic dynamics of gradient-like bistable equations

  1995cited by this paper
• Exploring global dynamics: a numerical algorithm based on the conley index theory

  1995cited by this paper
• Dynamics on the global attractor of a gradient flow arising from the Ginzburg-Landau equation

  1994cited by this paper
• Hyperbolicity and sensitive chaotic dynamics at homoclinic bifurcations : fractal dimensions and infinitely many attractors

  1993cited by this paper
• Lyapunov maps, simplicial complexes and the Stone functor

  1992cited by this paper
• Connected simple systems, transition matrices, and heteroclinic bifurcations

  1992cited by this paper
• Leray functor and cohomological Conley index for discrete dynamical systems

  1990cited by this paper
• The connection matrix theory for Morse decompositions

  1989cited by this paper
• Transition systems

  1989cited by this paper
• Index pairs and the fixed point index for semidynamical systems with discrete time

  1989cited by this paper
• Isolating blocks and epsilon chains for maps

  1989cited by this paper
• The Connection Matrix Theory for Semiflows on (Not Necessarily Locally Compact) Metric Spaces

  1988cited by this paper
• Connecting orbits in one-parameter families of flows

  1988cited by this paper
• Dynamical systems, shape theory and the Conley index

  1988cited by this paper
• The continuation theory for Morse decompositions and connection matrices

  1988cited by this paper
• A refinement of the Conley index and an application to the stability of hyperbolic invariant sets

  1987cited by this paper
• Index filtrations and the homology index braid for partially ordered Morse decompositions

  1986cited by this paper
• CONNECTED SIMPLE SYSTEMS AND THE CONLEY INDEX OF ISOLATED INVARIANT SETS

  1985cited by this paper
• The Conley Index

  1983influential reference
• Shock Waves and Reaction-Diffusion Equations

  1983cited by this paper
• Isolated Invariant Sets and the Morse Index

  1978influential reference
• Stability theorems and hyperbolicity in dynamical systems

  1977cited by this paper
• Isolating blocks and symbolic dynamics

  1975cited by this paper
• Isolated invariant sets and isolating blocks

  1971cited by this paper
• CAMBRIDGE MONOGRAPHS ON APPLIED AND COMPUTATIONAL MATHEMATICS

  year unknowninfluential reference

• Computing control invariant set using reinforcement learning by leveraging default value function

  2025cites this paper
• Computability for Axiom A Polynomial Skew Products of $\mathbb{C}^2$

  2025cites this paper
• Robust upper estimates for topological entropy via nonlinear constrained optimization over adapted metrics

  2025cites this paper
• Quantifying robustness of the gap gene network.

  2024cites this paper
• Restriction and interpolation operators for digital images and their boundaries

  2024cites this paper
• Poincaré-Hopf theorem for hybrid systems

  2021cites this paper
• State of the Art in Time‐Dependent Flow Topology: Interpreting Physical Meaningfulness Through Mathematical Properties

  2020cites this paper
• Computing robust control invariant sets of constrained nonlinear systems: A graph algorithm approach

  2020cites this paper
• Combinatorial models of global dynamics: learning cycling motion from data

  2020cites this paper
• Achieving Ecological Resilience Through Regime Shift Management

  2020cites this paper
• On Invariant Surfaces in Gene Network Models

  2020cites this paper
• Sparse decompositions of nonlinear dynamical systems and applications to moment-sum-of-squares relaxations

  2020cites this paper
• Sheaf-theoretic framework for optimal network control.

  2020cites this paper
• Orbital stability investigations for travelling waves in a nonlinearly supported beam

  2019cites this paper
• Computer-Assisted Proofs for Dynamical Systems

  2019cites this paper
• Multistability in the epithelial-mesenchymal transition network

  2019cites this paper
• Provably convergent implementations of the subdivision algorithm for the computation of invariant objects

  2017cites this paper
• Strong Conley index over a phase space

  2016cites this paper
• Computational Conley theory

  2016cites this paper
• Strong shift equivalence and strong Conley index

  2016cites this paper
• Cocyclic subshifts from Diophantine equations

  2014cites this paper
• CATALOGING THE GLOBAL BEHAVIOR OF DYNAMICAL SYSTEMS: ADAPTIVELY SEARCHING PARAMETER SPACE USING THE CONLEY-MORSE DATABASE

  2013cites this paper
• Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities

  2013cites this paper
• Chaos in a seasonally perturbed SIR model: avian influenza in a seabird colony as a paradigm

  2012cites this paper
• A Complete Bibliography of Publications in Acta Numerica

  2012cites this paper
• Computer Assisted Rigorous Proof of Chaos in the Ikeda Map

  2011cites this paper
• Čech Type Approach to Computing Homology of Maps

  2010cites this paper
• IN RIGOROUS COMPUTATIONAL METHODS IN DYNAMICAL SYSTEMS

  2009cites this paper
• Recent development in rigorous computational methods in dynamical systems

  2009cites this paper
• Symbolic dynamics for nonhyperbolic systems

  2009cites this paper
• Improved generalized cell mapping for global analysis of dynamical systems

  2009cites this paper
• Vector Field Design on Surfaces

  2008influential citation
• Efficient Morse Decompositions of Vector Fields

  2008cites this paper
• Epsilon-Pseudo-Orbits and Applications

  2008cites this paper
• トポロジー・計算・ダイナミクス

  2008cites this paper
• Polygonal approximation of flows

  2007cites this paper
• The Euler–Poincaré characteristic of index maps☆

  2007cites this paper
• Topological Horseshoes of Traveling Waves for a Fast–Slow Predator–Prey System

  2007cites this paper
• Vector Field Editing and Periodic Orbit Extraction Using Morse Decomposition

  2007cites this paper
• A computational approach to conley's decomposition theorem

  2006cites this paper
• Vector field design on surfaces

  2006cites this paper
• Rigorous Computations of Homoclinic Tangencies

  2006cites this paper
• Investigation of Dynamical Systems Using Symbolic Images: Efficient Implementation and Applications

  2006influential citation
• Rigorous numerical studies of the dynamics of polynomial skew products of C^2

  2005cites this paper
• Controllability and Invariance Properties of Time-Periodic Systems

  2005cites this paper
• A planar topological horseshoe theory with applications to computer verifications of chaos

  2005cites this paper
• Computable conditions for the occurrence of non-uniform hyperbolicity in families of one-dimensional maps

  2005cites this paper
• Rigorous Numerics for Global Dynamics: A Study of the Swift-Hohenberg Equation

  2005cites this paper
• An Algorithmic Approach to Chain Recurrence

  2005cites this paper
• Graph Approach to the Computation of the Homology of Continuous Maps

  2005cites this paper
• A Numerical Method for Constructing the Hyperbolic Structure of Complex Henon Mappings

  2004cites this paper
• A numerical method for proving hyperbolicity of complex Henon mappings

  2004cites this paper
• Formally Verifying an Algorithm Based on Interval Arithmetic for Checking Transversality

  2004cites this paper
• Rigorous numerical models for the dynamics of complex Henon mappings on their chain recurrent sets

  2004cites this paper
• The fractal property of the Lorenz attractor

  2004cites this paper
• Constructing an expanding metric for dynamical systems in one complex variable

  2004cites this paper
• Applications of Lefschetz Numbers in Control Theory

  2004cites this paper
• On the computation of invariant measures in random dynamical systems

  2003cites this paper
• Computing Homology

  2001cites this paper
• Rigorous Numerical Studies of the Dynamics of Polynomial Skew Products of C

  year unknowncites this paper