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
Description
Summary: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 analysis of hybrid system with non linear continous dynamic. It contributes to the fields of reachability analysis algorithm and the set representation.

Similar Items