Detecting unreliable computer simulations of recursive functions with interval extensions

DOI10.1016/J.AMC.2018.02.020MaRDI QIDQ2318236zbMATH OpenOpenAlexWikidataFDO

Authors Samir A. M. Martins, Bruno C. Silva, Gleison F. V. Amaral, Matjaž Perc, 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

zbMATH Keywords

chaoslower bound errornonlinear dynamicsnumerical simulation

Mathematics Subject Classification ID

Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Algorithms with automatic result verification (65G20) Numerical methods for functional equations (65Q20)

Recommendations

• Using different interval extensions to increase the accuracy of the exact solution on recursive functions
• On the analysis of pseudo-orbits of continuous chaotic nonlinear systems simulated using discretization schemes in a digital computer
• Rigorous verification of trajectories for the computer simulation of dynamical systems
• Inconsistencies in numerical simulations of dynamical systems using interval arithmetic
• Soft Computing Simulations of Chaotic Systems

Cites work

• A very simple method to calculate the (positive) largest Lyapunov exponent using interval extensions
• An equation for continuous chaos
• Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions
• Can we trust in numerical computations of chaotic solutions of dynamical systems?
• Chaos in Dynamical Systems
• Comparison between Binary and Decimal Floating-Point Numbers
• Computational chaos - a prelude to computational instability
• Control-Theoretic Forward Error Analysis of Iterative Numerical Algorithms
• Deterministic Nonperiodic Flow
• Do numerical orbits of chaotic dynamical processes represent true orbits?
• Experimentation and proof in mathematics.
• scientific article; zbMATH DE number 3649911 (Why is no real title available?)
• scientific article; zbMATH DE number 1542866 (Why is no real title available?)
• Introduction to Interval Analysis
• Is the Hénon attractor chaotic?
• Lyapunov functions, shadowing and topological stability
• Nonlinear system identification. NARMAX methods in the time, frequency, and spatio-temporal domains
• Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
• Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms
• 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
• Representations of non-linear systems: the NARMAX model
• Rigorous high-dimensional shadowing using containment: the general case
• Simple mathematical models with very complicated dynamics
• Simulation-Based Verification of Floating-Point Division
• What good are numerical simulations of chaotic dynamical systems?

Cited in

(8)

• Cause and origin of moire interferences in recursive processes and with fixed-point and floating-point data types
• Image encryption using finite-precision error
• Interval computing periodic orbits of maps using a piecewise approach
• Effective computational discretization scheme for nonlinear dynamical systems
• Inconsistencies in numerical simulations of dynamical systems using interval arithmetic
• Soft Computing Simulations of Chaotic Systems
• Emergent scalar symmetry in discrete dynamical systems
• A reliable chaos-based cryptography using Galois field

Describes a project that uses

Uses Software

• Matlab
• Octave
• Scilab

This page was built for publication: Detecting unreliable computer simulations of recursive functions with interval extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2318236)