Utilisation des réseaux de Petri à intervalles pour la régulation d'une qualité : application à une manufacture de tabac

par Hedi Dhouibi

Thèse de doctorat en Informatique industrielle et automatique

Sous la direction de Étienne Craye.

Soutenue en 2005

à l'Ecole Centrale de Lille en cotutelle avec Lille 1 .


  • Résumé

    La première partie de ce travail est consacrée à l'introduction d'un nouvel outil de modélisation - les Réseaux de Petri à Intervalles - pour répondre à un besoin de spécification, validation et évaluation des systèmes de production intégrant des contraintes d'intervalles de validité sur une qualité donnée. Le premier chapitre situe la contribution applicative par rapport à l'état de l'art en la restreignant à la régulation sur la commande locale pour les ateliers en fonctionnements répétitifs. Ensuite, L'extension de certaines propriétés structurelles des réseaux de Petri P-temporels à des problématiques non temporelles est alors étudiée avec ce nouvel outil. La deuxième partie de ce travail développe une validation applicative sur une manufacture de tabac. Une construction systématique du modèle Réseaux de Petri à Intervalles est proposée. La méthodologie s'appuie sur les statistiques de production de l'atelier. En s'appuyant sur ce modèle, un réglage est analytiquement calculé en prenant en compte les spécifications de robustesse. Ensuite, une commande réactive est proposée pour faire face aux dérives lentes du procédé. Enfin, l'efficacité de la conduite est démontrée en la simulant sur un ensemble de données de production différent de celui qui a été utilisé pour la construction du modèle. Le présent travail a donc introduit un outil de modélisation dont la pertinence est avérée, au moins sur ce type d'application. Reste que l'abstraction fonctionnelle de l'outil ouvre des champs applicatifs qui restent à explorer, tant d'un point de vue analyse que d'un point de vue mise en œuvre.

  • Titre traduit

    Using interval constrained Petri nets for regulation of quality : a tobacco manufacturing application


  • Résumé

    In the first part of this work, a new modeling tool - Interval Constrained Petri Nets (ICPN) - is introduced to allow us specify, validate and evaluate the performance of the production systems integrating constraints of validity intervals. In a first step, the applicative contribution of this new model in comparison with the methods and tools being used is presented. This applicative contribution is limited to regulation of local control for workshops in a repetitive functioning mode. After that, the extension of some structural properties of P-time Petri Nets of this new tool on non temporal constraints is studied. Part tow of this work develops an applicative validation on a tobacco manufacturing. A systematic methodology based on production data is proposed to construct the model Interval Constrained Petri Nets. This new model used to calculate a setting taking into account robustness specifications. Then, a reactive control is proposed in order to take into account drifts in the process. The control law thus obtained is validated using a second set of production data. The present work therefore introduces a new modeling tool whose pertinence is proved, at least of this type of application. However, the functional abstraction of this tool opens fields of application that have yet to be explored

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (188 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 109 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université des sciences et technologies de Lille (Villeneuve d'Ascq, Nord). Service commun de la documentation.
  • Disponible pour le PEB
  • Cote : 50376-2005-358
  • Bibliothèque : Ecole Centrale de Lille (Villeneuve d'Ascq, Nord). Centre de documentation.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.