Dans ce livre on essaye de determiner les points extremaux du cone des fonctions de type positif definies sur l'espace des matrices hermitiennes infinies qui sont invariantes par le groupe unitaire infinie et on donnera une expression explicite de ses fonctions a l'aide des fonctions de Polya. Dans la deuxieme partie de ce travail, on donnera une representation integrale des fonctions de type negatif c'est la formule de Levy-Khinchin. Dans cette representation integrale on exprimera une fonction de type negatif definie sur l'espace des matrices hermitiennes et de Hilbert-Schmidt a l'aide...

Le dA(c)veloppement rapide des systA]mes embarquA(c)s et les exigences croissantes auxquelles ils sont soumis crA(c)ent un besoin de techniques innovantes en terme de conception et de V&V. Les mA(c)thodes formelles fournissent des approches intA(c)ressantes A la conception de ces systA]mes. Le formalisme choisi dans ce travail est basA(c) sur les RA(c)seaux de Petri ColorA(c)s (RdPC). L''avantage de ces modA]les, en plus d''Aatre trA]s expressifs et formels, est qu''ils permettent d''exprimer le double caractA]re des systA]mes A(c)tudiA(c)s: statique et dynamique. Le dA(c)fi relevA(c) par...