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

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

id	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00910330
record_format	oai_dc
spelling	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-009103302013-11-30T03:20:19Z http://tel.archives-ouvertes.fr/tel-00910330 2012GRENM097 http://tel.archives-ouvertes.fr/docs/00/91/03/30/PDF/32688_TESTYLIER_2012_archivage1.pdf Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires Testylier, Romain [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 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. 2012-12-07 FRE PhD thesis Université de Grenoble
collection	NDLTD
language	FRE
sources	NDLTD
topic	[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
spellingShingle	[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 Testylier, Romain Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires
description	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.
author	Testylier, Romain
author_facet	Testylier, Romain
author_sort	Testylier, Romain
title	Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires
title_short	Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires
title_full	Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires
title_fullStr	Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires
title_full_unstemmed	Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires
title_sort	techniques pour l'analyse formelle de systèmes dynamiques non-linéaires
publisher	Université de Grenoble
publishDate	2012
url	http://tel.archives-ouvertes.fr/tel-00910330 http://tel.archives-ouvertes.fr/docs/00/91/03/30/PDF/32688_TESTYLIER_2012_archivage1.pdf
work_keys_str_mv	AT testylierromain techniquespourlanalyseformelledesystemesdynamiquesnonlineaires
_version_	1716615938164391936

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

Similar Items