Les reseaux de petri stochastiques pour l'evaluation des attributs de la surete de fonctionnement des systemes manufacturiers

par Olivier Daniel

Thèse de doctorat en Sciences appliquées

Sous la direction de Z. SIMEU-ABAZI.

Soutenue en 1995

à l'INP GRENOBLE .

    mots clés mots clés


  • Résumé

    L'evaluation des attributs de la surete de fonctionnement des systemes de production est de nos jours un passage oblige pour les industriels et ceci pour des raisons evidentes de cout et de productivite. Cette etude etant effectuee pendant la phase de conception du systeme, il est alors necessaire d'en posseder un modele. L'utilisation combinee des reseaux de petri stochastiques et des processus de markov offre un bon compromis puisque elle associe la puissance d'un outil de modelisation graphique pouvant prendre en compte des aspects aussi aleatoires que la duree de bon fonctionnement d'une machine ou le temps moyen mis pour la reparer, a un outil de calcul tres puissant. La technique est eprouvee mais, pour des systemes complexes, se heurte au phenomene bien connu de l'explosion combinatoire du nombre d'etats accessibles entrainant l'impossibilite d'extraire le moindre resultat. Ce travail de these presente une methode originale permettant de contourner ce probleme d'explosion combinatoire. Cette methode s'appuie sur les differents points suivants: 1/ modelisation modulaire du systeme grace a un nouvel outil: les reseaux de petri stochastiques generalises a synchronisations internes (rdpsgsyi). 2/ regroupement des modules en cellules et generation automatique des matrices de transitions des processus de markov qui leur sont associees. 3/ resolution iterative du systeme markovien cellulaire donnant une solution approchee mais en un temps toujours tres bref. Ceci permet d'utiliser la methode pour effectuer de l'analyse de sensibilite, c'est a dire de pouvoir evaluer rapidement l'influence de tel ou tel parametre sur le comportement global du systeme. Ces differents points sont developpes dans ce travail. Les differents attributs de la surete de fonctionnement sont par ailleurs presentes, et le moyen de les calculer a partir des resultats fournis par notre demarche est egalement donne. Une comparaison entre notre methode approchee et la methode exacte est realisee. Enfin, le logiciel alosurf 1. 0 mettant en uvre notre demarche est detaille dans sa conception, son fonctionnement et son aspect


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 187 P.
  • Annexes : 68 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.