A Survey of Interval Runge–Kutta and Multistep Methods for Solving the Initial Value Problem-Reference-Cited by-同舟云学术

A Survey of Interval Runge–Kutta and Multistep Methods for Solving the Initial Value Problem

Published: Issue: Volume: Page:1361-1371
ISSN:
Container-title:Parallel Processing and Applied Mathematics
language:
Short-container-title:

Author:

Gajda Karol,Jankowska Małgorzata,Marciniak Andrzej,Szyszka Barbara

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68111-3_144.pdf

Reference35 articles.

1. Berz, M., Makino, K.: Verified integration of ODEs and flows with differential algebraic methods on Taylor models. Reliable Computing 4 (4), 361–369 (1998)

2. Butcher, J.C.: The Numerical Analysis of Ordinary Differential Equations. Runge–Kutta and General Linear Methods. J. Wiley & Sons, Chichester (1987)

3. Eijgenraam, P.: The Solution of Initial Value Problems Using Interval Arithmetic. Mathematical Centre Tracks 144 (1981)

4. Gajda, K.: Interval Methods of a Symplectic Runge-Kutta Type [in Polish], Ph.D. Thesis, Poznan University of Technology, Pozna (2004)

5. Gajda, K., Marciniak, A.: Symplectic Interval Methods for Solving the Hamiltonian Problem. Pro. Dialog. 22, 27–38 (2007)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reachability analysis of FMI models using data-driven dynamic sensitivity;SIMULATION;2024-07-25

2. Guaranteed master for interval-based cosimulation;Software and Systems Modeling;2021-01-19

3. Cosimulation-Based Control Synthesis;Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops;2021

4. Interval methods of Adams-Bashforth type with variable step sizes;Numerical Algorithms;2019-07-29

5. Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga;Cyber Physical Systems. Model-Based Design;2019