Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires

Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires

Show other versions (1)

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...

Full description

Bibliographic Details
Main Author: Testylier, Romain
Language:FRE
Published: Université de Grenoble 2012
Subjects:
[INFO:INFO_OH] Computer Science/Other
[INFO:INFO_OH] Informatique/Autre
Systèmes non-linéaires
Systèmes hybrides
Calcul de l'ensemble d'états atteignables
Linéarisation
Polyhèdre
Template
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

Similar Items

Similar Items