Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta - Archive ouverte HAL
Chapitre D'ouvrage Année : 2018

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

Julien Alexandre Dit Sandretto
Unité d'Informatique et d'Ingénierie des Systèmes
CV
Jian Wan
  • Fonction : Auteur
  • PersonId : 1028002
Zhejiang University of Technology

Domaines

Analyse numérique [cs.NA]

Julien Alexandre dit Sandretto  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01992018

Soumis le : jeudi 24 janvier 2019-11:14:57

Dernière modification le : lundi 5 août 2024-14:50:04

Fichier non déposé

Dates et versions

hal-01992018 , version 1 (24-01-2019)

Identifiants

  • HAL Id : hal-01992018 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA ENSTA_U2IS UNIV-PARIS-SACLAY
35 Consultations
0 Téléchargements

Partager

More