Detecting unreliable computer simulations of recursive functions with interval extensions
From MaRDI portal
Publication:2318236
DOI10.1016/j.amc.2018.02.020zbMath1427.65411OpenAlexW2789972439WikidataQ59899212 ScholiaQ59899212MaRDI QIDQ2318236
Samir A. M. Martins, Bruno C. Silva, Matjaž Perc, Gleison F. V. Amaral, Erivelton Geraldo Nepomuceno
Publication date: 14 August 2019
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.amc.2018.02.020
Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Algorithms with automatic result verification (65G20) Numerical methods for functional equations (65Q20)
Related Items
Effective computational discretization scheme for nonlinear dynamical systems, Emergent scalar symmetry in discrete dynamical systems, Cause and origin of Moire interferences in recursive processes and with fixed-point and floating-point data types, Image encryption using finite-precision error, Soft Computing Simulations of Chaotic Systems, Interval computing periodic orbits of maps using a piecewise approach
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lyapunov functions, shadowing and topological stability
- Computational chaos - a prelude to computational instability
- Do numerical orbits of chaotic dynamical processes represent true orbits?
- What good are numerical simulations of chaotic dynamical systems?
- On the analysis of pseudo-orbits of continuous chaotic nonlinear systems simulated using discretization schemes in a digital computer
- On the susceptibility of numerical methods to computational chaos and superstability
- An equation for continuous chaos
- Rigorous high-dimensional shadowing using containment: the general case
- Numerical Computing with IEEE Floating Point Arithmetic
- Can we trust in numerical computations of chaotic solutions of dynamical systems ?
- Nonlinear System Identification
- A Very Simple Method to Calculate the (Positive) Largest Lyapunov Exponent Using Interval Extensions
- Comparison between Binary and Decimal Floating-Point Numbers
- Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions
- Introduction to Interval Analysis
- Representations of non-linear systems: the NARMAX model
- Is the Hénon attractor chaotic?
- Deterministic Nonperiodic Flow
- Chaos in Dynamical Systems
- Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms
- Simulation-Based Verification of Floating-Point Division
- Control-Theoretic Forward Error Analysis of Iterative Numerical Algorithms
- Simple mathematical models with very complicated dynamics
