Reachability analysis of non-linear systems using conservative approximations

Type de document :
Communication dans un congrès
Hybrid Systems: Computation and Control, 2003, Prague, Czech Republic. Springer, 2623, pp.20-35, 2003, LNCS
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00307007
Contributeur : Antoine Girard <>
Soumis le : lundi 28 juillet 2008 - 17:14:37
Dernière modification le : vendredi 20 octobre 2017 - 16:24:08

Identifiants

  • HAL Id : hal-00307007, version 1

Collections

Citation

Eugene Asarin, Thao Dang, Antoine Girard. Reachability analysis of non-linear systems using conservative approximations. Hybrid Systems: Computation and Control, 2003, Prague, Czech Republic. Springer, 2623, pp.20-35, 2003, LNCS. 〈hal-00307007〉

Partager

Métriques

Consultations de la notice

140