Formalisme de modelisation des systemes dynamiques hybrides

• Auteur / Autrice : RACHID DJENIDI
• Direction : Ramine Nikoukhah
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 2001
• Etablissement(s) : Paris 12

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.