Les réseaux de Petri P-temporels : modélisation et validation d'exigences temporelles Contraintes de temps Petri, Réseaux de -- Thèses et écrits académiques Systèmes échantillonnés -- Modèles mathématiques -- Thèses et écrits académiques Commande de processus -- Thèses et écrits académiques Sécurité ferroviaire -- Modèles mathématiques Ordonnancement (gestion) Commande robuste 515.724 Mes travaux de thèse ont comporté la constitution du cahier des charges en amont et les applications en aval d'un outil de modélisation des exigences temporelles : Les Réseaux de Petri P-temporels. L'ensemble de mes travaux de recherche a été développé dans le but d'asseoir l'utilisation des Réseaux de Petri P-temporels (RdP P-temporels). Le corps de ce travail concerne donc la modélisation des systèmes à événements discrets. Il s'intéresse par ailleurs en quasi exclusivité à la gestion des contraintes de temps de séjour - ce qui constitue un cas bien spécifique de la gestion des contraintes de temps maximum. Un premier axe a été de positionner cet outil par rapport à ceux de l'état de l'art. Une deuxième tâche a été de prouver un certains nombre de propriétés mathématiques dans l'optique de permettre des applications industrielles efficaces. Au delà de la stricte recherche de propriété, l'extension du champ applicatif, vers le domaine du ferroviaire par exemple, a pris une part très importante. Une troisième activité a débouché sur la caractérisation des limites du modèle et la proposition d'extension fonctionnelle ou de rapprochement de l'outil de modélisation vers des modèles existants. Ce modèle concerne donc les Systèmes à Evénements Discrets où l'on rencontre des contraintes de temps de séjour maximum dans un état donné. C'est le cas par exemple de la galvanoplastie qui a été le premier support applicatif. J'ai très rapidement cherché à élargir le champ des applications potentielles de l'outil dans la littérature, publiant par exemple dans les domaines de l'industrie alimentaire. En arrivant au LAGIS en 1999, j'ai délaissé l'ordonnancement en galvanoplastie pour me concentrer sur la partie commande, en supposant que la séquence des opérations avait déjà été fixée. Ces travaux ont été appuyés par le travail de master de recherche de MF Karoui en 2004 (deux conférences ont été publiées dans la suite de son mémoire). Par ailleurs, j'ai cherché à valoriser l'expertise en supervision qui se trouvait au sein de l'équipe ou je travaillais. C'est ainsi que T. Lecuru à fait un stage de master sur la supervision des ateliers automobiles en 2003. Ce travail a pris une autre ampleur avec la thèse de Jerbi Nabil sur la commande des ateliers à contraintes de temps soutenue en 2006 (3 publications de revue). Il se poursuit actuellement avec la thèse de Annis Mhalla. En 2006, F. Defossez soutient un master dans le domaine ferroviaire sur la gestion des exigences temporelles de sécurité. Ce dernier va s'inscrire en troisième année de thèse et a déjà publié 5 conférences. Ce travail ouvre un champ très important pour l'outil de modélisation que je porte. En effet, la gestion des exigences de sécurité ferroviaires m'a donné l'occasion de participer à un projet Européen. C'est le projet SELCAT qui s'intéresse au passage à niveau et qui s'est terminé en juin 2008. Il se prolongera dans un projet national ANR accepté qui débutera autour de janvier 2009. En parallèle, un projet spécifique ayant trait aux outils de modélisation sur les chantiers est en cours avec la SNCF. Enfin, la thèse de Hedi Dhouibi a été l'occasion de proposer un nouveau modèle capable de généraliser certaines propriétés des Réseaux de Pétri P-temporels à des systèmes où le paramètre critique est différent du temps. Une validation industrielle sur des données réelles a pu être effectuée (soutenance en 2005). Elle fait l'objet de publications de revues internationales (acceptations en 2008). Text Electronic Thesis or Dissertation FR application/pdf 1 : 1090476 https://pepite-depot.univ-lille.fr/LIBRE/HDR/2008/50376-2008-Collart.pdf Collart-Dutilleul Simon 2008-01-01 Sciences physiques Université Lille1 - Sciences et Technologies thesis.degree.grantor_1 026404184 HDR non oui Craye Étienne ddc:510 Université Lille1 - Sciences et Technologies PDF ASCII 1090476