 |
 |
|
|
| HAL: hal-00307007, version 1 |
| Detailed view |  Export this paper |
 |
| Hybrid Systems: Computation and Control, Tchèque, République (2003) |
|
|
|
|
| Reachability analysis of non-linear systems using conservative approximations |
|
|
| Eugene Asarin 1Thao Dang 2 |
|
|
| (2003) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
| 2: | VERIMAG (VERIMAG - IMAG) |
|
|
|
CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) |
|
|
| 3: | Laboratoire de Modélisation et Calcul (LMC - IMAG) |
|
|
|
CNRS : UMR5523 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) |
|
|
| 4: | Laboratoire Jean Kuntzmann (LJK) |
|
|
|
CNRS : UMR5224 – Université Joseph Fourier - Grenoble I – Université Pierre-Mendès-France - Grenoble II – Institut Polytechnique de Grenoble - Grenoble Institute of Technology |
|
|
|
|
|
|
|
|
|
| Subject | : | Mathematics/Optimization and Control |
| hal-00307007, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00307007 | |
| oai:hal.archives-ouvertes.fr:hal-00307007 | |
| From: Antoine Girard | |
| Submitted on: Monday, 28 July 2008 17:14:37 | |
| Updated on: Monday, 28 July 2008 17:14:37 | |
