Séminaire LJK-Modèles et Algorithmes Déterministes: CASYS

 

Le Jeudi 20 Avril 2006 à 9h45 en Salle 1 - Tour IRMA

 

Séminaire de

 

Analyse algorithmique des systèmes complexes

 

Résumé:

 

La théorie des systèmes hybrides fournit un cadre général pour la modélisation de systèmes complexes. Le développement de méthodes algorithmiques pour l'analyse de la dynamique de ces systèmes est nécessaire pour répondre aux exigences de garantie en matière de sûreté et de performance dans des domaines d'application tels que les systèmes embarqués.
Dans cet exposé, je présenterai une approche générale pour l'analyse algorithmique de ces systèmes complexes. Dans une première partie, je présenterai les méthodes de calcul d'atteignabilité qui constituent l'outil principal pour l'analyse de ces systèmes. Dans une deuxième partie, je parlerai des méthodes d'abstraction et d'approximation permettant de prouver des propriétés de systèmes complexes en effectuant les calcul d'atteignabilité sur des modèles plus simples.