Computing the Evolution of Hybrid Systems using Rigorous Function Calculus

Applied interval analysis

Choice Reviews Online · 2002 · 1.3K citations

Validated solutions of initial value problems for ordinary differential equations

Nedialko S. Nedialkov · Applied Mathematics and Computation · 1999 · 359 citations

Natural Sciences, Mathematics, Differential Equations +11

Computational techniques for the verification of hybrid systems

Claire J. Tomlin, Ian M. Mitchell, Alexandre M. Bayen et al. · Proceedings of the IEEE · 2003 · 348 citations

Engineering, Computer Science, Systems Engineering +17

Rigorously computed orbits of dynamical systems without the wrapping effect

W. Kühn · Computing · 1998 · 327 citations

Natural Sciences, Mathematics, Physics +14

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

Martin Berz, Kyoko Makino · Reliable Computing · 1998 · 305 citations

Natural Sciences, Computational Engineering, Mathematics +15