Related papers: Computer Assisted Proof of Drift Orbits Along Norm…
Stable and unstable manifolds, originating from hyperbolic cycles, fundamentally characterize the behaviour of dynamical systems in chaotic regions. This letter demonstrates that their shifts under perturbation, crucial for chaos control,…
We develop an extension of the fast method of angles for hyperbolicity verification in chaotic systems with an arbitrary number of time-delay feedback loops. The adopted method is based on the theory of covariant Lyapunov vectors and…
We propose a computational method to simulate anomalous self-diffusion in a simple liquid. The method is based on a molecular dynamics simulation on which we impose the following two conditions: firstly, the inter-particle interaction is…
An analytical method for investigation of the evolution of dynamical systems {\it with independent on time accuracy} is developed for perturbed Hamiltonian systems. The error-free estimation using of computer algebra enables the application…
We investigate the long-term diffusion transport and chaos properties of single and coupled standard maps. We consider model parameters that are known to induce anomalous diffusion in the maps' phase spaces, as opposed to normal diffusion…
The existence of normal deterministic diffusion in dynamical systems with a two-dimensional phase space tiled by regular triangles (or their unions into regular hexagons) is proven.
In this work, inspired in the symbolic dynamic of chaotic systems and using machine learning techniques, a control strategy for complex systems is designed. Unlike the usual methodologies based on modeling, where the control signal is…
We present a novel artificial diffusion method to circumvent the instabilities associated with the standard finite element approximation of convection-diffusion equations. Motivated by the micromorphic approach, we introduce an auxiliary…
In this paper, we present and apply a computer-assisted method to study steady states of a triangular cross-diffusion system. Our approach consist in an a posteriori validation procedure, that is based on using a fxed point argument around…
For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic structure via verified computer calculations. Central to our…
Deterministic diffusion in temporally oscillating convection is studied for particles with finite mass. The particles are assumed to obey a simple dissipative dynamical system and the particle diffusion is induced by the strange attractor.…
We address a fundamental mismatch between the combinations of dynamics that occur in cyber-physical systems and the limited kinds of dynamics supported in analysis. Modern applications combine communication, computation, and control. They…
We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds (NHIMs). The method is based on a new geometric proof of the normally…
We introduce an effective algorithmic method for the computation of a lower bound for uniform expansion in one-dimensional dynamics. The approach employs interval arithmetic and thus provides a rigorous numerical result (computer-assisted…
Exploring chaotic systems via Poincar\'e sections has proven essential in dynamical systems, yet measuring their characteristics poses challenges to identify the various dynamical regimes considered. In this paper, we propose a new approach…
The literature is rich with studies, analyses, and examples on parameter estimation for describing the evolution of chaotic dynamical systems based on measurements, even when only partial information is available through observations.…
We develop a numerical test of hyperbolicity of chaotic dynamics in time-delay systems. The test is based on the angle criterion and includes computation of angle distributions between expanding, contracting and neutral manifolds of…
We study diffusion in a one-dimensional periodic array of scatterers modeled by a simple map. The chaotic scattering process for this map can be changed by a control parameter and exhibits the dynamics of a crisis in chaotic scattering. We…
High-fidelity numerical simulations of chaotic, high dimensional nonlinear dynamical systems are computationally expensive, necessitating the development of efficient surrogate models. Most surrogate models for such systems are…
The impact of quenched disorder on deterministic diffusion in chaotic dynamical systems is studied. As a simple example, we consider piecewise linear maps on the line. In computer simulations we find a complicated scenario of multiple…