Université Lille1 - Sciences et Technologies Modélisation de systèmes complexes : intégration et formalisation de modèles Systèmes complexes 629.8 Simulation, Méthodes de Systèmes, Analyse de Systèmes, Théorie des Commande de processus Text Electronic Thesis or Dissertation fr Considerer un systeme comme complexe suppose une approche specifique pour sa modelisation et son analyse. La methodologie proposee est une approche multi modeles, determines par une analyse systemique, dans une structure generale et coherente : la matrice sagace. Ces modeles sont de type fonctionnel, structurel et comportemental, stratifies en niveaux de formalisation descriptif, qualitatif et quantitatif. La modelisation descriptive est une representation graphique des systemes. Ce langage de representation repose sur un alphabet constitue de seulement trois classes de processus dont on demontre, a l'aide du tetraedre d'etat de la theorie bond-graph et de considerations energetiques, qu'il est une base (au sens mathematique du terme) ; que l'agencement de ses elements est contraint par une syntaxe, celle des processus physiques ; que chacun d'eux est une classe d'equivalence, dotant notre langage d'une semantique. C'est un langage algebrique reposant sur une structure d'espace vectoriel defini sur un dioide commutatif. Un reseau de processus y est represente par des systemes d'equations. Avec les operations d'addition, de multiplication, de factorisation de processus, on specifie des algorithmes de calcul de processus equivalents et de leur type et des algorithmes de validation syntaxique des reseaux. Les modeles des niveaux de formalisation superieurs sont concus de telle sorte qu'ils repondent ades algebres isomorphes a celle du modele descriptif. Ainsi, les systemes d'equations differentielles du modele quantitatif associes a des graphes bipartis sont traites par des algorithmes identiques aux precedents mais avec les operateurs d'addition et de multiplication classiques et de composition convexe. Ainsi, pour chaque niveau de formalisation, on dispose d'un seul et meme langage a caractere algebrique pour tous les type de modeles. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1997/50376-1997-415.pdf Feliot Claude 1900-01-01 119767325 1997LIL10192 1997-01-01 Automatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:620 ASCII PDF 9999