Formalisme de modelisation des systemes dynamiques hybrides

par RACHID DJENIDI

Thèse de doctorat en Sciences et techniques

Sous la direction de RAMINE NIKOUKHAH.

Soutenue en 2001

à Paris 12 .

    mots clés mots clés


  • Résumé

    Scicos est une boite a outils du logiciel libre de calcul scientifique scilab, dediee a la modelisation et la simulation de systemes dynamiques. Ces systemes, representes sous forme de schema-blocs, peuvent etre potentiellement constitues d'elements de natures differentes : continu, discret, evenementiel. De tels systemes sont appeles : les systemes dynamiques hybrides. L'exemple le plus classique de ces systemes est un modele d'environnement continu, commande par un controleur discret. Nous commencons ici par la presentation d'un formalisme complet de modelisation des systemes dynamiques hybrides, a travers une etude exhaustive du fonctionnement interne de scicos. Ensuite, nous presentons trois nouvelles contributions : 1. La generation automatique de code qui consiste a generer l'algorithme specifique a une partie d'un systeme dynamique, independemment du fonctionnement de l'ensemble. L'algorithme ainsi obtenu est genere sous la forme d'un code c, utilisable aussi bien : _ pour ameliorer les performances de la simulation, en remplacant un sous-ensemble de blocs, par un seul bloc. _ que pour une implantation sur une architecture materielle. 2. L'outil check, qui permet la detection d'eventuelles situations d'indeterminisme dans les schema-blocs scicos. 3. L'interface scicos-syndex qui permet de transferer la description d'un systeme dynamique de scicos vers syndex.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 235 p.
  • Annexes : 90 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.