Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta-Reference-Cited by-同舟云学术

Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta

Published:2018 Issue: Volume: Page:1-14
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Alexandre dit Sandretto Julien,Wan Jian

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-00250-3_1

Reference16 articles.

1. Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit Runge-Kutta methods. Reliab. Comput. Electron. Ed. 22, 78–108 (2016)

2. Lecture Notes in Computer Science;O Bouissou,2013

3. Lecture Notes in Computer Science;O Bouissou,2009

4. Butcher, J.C.: Coefficients for the study of Runge-Kutta integration processes. J. Aust. Math. Soc. 3, 185–201 (1963)

5. de Figueiredo, L.H., Stolfi, J.: Self-validated numerical methods and applications. In: Brazilian Mathematics Colloquium Monographs, IMPA/CNPq (1997)

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

1. End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models;ACM Transactions on Modeling and Computer Simulation;2024-07-10

2. Approximating Reachable Sets for Neural Network-Based Models in Real Time via Optimal Control;IEEE Transactions on Control Systems Technology;2023-07

3. Set-Based B-Series;Mathematics;2022-09-02

4. Spatio-temporal constrained zonotopes for validation of optimal control problems;2021 60th IEEE Conference on Decision and Control (CDC);2021-12-14

5. Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations;Acta Cybernetica;2021-02-03