Author:
Le Coënt Adrien,Alexandre dit Sandretto Julien,Chapoutot Alexandre
Funder
Chair Complex Systems Engineering - Ecole polytechnique, THALES, DGA, FX, Dassault Aviation, DCNS Research, ENSTA Paris, Telecom Paris, and Fondation ParisTech
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference52 articles.
1. Alexandre dit Sandretto, J., Chapoutot, A.: DynIbex. https://perso.ensta-paris.fr/~chapoutot/dynibex/
2. Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit Runge–Kutta methods. Reliab. Comput. 22, 79 (2016)
3. Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Hybrid Systems: Computation and Control, pp. 173–182 (2013)
4. Althoff, M., Stursberg, O., Buss, M.: Verification of uncertain embedded systems by computing reachable sets based on zonotopes. In: Proceedings of the 17th IFAC World Congress, vol. 41(2), pp. 5125–5130 (2008)
5. Ames, W.F.: Numerical Methods for Partial Differential Equations. Academic Press, Cambridge (2014)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献