id: 00014280
dt: j
an: 00014280
au: Sauer, Tim; Yorke, James A.
ti: Rigorous verification of trajectories for the computer simulation of
    dynamical systems.
so: Nonlinearity 4, No.3, 961-979 (1991).
py: 1991
pu: IOP Publishing Ltd., Bristol
la: EN
cc: 
ut: dynamical systems; chaos; shadowing; trajectories; Hénon map; forced
    damped pendulum
ci: 
li: doi:10.1088/0951-7715/4/3/018
ab: Authors’ abstract: “We present a new technique for constructing a
    computer-assisted proof of the reliability of a long computer-generated
    trajectory of a dynamical system. Auxiliary calculations made along the
    noise-corrupted computer trajectory determine whether there exists a
    true trajectory which follows the computed trajectory closely for long
    times. A major application is to verify trajectories of chaotic
    differential equations and discrete systems. We apply the main results
    to computer simulations of the Hénon map and the forced damped
    pendulum.”.
rv: G.Warnecke (Stuttgart)