Inconsistencies in Numerical Simulations of Dynamical Systems Using Interval Arithmetic.
Erivelton G. NepomucenoMárcia L. C. PeixotoSamir A. M. MartinsHeitor M. Rodrigues JuniorMatjaz PercPublished in: Int. J. Bifurc. Chaos (2018)
Keyphrases
- numerical simulations
- dynamical systems
- interval arithmetic
- constraint propagation
- floating point
- real numbers
- fixed point
- theoretical analysis
- differential equations
- provably correct
- finite sets
- partial derivatives
- nonlinear dynamical systems
- implicit surfaces
- state space
- constraint programming
- constraint satisfaction
- image processing
- control law
- qualitative and quantitative
- artificial neural networks