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

Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01992018
Contributor : Julien Alexandre Dit Sandretto <>
Submitted on : Thursday, January 24, 2019 - 11:14:57 AM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM

Identifiers

  • HAL Id : hal-01992018, version 1

Citation

Julien Alexandre Dit Sandretto, Jian Wan. Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta. Reachability Problems, pp.1-14, 2018. ⟨hal-01992018⟩

Share

Metrics

Record views

15