UTILISATION DES RESEAUX DE PETRI A INTERVALLES POUR LA REGULATION D'UNE QUALITE : APPLICATION A UNE MANUFACTURE DE TABAC
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.
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.
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.
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.
Loading...