MURAL - Maynooth University Research Archive Library



    Detecting unreliable computer simulations of recursive functions with interval extensions


    Nepomuceno, Erivelton, Martins, Samir A.M., Silva, Bruno C., Amaral, Gleison F.V. and Perc, Matjaž (2018) Detecting unreliable computer simulations of recursive functions with interval extensions. Applied Mathematics and Computation, 329. pp. 408-419. ISSN 00963003

    [thumbnail of EN_detecting.pdf]
    Preview
    Text
    EN_detecting.pdf

    Download (851kB) | Preview

    Abstract

    This paper presents a procedure to detect unreliable computer simulations of recursive functions. The proposed method calculates a lower bound error which is derived from two different pseudo-orbits based on interval extensions. The interval extensions are generated by taking into account the associative property of multiplication, which keeps the same error bound. We have tested our approach on the logistic map using many different programming languages and simulation packages, including Matlab, Scilab, Octave, Fortran and C. In all cases, the number of iterates is significantly lower than that considered reliable in the existing literature. We have also used the lower bound error on the logistic map and on the polynomial NARMAX for the Rössler equations to estimate the largest Lyapunov exponent, which determines the critical simulation time that guarantees the reliability of the simulation.
    Item Type: Article
    Keywords: Nonlinear dynamics; Chaos; Numerical simulation; Lower bound error;
    Academic Unit: Faculty of Science and Engineering > Electronic Engineering
    Faculty of Science and Engineering > Research Institutes > Hamilton Institute
    Item ID: 16754
    Identification Number: 10.1016/j.amc.2018.02.020
    Depositing User: Erivelton Nepomuceno
    Date Deposited: 28 Nov 2022 16:04
    Journal or Publication Title: Applied Mathematics and Computation
    Publisher: Elsevier
    Refereed: Yes
    Related URLs:
    URI: https://mu.eprints-hosting.org/id/eprint/16754
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only (login required)

    Item control page
    Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads