Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires
Cette thèse porte sur les techniques d'analyse formelle de systèmes hybrides à dynamiques continues non linéaire. Ses contributions portent sur les algorithmes d'atteignabilité et sur les problèmatiques liées à la representation des ensembles atteignables. This thesis deals with formal ana...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université de Grenoble
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00910330 http://tel.archives-ouvertes.fr/docs/00/91/03/30/PDF/32688_TESTYLIER_2012_archivage1.pdf |