Rigorous Reachability Analysis and Domain Decomposition of Taylor Models-Reference-Cited by-同舟云学术

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models

Published:2017 Issue: Volume: Page:90-97
ISSN:0302-9743
Container-title:Numerical Software Verification
language:
Short-container-title:

Author:

Berz Martin,Makino Kyoko

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-63501-9_7

Reference27 articles.

1. Makino, K.: Rigorous analysis of nonlinear motion in particle accelerators. Ph.D. thesis, Michigan State University, East Lansing, Michigan, USA (1998). Also MSUCL-1093

2. Lecture Notes in Computer Science;K Mackino,2017

3. Makino, K., Berz, M.: Suppression of the wrapping effect by Taylor model-based verified integrators: the single step. Int. J. Pure Appl. Math. 36(2), 175–197 (2006)

4. Lohner, R.J.: On the ubiquity of the wrapping effect in the computation of error bounds. In: Kulisch, U., Lohner, R., Facius, A. (eds.) Perspectives on Enclosure Methods, pp. 201–217. Springer, Heidelberg (2001). doi: 10.1007/978-3-7091-6282-8_12

5. Stewart, N.F.: A heuristic to reduce the wrapping effect in the numerical solution of ODEs. BIT 11, 328–337 (1971)

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

1. Data-Driven Reachability Analysis From Noisy Data;IEEE Transactions on Automatic Control;2023-05

2. Robust data-driven predictive control using reachability analysis;European Journal of Control;2022-11

3. Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information;2022 International Conference on Robotics and Automation (ICRA);2022-05-23

4. Rigorous numerics for ODEs using Chebyshev series and domain decomposition;Journal of Computational Dynamics;2021

5. Adaptive Interpolation Algorithm Based on a kd-Tree for the Problems of Chemical Kinetics with Interval Parameters;Mathematical Models and Computer Simulations;2019-07