Improving validated computation of Viability Kernels-Reference-Cited by-同舟云学术

Improving validated computation of Viability Kernels

Published:2018-04-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
language:
Short-container-title:

Author:

Martin Benjamin¹,Mullier Olivier²

Affiliation:

1. LIX, École Polytechnique, Université Paris-Saclay, Palaiseau, France

2. U2IS, ENSTA ParisTech, Université Paris-Saclay, Palaiseau, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3178126.3178141

Reference28 articles.

1. Validated Explicit and Implicit Runge-Kutta Methods;Sandretto Julien Alexandre;Reliable Computing,2016

2. Validated simulation of differential algebraic equations with Runge-Kutta methods;Sandretto Julien Alexandre;Reliable Computing,2016

3. Jean-Pierre Aubin. 2009. Viability theory. Springer Science & Business Media. Jean-Pierre Aubin. 2009. Viability theory. Springer Science & Business Media.

4. Olivier Bouissou and Matthieu Martel. 2006. GRKLib: a Guaranteed Runge Kutta Library. In Scientific Computing Computer Arithmetic and Validated Numerics. 10.1109/SCAN.2006.20 Olivier Bouissou and Matthieu Martel. 2006. GRKLib: a Guaranteed Runge Kutta Library. In Scientific Computing Computer Arithmetic and Validated Numerics. 10.1109/SCAN.2006.20

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

1. Compositions of Multiple Control Barrier Functions Under Input Constraints;2023 American Control Conference (ACC);2023-05-31

2. Conquista feudal y transformaciones agrarias: colonización agrícola y ganadería en el prado de Tortosa, siglos XII-XIII;Historia Agraria Revista de agricultura e historia rural;2020-03-31