Representation des systemes hybrides complexes par flux de donnees : developpement d'un outil de modelisation et de simulation des procedes batch

par Luc Thévenon

Thèse de doctorat en Sciences et techniques

Sous la direction de Jean-Marie Flaus.

Soutenue en 2000

à l'INP GRENOBLE .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Cette these presente une nouvelle approche pour la representation des systemes dynamiques hybrides complexes, i. E. Des systemes a dynamique continue et discrete composes de nombreuses entites en interaction, ainsi qu'un outil pour la manipulation des modeles et leur simulation. Cette approche est basee sur un formalisme a flux de donnees pour la representation modulaire de ces systemes. L'idee principale est de definir un formalisme de description modulaire et declaratif, plutot qu'un langage de simulation imperatif base sur des instructions informatiques. Ce formalisme est base sur l'interaction de blocs de modele definis par un ensemble de relations et de signaux a-causaux qui permettent de decrire une dynamique hybride. La complexite du systeme est ainsi divisee en plusieurs entites plus petites et plus simples qui peuvent etre construites, modifiees ou reutilisees independamment. Notre principale contribution a ete de formaliser un moyen efficace de representer ces blocs de modele et leurs interactions. Nous avons principalement utilise cette approche pour la simulation du comportement du systeme en boucle fermee, i. E. Du procede avec son systeme de commande, de facon a repondre a de nouveaux besoins comme par exemple la validation du logiciel de commande. Nous avons ensuite mis en uvre une procedure de compilation du modele sous une forme adaptee a la simulation numerique, en analysant symboliquement la structure causale du modele, et en generant des modeles locaux pour chaque configuration du systeme physique. Enfin, des methodes numeriques de simulation des systemes dynamiques hybrides ont egalement ete mises en uvre. Afin d'illustrer ses capacites de modelisation et de simulation, l'outil a ete valide sur differents

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 130 p.
  • Annexes : 73 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.